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 
 

Logika