kiegészitő literál

Kapcsolódó fogalmak: 
egységrezolúció
Kapcsolódó fogalmak: 
literál
Kapcsolódó könyvfejezetek: 
7.4. Az ítéletkalkulus következtetési mintái
Rövid szöveges bemutatás: 
A kiegészítő literál a rezolúciós lépés végrehajtásához szükséges. Ahhoz, hogy egy lépésben egy literált ki tudjunk ejteni egy kifejezésből, szükség van a kiejtendő literál kiegészítőjére. A kiegészítő literál általában a kiejtendő literál negáltja. Ezért ezt a két literált összevonva, az alapkifejezésből eltűnik a literál. Tehát a kiegészítő literál, ahogyan azt a neve is mutatja, kiegészíti a másik literált. Kiegészíti az ellentettjével és ezáltal el is tünteti. Például azt állítom, hogy (A vagy B) és ismerem azt az állítást is, hogy /A (nem A), akkor az A kiegészítő literálja a /A. A rezolúciós lépés után pedig megmarad a B állítás.