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