temel mantık anlamı İng. elementary logic, first order logic with equality, standard logic Alm. elementare Logik, Logik der ersten Stufe mit Gleichheit Fr. logique égalitaire du premier ordre
Mantıksal değişmezleri eklemler, niceleyiciler ile eşitlik; değişkenleri bireysel değişken; mantıksal olmayan değişmez türleri ad, yüklem ile işlev olan mantık dizgesi. Krş.. eklemler mantığı, yüklemler mantığı, niceleme mantığı, yalınç eşitlik mantığı, yüksek basamak mantığı, felsefe mantığı.