‫הרצאה ‪4‬‬

‫סמנטיקה של תחשיב הפסוקים‪.‬‬

‫הגדרה ‪) 1‬השמה(‪ .‬השמה למשתנים היא פונקציה }‪ .Z : {pi | i ∈ N} → {0, 1‬הערכים בטווח של ‪ Z‬נקראים ערכי אמת‪) .‬שימו‬
‫לב גם ‪ 0‬וגם ‪ 1‬נקראים שניהם "ערכי אמת"(‪.‬‬

‫הגדרה ‪) 2‬טבלת האמת(‪.‬‬

‫‪X‬‬ ‫‪Y‬‬ ‫‪X ∨Y‬‬ ‫‪X ∧Y‬‬ ‫‪X→Y‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪X‬‬ ‫‪¬X‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫נסמן ב‪ T T⊙ -‬את הפונקציה שמוגדרת על ידי טבלת האמת של ⊙‪.‬‬

‫הגדרה ‪ .3‬בהינתן השמה }‪ ,Z : {pi | i ∈ N} → {0, 1‬הפונקציה }‪ Z̄ : WFF → {0, 1‬מוגדרת באופן הרקורסיבי הבא‪:‬‬

‫• אם ‪ ϕ = pi‬אזי ) ‪.Z̄(ϕ) = Z(pi‬‬

‫• אם ‪ ϕ = ¬α‬אזי ))‪.Z̄(ϕ) = T T¬ (Z̄(α‬‬

‫• אם ‪ ϕ = α ⊙ β‬אזי ))‪.Z̄(ϕ) = T T⊙ (Z̄(α), Z̄(β‬‬

‫‪1‬‬
‫דוגמא ‪ .1‬יהיו )) ‪ α = ((p11 ∧ p2 ) → (p10 ∨ p20‬והשמה )‪ Z(pi ) = i(mod 2‬חשבו את )‪.Z̄(α‬‬

‫הוכחה‪:‬‬

‫‪2‬‬
‫הגדרה ‪) 4‬מערכת שלמה(‪ .‬קבוצה ‪ X‬של קשרים לוגיים היא שלמה אם לכל ‪ n ∈ N‬ולכל פונקציה }‪ f : {0, 1}n → {0, 1‬קיים‬
‫פסוק ‪ ϕ ∈ WFF‬המורכב מהקשרים ב‪ X -‬כך ש‪ Z̄(ϕ) = f (Z(p1 ), . . . , Z(pn )) -‬לכל השמה ̄‪.Z‬‬

‫דוגמא ‪ .2‬מערכת }∧ ‪ {∨,‬היא לא שלמה‪.‬‬

‫הוכחה‪:‬‬

‫‪3‬‬
 ‫משפט ‪ .1‬מערכת הקשרים }¬ ‪ {∧, ∨,‬היא שלמה‪.‬‬

‫הוכחה‪:‬‬

‫‪4‬‬
 ‫הוכחה‪:‬‬

‫‪5‬‬
 ‫הוכחה‪:‬‬

‫‪6‬‬
 ‫משפט ‪ .2‬מערכת הקשרים }¬ ‪ {→,‬היא שלמה‪.‬‬

‫הוכחה‪:‬‬

‫‪7‬‬