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
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.