נוספו 1,061 בתים,
09:19, 16 ביולי 2013 ==חלק ראשון==
===1===
#"אם ערן רעב הוא עצבני."
#"כאשר ערן אינו עצבני הוא לא רעב."
נסמן
*p = ערן רעב
*q = ערן עצבני
אזי ההצרנה של הפסוקים הינה:
#<math>p\rightarrow q</math>
#<math>\urcorner q \rightarrow \urcorner p</math>
למדנו בכיתה כי שני הפסוקים הללו '''שקולים'''.
===1===
#"מי שטוב לו ושמח כף ימחה"
#"מי שלא טוב לא או לא שמח לא ימחה כף"
נסמן
*<math>p(x)</math> = טוב לx
*<math>q(x)</math> = שמח לx
*<math>r(x)</math> = x ימחא כף
אזי ההצרנה של הפסוקים הינה:
#<math>\forall x:p(x)\and q(x) \rightarrow r(x)</math>
#<math>\forall x: \urcorner p(x) \or \urcorner q(x) \rightarrow \urcorner r(x)</math>
הפסוקים '''אינם שקולים'''.
הפרכה: אדם שמוחא כף אך אינו שמח ולא טוב לו. כלומר <math>p(x)=F,q(x)=F,r(x)=T</math>
הפסוק הראשון מתקיים ואילו השני לא מתקיים.