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