לוגיקה: טבלאות אמת ושקילות – דפי תרגול

מה מתרגלים בדף

הקשר p → q שקרי רק כש-p אמת ו-q שקר. p ↔ q אמת כששניהם בעלי אותו ערך. פסוק שאמת בכל השורות הוא טאוטולוגיה, ופסוק ששקר בכל השורות הוא סתירה. שני פסוקים שקולים כשיש להם אותו ערך בכל שורה של טבלת האמת.

איך להשתמש בדף

• הוסיפו לטבלה עמודות עזר לחלקים של הפסוק, וחשבו מבפנים החוצה.
• חוקי דה-מורגן: ¬(p ∧ q) ≡ ¬p ∨ ¬q, ו-¬(p ∨ q) ≡ ¬p ∧ ¬q.