Loading AI tools
מוויקיפדיה, האנציקלופדיה החופשית
בלוגיקה, כאשר טענה א' היא תנאי מספיק לטענה ב', הכוונה היא שטענה ב' בהכרח תתקיים אם טענה א' מתקיימת. מכך גם נובע שאם טענה ב' לא מתקיימת, הרי שגם טענה א' לא מתקיימת.
ערך מחפש מקורות | |
יש לשים לב, שקיום טענה א' אומנם גורר את קיום טענה ב', אך היא איננה הכרחית לקיום טענה ב'.
בכתיב מתמטי נרשום:
טענה זו שקולה לטענה:
לפי קונטרה פוזיטיב.
אם הרמזור יהיה אדום אז אני אעצור. טענה זו שקולה לכך שאם לא עצרתי, הרמזור לא היה אדום. אין זה אומר בהכרח שאני אעצור רק אם הרמזור יהיה אדום.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.