 |
תנאי מספיק
| Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשית | Download this dictionary |
תנאי מספיק
בלוגיקה, כאשר טענה א' היא תנאי מספיק לטענה ב', הכוונה היא שטענה ב' בהכרח תתקיים אם טענה א' מתקיימת. מכך גם נובע שאם טענה ב' לא מתקיימת, הרי שגם טענה א' לא מתקיימת.
| להמשך המאמר ראה Wikipedia.org... |
© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה
