yüklem mantığı
-
Matematiksel mantıkta, nesnelerin taşıdıkları ortak özelliklere göre nesne toplulukları üzerinde mantıksal işlemlerle yapılan ifade oluşturma ve hesaplama dili.
İngilizce predicate logicFransızca logique des prédicats, fAlmanca Prädikatenlogik, f