חלק ראשון
1
- "אם ערן רעב הוא עצבני."
- "כאשר ערן אינו עצבני הוא לא רעב."
נסמן
- p = ערן רעב
- q = ערן עצבני
אזי ההצרנה של הפסוקים הינה:
למדנו בכיתה כי שני הפסוקים הללו שקולים.
1
- "מי שטוב לו ושמח כף ימחה"
- "מי שלא טוב לא או לא שמח לא ימחה כף"
נסמן
- = טוב לx
- = שמח לx
- = x ימחא כף
אזי ההצרנה של הפסוקים הינה:
הפסוקים אינם שקולים.
הפרכה: אדם שמוחא כף אך אינו שמח ולא טוב לו. כלומר הפסוק הראשון מתקיים ואילו השני לא מתקיים.