Skip to content

First-order logic

Definition of First-order logic:

  • It is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects and allows the use of sentences that contain variables, so that rather than propositions such as Socrates is a man one can have expressions in the form "there exists x such that x is Socrates and x is a man" and there exists is a quantifier while x is a variable. 

منطق الرتبة الأولى

تعريف منطق الرتبة الأولى:

  • مجموعة من الأنظمة الرسمية المستخدمة في الرياضيات والفلسفة واللغويات وعلوم الحاسوب. ويستخدم منطق الرتبة الأولى متغيرات كمية على أشياء غير منطقية ويسمح باستخدام الجمل التي تتضمن متغيرات،

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