תנאי מספיק

שגיאות פרמטריות בתבנית:מקורות
פרמטרי חובה [ נושא ] חסרים

בלוגיקה, כאשר טענה א' היא תנאי מספיק לטענה ב', הכוונה היא שטענה ב' בהכרח תתקיים אם טענה א' מתקיימת. מכך גם נובע שאם טענה ב' לא מתקיימת, הרי שגם טענה א' לא מתקיימת.

יש לשים לב, שקיום טענה א' אומנם גורר את קיום טענה ב', אך היא איננה הכרחית לקיום טענה ב'.

במתמטיקה

בכתיב מתמטי נרשום:

$A\implies B$

טענה זו שקולה לטענה:

$\neg B\implies \neg A$

לפי קונטרה פוזיטיב.

דוגמה

אם הרמזור יהיה אדום אז אני אעצור. טענה זו שקולה לכך שאם לא עצרתי, הרמזור לא היה אדום. אין זה אומר בהכרח שאני אעצור רק אם הרמזור יהיה אדום.

ראו גם

• תנאי הכרחי
• שקילות
• כלל היסק

קישורים חיצוניים

• תנאי מספיק, באתר MathWorld (באנגלית)