következtetési szabály

Kapcsolódó fogalmak: 
ítéletkalkulus
Kapcsolódó fogalmak: 
Modus Ponens
Kapcsolódó fogalmak: 
konjunkció
Kapcsolódó könyvfejezetek: 
7.4. Az ítéletkalkulus következtetési mintái
Rövid szöveges bemutatás: 
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.