נוסחה (לוגיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
|||
שורה 1:
בהינתן [[שפה (לוגיקה)|שפה]] <math> \mathcal L </math>, '''נוסחא''' בשפה היא הפעלת אחד מבין סימני היחס על שמות העצם של השפה, כאשר כל שם עצם הוא שם משתנה או שם קבוע, או צרוף של נוסחאות על-ידי [[קשר לוגי|קשרים לוגיים]].
==הגדרה רשמית==
תהי <math>\mathcal L </math> שפה.
# אם <math> \phi </math> [[נוסחא אטומית]] אז <math> \phi </math> היא גם נוסחא (המונח 'נוסחא' מכיל בתוכו את המונח 'נוסחא אטומית' כמקרה פרטי).
# אם <math> \phi </math> נוסחא (לאו דוקא אטומית) אזי <math>\neg \phi</math> היא נוסחא. נשים לב שהחל משלב זה כבר מדובר על נוסחאות שאינן אטומיות.
| |||