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

صفت «مرتبه اول» منطق مرتبه اول را از «[[: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>