Predicate logic
Definition of Predicate logic:
-
(Mathematical logic): commonly understood to be a Boolean-valued function P: X→ {true, false}, called a predicate on X.
منطق الرتبة الأولى
تعريف منطق الرتبة الأولى:
-
(منطق رياضي): دالة ذات قيمة منطقية P: X→ {true, false}، وتسمى دالة المسند إلى X.