שינויים

דוגמא: נצרין את המשפט: "אם יש בגרות בשעה חופפת לקורס אז הוא מתבטל ". נגדיר <math>A</math> = יש בגרות בשעה שחופפת לקורס. <math>B</math>= הקורס מתבטל. המשפט אומר <math>A\to B </math>. כלומר בגרות בשעה חופפת לקורס זה תנאי מספיק לכך שהקורס מתבטל. שימו לב שזהו לא תנאי הכרחי כי יתכן שהקורס יתבטל מסיבות אחרות.