egységterjesztés

Kapcsolódó fogalmak: 
határozott klóz
Kapcsolódó fogalmak: 
egységklóz
Kapcsolódó fogalmak: 
literál
Kapcsolódó könyvfejezetek: 
7.5. Hatékony ítéletkalkulus következtetés
Rövid szöveges bemutatás: 
Az egységterjesztés nem más mint egy következtetési lánc, mely egy egységklózzal indul. Az egységklóz értékét úgy állítjuk be, hogy igaz értéket vegyen fel. Ezután minden olyan klóz ami két literálból állt, és az egyik az előző lépésben megkötött literál volt, az ezután egységklózzá válik és így annak a változónak az értékét is meg tudjuk kötni, úgy, hogy az egységklóz igazzá váljon. Ezt a láncot nevezzük egységterjesztésnek, mely addig folytatódik ameddig ezzel a módszerrel újabb és újabb egységklózok képezhetőek.