Skip to content

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.

if you would like to suggest a word please click SUBMIT BELOW