תנאי מספיק

תנאי מספיק אומר: אם א' קורה אז ב' יקרה בטוח. אם ב' לא קרה, אז א' גם לא קרה. אבל יכולות להיות דרכים נוספות לגרום לב'. ככה כותבים את זה: A ⇒ B. זה זהה ל־¬B ⇒ ¬A. קונטרה פוזיטיב (היפוך שלילי) אומר: שמים "לא" על שתיהן ומחליפים אותן. "אם הרמזור אדום אז אני עוצר." אז אם לא עצרתי, הרמזור לא היה אדום. זה ל...