שינויים

חזרה ל[[משפטים]]

[http://en.wikipedia.org/wiki/First-order_logic לוגיקה מסדר ראשון] הינה שפת הבסיס של המתמטיקטים כפי שלמדנו בקורס [[88-101 חשיבה מתמטית]]. זו שפה המכילה קשרים לוגיים (או, וגם, שלילה, גרירה), כמתים (לכל, קיים), פסוקים ("לכל x קיים y הגדול ממנו") ופרדיקטים ("ל-x קיים y הגדול ממנו"). '''הוכחה''' בשפה זו היא אוסף משפטים אשר כל אחד נובע מקודמיו, או ידוע כנכון מהוכחה אחרת, או אקסיומה.