שינויים
/* אם-אז */
'''תרגיל'''. בדוק שאם ערך האמת של B הוא T, אז ערך האמת של "אם A אז B" הוא תמיד T. קבע מתי ערך האמת של "אם A אז B" הוא T, אם ידוע שערך האמת של B הוא F.
על טענה מהצורה <math>\ "אם P \rightarrow אז Q</math> " שבה ערך האמת של P הוא F, אומרים שהיא '''נכונה באופן ריק'''.
'''תרגיל'''. אמא מבטיחה לילד: אם תקבל 100 במבחן, נקנה לך כלבלב. הוא קיבל במבחן 97, ואיננו יודעים האם קיבל כלבלב או לא. האם קיימה האם את ההבטחה?
