Odvodzovacie pravidlo
Z Wikipédie
Odvodzovacie pravidlo je základný dokazovací prostriedok, s pomocou ktorého možno z formulí, o ktorých je známe, že sú dokázateľné, odvodiť (dedukovať) ďalšiu dokázateľnú formulu. V rámci bežnej logiky vystačíme s použitím pravidla odlúčenia a pravidla generalizácie. Možné je však používať aj ďalšie odvodzovacie pravidlá, napr. pravidlo substitúcie.
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok