egyesítés

Kapcsolódó fogalmak: 
elsőrendű logika
Kapcsolódó könyvfejezetek: 
9.2. Egyesítés és kiemelés
Rövid szöveges bemutatás: 
Az elsőrendű logikai következtetésben, szükségünk van változó behelyettesítésekre. Ezen változók behelyettesítésének segítségével új tényadatokra lelhetünk. Az egyesítés fogalom maga azt a változó hozzárendelést jelenti, mellyel a logikai állítások igényelnek, ahhoz hogy összevonhatóak legyenek. Az egyesítési lépés pedig az egyesítés behelyettesítését és a kikövetkeztetés folyamatát jelenti. Például az Rajtavan(Kocka, Y), Rajtavan(Kocka, Kocka2) esetén az egyesítés az {y/Kocka2}.