منطق مرتبه اول: تفاوت میان نسخه‌ها

'''منطق مرتبه‌اول''' {{به انگلیسی|First-order logic}} مجموعه ای از [[سیستم صوری|سیستم‌های صوری]] است که به آن '''منطق محمولات''' (Predicate logic)، '''منطق سوری''' {{به انگلیسی|quantificational logic}}، یا '''حساب گزاره‌ای مرتبه اول''' {{به انگلیسی|first-order predicate calculus}} نیز گفته می‌شود و در [[ریاضیات]]، [[فلسفه]]، [[زبان‌شناسی]]، و [[علوم رایانه]] کاربرد دارد. در منطق مرتبه اول بر خلاف [[حساب گزاره‌ای|منطق گزاره‌ای]] می‌توان از متغیرهای سور داده شده روی اشیاء غیرمنطقی استفاده کرد؛ برای مثال می‌توان جمله‌ای مانند «''یک x وجود دارد که x سقراط است و x انسان است»'' داشت که در آن «''وجود دارد»'' سور و «''x»'' متغیر است.<ref name=":0">Hodgson, Dr. J. P. E. , [http://people.sju.edu/~jhodgson/ugai/1order.html "First Order Logic"], [[Saint Joseph's University]], [[Philadelphia]], 1995.</ref>

 

 

صفت «مرتبه اول» منطق مرتبه اول را از «[[:en:Higher-order_logic|منطق‌های مرتبه بالاتر]]» که در آن گزاره‌هایی وجود دارد که در آن گزاره‌ها آرگومانی به صورت گزاره یا تابع دارند، مجزا می‌سازد. در «منطق مرتبه بالاتر» سورهای گزاره ای یا سورهای تابعی وجود دارد.<ref>{{cite book|last=Mendelson|first=Elliott|author-link=Elliott Mendelson|title=Introduction to Mathematical Logic|year=1964|publisher=[[Wiley (publisher)|Van Nostrand Reinhold]]|page=[https://books.google.com/books?id=UkP0BwAAQBAJ&lpg=PP1&hl=de&pg=PA56 56]}}</ref> در نظریه‌های مرتبه اول، گزاره‌ها معمولاً با مجموعه‌ها مرتبط‌اند. در حالی که در نظریه‌های سطح بالاتر، گزاره‌ها به صورت مجموعه ای از مجموعه‌ها تفسیر می‌شوند.