|
|
בסעיף ב של תשובה 5 . 15 מצאנו , שלוח האמת של הפסוק ( P ∨ Q ∧) (¬ P ∧ Q ) הוא : 1 הלוח מתלכד עם לוח האמת של הקשר הפסוקי המתאים לכל זוג פסוקים ψ ϕ , ψ את (ϕ . ϕ( → ∧)ψ ψ) כמקודם , אם במקום זוג המשתנים הפסוקיים P , Q נציב בפסוק ( P ∨ Q ∧) (¬ P ∧ Q ) זוג פסוקים כלשהו ψ , ϕ , ψ יתקבל הפסוק (ψ . ϕ( ∨ ∧)ψ ϕ(¬ ∧ ψ פסוק אחרון מזוג המרכיבים ψ ϕ , ψ באותו אופן שבו הפסוק ( P ∨ Q ∧) (¬ P ∧ Q ) נבנה המשתנים הפסוקיים . P , Q לפיכך , ערך האמת של (ψ ϕ ∨ ∧)ψ ϕ(¬ ∧ ψ ) נקבע ערכי אמת של ψ , ϕ , ψ באותו אופן שבו ערך האמת של ( P ∨ Q ∧) (¬ P ∧ Q ) נקבע ערכי האמת של . P , Q הלוח , המתאר את ערכי האמת של (ψ , ϕ( ∨ ∧)ψ ϕ(¬ ∧ ψ צירוף אפשרי של ערכי אמת לזוג הפסוקים ψ ϕ , ψ הוא אפוא ( ההבדל היחיד בין לוח זה ללוח הקודם הוא בכותרות העמודות . ) הלוח האחרון הוא לוח האמת של הקשר הפסוקי המתאים לכל זוג פסוקים ψ ϕ , ψ הפסוק (ψ . ϕ( ∨ ∧)ψ ϕ(¬ ∧ הפסוק (ψ ϕ ∨ ∧)ψ ϕ(¬ ∧ ψ ) אומר : ϕ' או ψ , ψ אבל לא שניהם ' . הקשר הפסוקי אפוא מכל זוג פסוקים ψ ϕ , ψ פסוק המביע את הטענה שמביע הפסוק ϕ' או ψ'ψ כאשר ה ' שבו מתפרש כאו המוציא . אם-כן...
To the book |
|
|