Odvodzovacie pravidlo
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.
Externé odkazy
[upraviť | upraviť zdroj]- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.