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

'''منطق مرتبه‌اول''' {{به انگلیسی|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>