תורה (לוגיקה מתמטית) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה |
מאין תקציר עריכה |
||
שורה 1:
ב[[לוגיקה מתמטית]], '''תורה''' היא מערכת הכוללת [[שפה מסדר ראשון]] וקבוצה של '''[[אקסיומה|אקסיומות]]'''. כל [[פסוק (לוגיקה)|פסוק]] שאין לו משתנים חופשיים יכול לשמש כאקסיומה. כמו לשפה מסדר ראשון, לתורה אין "משמעות" - זוהי מערכת צורנית בלבד, המטפלת בפסוקים לפי כללים לוגיים קבועים. את הפירוש יוצקים בתורה רק כאשר בוחרים לה [[מודל (לוגיקה מתמטית)|מודל]].
בדרך כלל כוללים ברשימת האקסיומות גם את כל ה[[טאוטולוגיה (לוגיקה
==דוגמאות==
|