תנאי מספיק
תנאי מספיק אומר: אם א' קורה אז ב' יקרה בטוח. אם ב' לא קרה, אז א' גם לא קרה. אבל יכולות להיות דרכים נוספות לגרום לב'. ככה כותבים את זה: A ⇒ B. זה זהה ל־¬B ⇒ ¬A. קונטרה פוזיטיב (היפוך שלילי) אומר: שמים "לא" על שתיהן ומחליפים אותן. "אם הרמזור אדום אז אני עוצר." אז אם לא עצרתי, הרמזור לא היה אדום. זה ל...
שקילות (לוגיקה)
שתי טענות שקולות אומרות את אותו הדבר. טענה, משפט שאפשר להגיד אם הוא נכון או לא. כותבים זאת כך: A אם ורק אם B. זה אומר ששתי הטענות נכונות באותם מצבים. כל אחת מבטיחה את השנייה. דוגמה: א' שווה 5. א' שווה גם 7 פחות 2. זו אותה אמת. עוד דוגמה ידועה: מספר זוגי אומר שהוא מתחלק ב‑2. כששתי טענות שקולות, כל ה...
תנאי הכרחי
תנאי הכרחי זה משהו שחייב להיות כדי שמשהו אחר יקרה. לדוגמה: לצפור צריך להיות נוצות. לכן נוצות הן תנאי הכרחי לציפור. יען הוא ציפור גם בלי לעוף, לכן לעוף לא תמיד דרוש. אם משהו הוא תנאי הכרחי, אז אם הוא חסר גם הדבר השני לא יקרה. אבל אם התנאי קיים זה לא בטוח שהדבר השני יקרה, זה רק אפשרי. כאשר ב' קיים ...