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