תנאי מספיק
ויקיפדיה האנציקלופדיה encyclopedia
שגיאות פרמטריות בתבנית:מקורות
פרמטרי חובה [ נושא ] חסרים
ערך מחפש מקורות | |
בלוגיקה, כאשר טענה א' היא תנאי מספיק לטענה ב', הכוונה היא שטענה ב' בהכרח תתקיים אם טענה א' מתקיימת. מכך גם נובע שאם טענה ב' לא מתקיימת, הרי שגם טענה א' לא מתקיימת.
יש לשים לב, שקיום טענה א' אומנם גורר את קיום טענה ב', אך היא איננה הכרחית לקיום טענה ב'.