ערך האמת של פסוק במצב נתון

ערך האמת של פסוק ϕ נקבע מתוך ערכי האמת של מרכיביו , שנקבעים מתוך ערכי האמת של מרכיביהם , , ... שנקבעים מתוך ערכי האמת של המשתנים הפסוקיים המופיעים ב- ϕ . כן-אם , כאשר נתונים ערכי האמת של המשתנים הפסוקיים המופיעים -ב ϕ , ϕ אפשר לחשב ערך האמת של ϕ . נסתכל למשל בפסוק ( ϕ : = ¬( A ∨ B →) (( C ∨ D ∧) ¬( D → E ) הפסוק בנוי מחמישה משתנים פסוקיים . כל צירוף של ערכי אמת לחמשת המשתנים A , , BC , D , E מכונה מצב של . A , , BC , D , E מצב של חמישיית המשתנים הנידונה יתואר כמחרוזת באורך 5 המורכבת מן האותיות T ו- . F 1 לפי לוח האמת של הקשר הראשי שלו . 2 לפי לוחות האמת של הקשרים הראשיים שלהם . 3 שימו לב שלחישוב ערך האמת של ϕ , ϕ אין צורך לדעת מהו תוכן הפסוקים שהמשתנים הפסוקיים מסמלים , רק מהם ערכי האמת שלהם ; מתוכם אפשר למצוא את ערך האמת של ϕ , ϕ ללא צל של מושג על מה ϕ מדבר ככלל , מצב של n -ית משתנים פסוקיים P , … , P n יתואר כמחרוזת באורך , n המורכבת מן האותיות T ו- . F האות הראשונה ( השמאלית ) במחרוזת היא ערך האמת של P במצב הנידון , … , האות האחרונה ( הימנית ) היא ערך האמת של . P נחשב את ערך האמת של...  To the book