טענות והסקה יומיומית

הקדמה ללוגיקה הפורמלית

שאלות טענות (לוגיקה פורמלית) עמוסות באמירות מוחלטות כמו "כל הכלבים נובחים" או "אין חתול שאינו אוהב חלב". הדבר החשוב ביותר לזכור הוא שההיגיון היומיומי שלכם לא רלוונטי כאן. המציאות במשפטים האלו פועלת בדיוק לפי כללים יבשים של "תנאי ותוצאה" בלבד.

הצרנה: החץ הלוגי

הצרנה היא קידוד שמאפשר לנו לפשט משפט מורכב לנוסחה פשוטה:

• משפט קיום: "יש כלבים שחורים" ⟶ *(כלב + שחור)* (יש קיום). אין פה הבטחה על כלב כלשהו, אלא דיווח שנתקלנו באחד כזה.
• משפט תנאי (כל ה...): "כל החתולים ישנים" ⟶ *(חתול ⟶ ישן)*. כאן יש חוק נוקשה – אם אתה חתול, אתה חייב לישון.

שימו לב: מכך ש*(חתול ⟶ ישן)*, אנו לא יכולים ללמוד על ישנים ברחוב שהם חתולים. החץ עובד רק בכיוון אחד!

זיהוי סתירה

כדי לסתור נתון המספק חוק ("כל א' הם ב'"), צריך רק דוגמה אחת שוברת-חוק. הדוגמה הנגדית חיבת להיות: מקיים את התנאי (אתה א') אבל שובר/חסר את התוצאה (אתה לא ב').

לדוגמה, נסתר את הטענה: "כל הילדים אוהבים ממתקים". מה ישבור אותה? ילד (מקיים תנאי) ששונא/לא אוהב ממתקים (מפר תוצאה).