inverz rezolúció

Kapcsolódó fogalmak: 
rezolúció
Kapcsolódó fogalmak: 
egységklóz
Rövid szöveges bemutatás: 
Az inverz rezolúció, a rezolúciós eljárás ellentétes irányú folyamata. Ebben az esetben a bizonyítást visszafelé végezzük el. Ez elméletileg lehetséges mert a rezolúció teljes. Tehát egy lépésben vagy egy konkrétumból indulunk ki, amely generál két darab klózt (melynek rezolválásából vissza tudnánk kapni a konkrétumot, melyből létrehoztuk őket) vagy egy konkrétumból és egy klózból indulunk ki és generálunk egy második klózt (hasonló céllal). Tehát a lényeg az, hogy egészen a konkrétumokból indulunk ki, és az általános igazságokig jutunk el.