תחשיב הפסוקים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 50:
* אם <math>P</math> הוא פסוק אטומי, אז <math>P</math> הוא נוסחה בנויה היטב.
* אם <math>A</math> היא נוסחה בנויה היטב, אז גם <math>(\neg A)</math> היא נוסחה בנויה היטב.
* אם <math>A</math> ו-<math>B</math> נוסחאות בנויות היטב, אז לכל קשר <math>\Omega</math> כך ש <math>\Omega \in \{ \to,\land,\vee,\leftrightarrow \}</math>, הרי ש <math>(A \Omega B)</math> היא נוסחה בנויה היטב (דהיינו עבור כל
* כל דבר אחר איננו נוסחה בנויה היטב.
* רצפים חסרי מובן כמו <math>(\to A \neg B)</math> אינם פסוקים, ואינם עונים על ההגדרה הרקורסיבית.
שורה 57:
יש לשים לב שהסוגריים חיוניים בדרך כלל, אם כי ניתן ומקובל להשמיט את זוג הסוגריים החיצוניים ביותר.
אפשר לבנות סוגים שונים של תחשיבי פסוקים, באמצעות בחירה שונה של הקשרים המשתתפים. לדוגמה, אפשר להחליף את הקשר "אם a אז b" ב- "b או (לא a)", וכך להגדיר את הקשר 'אם-אז' באמצעות הקשרים "או" ו"לא". [[כללי דה-מורגן]] מאפשרים לוותר על אחד משני הקשרים "או" או "וגם".
=== תחשיב פסוקים שלם (קבוצת קשרים שלמה) ===
| |||