נוסחא (לוגיקה)

בהינתן שפה $\mathcal L$, נוסחא בשפה היא הפעלת אחד מבין סימני היחס על שמות העצם של השפה, כאשר כל שם עצם הוא שם משתנה או שם קבוע, או צרוף של נוסחאות על-ידי קשרים לוגיים.

הגדרה רשמית

תהי $\mathcal L$ שפה.

1. אם $\phi$ נוסחא אטומית אז $\phi$ היא גם נוסחא (המונח 'נוסחא' מכיל בתוכו את המונח 'נוסחא אטומית' כמקרה פרטי).
2. אם $\phi$ נוסחא (לאו דוקא אטומית) אזי $\neg \phi$ היא נוסחא. נשים לב שהחל משלב זה כבר מדובר על נוסחאות שאינן אטומיות.
3. אם $\phi$ ו-$\psi$ נוסחאות כלשהן, אז לכל קשר לוגי $*$ (שאינו שלילה) הרי ש-$\phi * \psi$ היא נוסחא.
4. אם $\phi$ היא נוסחא ו-$x$ הוא משתנה, $\forall_x \phi$ ו- $\exists_x \phi$ הן נוסחאות.

ערך זה הוא קצרמר. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.