שינויים
/* הצרנה */
דוגמא: נצרין את המשפט: "אם יש בגרות בשעה חופפת לקורס אז הוא מתבטל ". נגדיר <math>A</math> = יש בגרות בשעה שחופפת לקורס. <math>B</math>= הקורס מתבטל. המשפט אומר <math>A\to B </math>
הצרן: למדתי היטב למבחן, ואף על פי כן נכשלתי בו.
פתרון: נסמן A למדתי לבמחן, B נכשלתי במבחן אזי ההצרנה היא <math>A\land B</math>
הצרן: "ערן לובש חולצה סגולה בכל פעם שהוא לובש מכנסיים בצבע שחור"
פתרון: נסמן A ערן לובש חולצה סגולה. נסמן B ערך לובש חולצה שחורות.
ההצרנה <math>B\to A</math>
הצרן: "כאשר אני עייף ורעב אני נעשה עצבני, או שאני הולך לישון; אבל אם אני עצבני ולא עייף, אז אני רעב".
פתרון: נסמן A אני עייף, B אני רעב, C אני עצבני, D אני הולך לישון
ההצרנה <math>[(A\land B)\to (C\lor D)]\and[(C \land A)\to \lnot B]</math>
===הגדרות הקשורות לקבוצות===
