תנאי מספיק

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

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