לוח אמת משותף

את לוח האמת מעמוד 34 אפשר לראות כלוח אמת משותף לארבעת הפסוקים המורכבים הרשומים בכותרתו . לפסוק המורכב הראשון ( P ∨ Q ) די היה בלוח אמת דו-מקומי , המבוסס על 4 המצבים של ; P , Q לפסוק המורכב השני ( S ∨ P ) די היה בלוח אמת דו-מקומי המבוסס על 4 המצבים של ; S , P לפסוק המורכב השלישי ( ( R ∧ ( S ∨ P ) די היה בלוח אמת תלת-מקומי , המבוסס על 8 המצבים של . R , S , P אבל לפסוק האחרון ( ( P ∨ Q → R ∧ ( S ∨ P ) נדרש לוח אמת -4מקומי הכולל את כל 16 המצבים האפשריים של רביעיית המשתנים הפסוקיים . P , Q , R , S לוח אמת משותף לקבוצת פסוקים ϕ , ϕ , ϕ… הוא לוח אמת , המפרט את ערכי האמת של כל אחד מהפסוקים הללו , בכל מצב של כלל המשתנים הפסוקיים המופיעים באחד או ביותר מבין . ϕ , ϕ , ϕ… דוגמה נבנה לוח אמת משותף לשני הפסוקים ϕ : = ( P ∨ ¬ Q ¬→) P ו- . ψ : = ¬ P המשתנים הפסוקיים הרלוונטיים הם P ו- . Q המשתנה הפסוקי Q אמנם אינו מופיע ב- ψ , אך מאחר שהוא מופיע -ב ϕ , ϕ עלינו לייחד לו עמודה של משתנה פסוקי . בלוח יהיו אפוא עמודות משתנים . בהתאם לכך , מספר השורות בלוח יהיה . 4 הנה הלוח : בלוח האמת המשותף רואים של- ϕ ול...  To the book