שינויים

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