egyenleti egyesítés

Kapcsolódó fogalmak: 
term
Rövid szöveges bemutatás: 
Az egyenleti egyesítés a termek egyesítésére alkotott módszer. Azt mondja ki, hogy olyan termek egyesíthetőek melyek levezethetően, bizonyíthatóan is helyettesíthetőek egy adott helyettesítés mellett. Az ilyen módon működő algoritmusok általában axiómákat használnak fel az egyesítés bizonyíthatóságára. Ilyen axióma lehet a kommutativitás például, vagy hogyha valamihez hozzáadunk nullát, akkor értéke nem változik.