İngilizce
:
predicate logic
Türkçe
:
yüklem mantığı,
Fransızca
:
logique des prédicats
1)
Nesnelere yüklenen özelliklere ilişkin mantık yordamları. Yüklem mantığı en önemli bilgi gösterim dilidir.







