egyenlőségszimbólum

Kapcsolódó fogalmak: 
term
Rövid szöveges bemutatás: 
Az egyenlőségszimbólum a logikai leírásokban használható. Ilyenkor kikötjük, hogy két konstans vagy változó által jelölt objektum ugyan az. Illetve kifejezhetjük velük azt is, hogy épp különbözőek, a feladattól függően. Gyakorlatilag az X = Y, illetve a /(X = Y) [ahol a "/" jel a negáltat jelöli] az egyenlőségszimbólum két lehetséges felírási formája. Az X és az Y helyén további változók, konstansok, logikai kifejezések állhatnak.