BSTS / Mantık Terimleri Sözlüğü
yüklemler mantığı anlamı İng. predicate logic Alm. Praedikatenlogik Fr. logique des prédicats
Mantıksal değişmezleri en azından eklemleri, mantıksal olmayan değişmez türleri de en azından ad ve yüklemleri kapsayan temel mantık bölümü. Krş.. birli yüklemler mantığı.