תנאי הכרחי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות) מ בוט: החלפת טקסט אוטומטית (-{{נ}} +) |
אין תקציר עריכה תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד |
||
שורה 1:
ב[[לוגיקה]], כאשר טענה א' היא '''תנאי הכרחי''' לטענה ב', הכוונה היא שטענה ב' יכולה להתקיים רק אם טענה א' מתקיימת. מכך גם נובע שאם טענה א' לא מתקיימת, הרי שגם טענה ב' לא מתקיימת. וובה
יש לשים לב, שקיום טענה א' רק הופכת את טענה ב' ל'''אפשרית''' - ולא בהכרח גוררת את טענה ב'.
שורה 13:
<math>\neg A \implies \neg B</math>
כלומר, להגיד שא' הוא תנאי הכרחי לב' שקול לטענה שאם לא-א' אז לא-ב'.
== הקשר בין תנאי מספיק לתנאי הכרחי ==
| |||