cáfolásteljes rezolúció

Kapcsolódó fogalmak: 
rezolúció
Kapcsolódó könyvfejezetek: 
9.5. Rezolúció
Rövid szöveges bemutatás: 
A rezolúció cáfolásteljes tehát, hogy ha egy mondathalmaz kielégíthetetlen, akkor a rezolúció mindig képes ezt bebizonyítani, azáltal, hogy képes levezetni egy ellentmondást. A cáfolásteljesség matematikai definíciója, hogy: tudásbázis(tb) |= a, azt jelenti,hogy tb ÉS ¬a |-(A) Hamis.