kiterjesztéslemma

Kapcsolódó fogalmak: 
rezolúció
Kapcsolódó fogalmak: 
elsőrendű határozott klóz
Rövid szöveges bemutatás: 
A kiterjesztéslemma a rezolúciós szabály alapbemutatására illetve alaphasználatára vonatkozik. A lényege az, hogy van két klózunk és van a két klóznak két konkrét (változó nélküli) példánya. Ekkor ha létre tudunk hozni egy olyan harmadik klóz példányt, amely magába foglalja a korábban definiált másik két klóz példányt, akkor létezik az a harmadik klóz, mely magába foglalja a korábban definiált két klózt és aminek a példánya az előzőekben létrehozott harmadik klóz példány. Tehát ha van két klóz példány és azoknak létezik az egyesített klóz példányuk, akkor ehhez a példányhoz lehet definiálni az eredeti (változókat is tartalmazó) klózt.