következtetési szabály

Az ítéletkalkulus célja, új állítások kikövetkeztetése a felállított szabályok és az ismert tények alapján. Ezek a szabályok lesznek a következtetési szabályok. Ezeknek két részük van általában, egy feltétel (fej) és egy kikövetkeztetett tény (törzs) része. A fej teljesülése esetén a törzs érvényesség (igazzá) válik. Például A -> B alakú a legtöbb ilyen szabály, ahol A teljesülése esetén B igazzá válik, ez a Modus Ponens. Van más alakú következtetési szabály is például a konjunkciós szabály, amely kimondja, hogy ha egy konjunkció egésze igaz, akkor bármely része is igaz.