legáltalánosabb egyesítés

Kapcsolódó fogalmak: 
elsőrendű logika
Rövid szöveges bemutatás: 
A legáltalánosabb egyesítés témaköre az elsőrendű logikában illetve különböző matematikai feladatoknál kerül elő. A legáltalánosabb egyesítés egy módszert ad arra, hogy a szabályokat addig kezeljük a legáltalánosabb módon amíg feltétlenül szükségessé nem válik az egzakt kifejezése. Tehát ha tudjuk, hogy Megfog(x, z), akkor csak a legszükségesebb {x/Tamás} behelyettesítést alkalmazzuk, majd amikor már konkrét feladat kikövetkeztetés történik akkor keressünk a {z}-nek is értéket. Így a következtetés során fenntartjuk, hogy a "z" változó bármilyen objektumot jelölhet.