תנאי מספיק
שגיאות פרמטריות בתבנית:מקורות
פרמטרי חובה [ נושא ] חסרים
ערך מחפש מקורות | |
בלוגיקה, כאשר טענה א' היא תנאי מספיק לטענה ב', הכוונה היא שטענה ב' בהכרח תתקיים אם טענה א' מתקיימת. מכך גם נובע שאם טענה ב' לא מתקיימת, הרי שגם טענה א' לא מתקיימת.
יש לשים לב, שקיום טענה א' אומנם גורר את קיום טענה ב', אך היא איננה הכרחית לקיום טענה ב'.
במתמטיקה
בכתיב מתמטי נרשום:
טענה זו שקולה לטענה:
לפי קונטרה פוזיטיב.
דוגמה
אם הרמזור יהיה אדום אז אני אעצור. טענה זו שקולה לכך שאם לא עצרתי, הרמזור לא היה אדום. אין זה אומר בהכרח שאני אעצור רק אם הרמזור יהיה אדום.
ראו גם
קישורים חיצוניים
- תנאי מספיק, באתר MathWorld (באנגלית)
🔥 Top keywords: עמוד ראשימיוחד:חיפושחג הקורבןדור הררירוקדים עם כוכבים (עונה 3, קשת)לירז צ'רכיקדחת מערב הנילוסאילניתמלחמת חרבות ברזליורו 2024מיוחד:שינויים אחרוניםאליהו רביבותום אבניעמוס הוכשטייןרוקדים עם כוכבים (קשת)דנית גרינברגבלקספייסבלתי הפיך (ספר)עופר ינאיפרשת משחקי חברהמריאנו אידלמןאליפות אירופה בכדורגלהפועל תל אביב (כדורסל)לוסי איובנחמן שיקיליאן אמבפההקול בראש 2גאולה אבן-סעריוליה שמאלוב-ברקוביץ'בית הדרקוןשמעון מזרחיליגת העל בכדורסלהדירוג העולמי של פיפ"אאף אחד לא עוזב את פאלו אלטוישראלאנה ארונובדרגות צה"ליום האבברידג'רטון