תרגיל
חשבו את טבלת האמת של
פתרון
הבחנות נחמדות
סתירה - יהי
פסוק ו ערך שקר,
תרגיל
מצאו פסוק במשתנים
באמצעות הקשרים
הערה
בהינתן פסוק “מועמד”, כדי לוודא שהוא שקול נוכל לחשב את טבלת האמת שלו
הצעה ל
או לחלופין (בכך ששוללים את השליליים מטבלת האמת):
ובאמצעות חוקי דה-מורגן
הגדרה
נאמר, שאוסף קשרים כלשהו מהווה מערכת שלמה של קשרים,, אם לכל
, לכל טבלת עמת אמת על משתנים
טענה
הקשרים
הוכחה
בהינתן טבלת אמת על
לכל שורת אמת נכתוב:
כאשר:
ונכתוב