תחשיב הפסוקים
תחשיב פסוקים הוא דרך רשמית לבדוק טענות אמיתיות או שקריות. המערכת מסתכלת רק על "אמת" ו"שקר", לא על התוכן. אם אומרים: "אם חרק הוא נמלה אז הוא חי בתל" ו"החרק הוא נמלה", אז המסקנה היא שהוא חי בתל. זהו סוג של חשיבה לוגית פשוטה. משנים משפטים לאותיות קבועות. כל אות מייצגת טענה אחת. קשרים חשובים: - שלילה...
לוגיקה מתמטית
לוגיקה מתמטית בוחנת איך מראים שמשהו נכון. מערכת פורמלית היא שפה עם סימנים וכללים ברורים. כדי לבדוק משפטים, מתרגמים אותם לשפה מדויקת. יש שתי דרכים חשובות: תחשיב הפסוקים (שמביא בחשבון אם טענות הן אמיתיות או לא) ותחשיב הפרדיקטים (שמדבר על פריטים ותכונות שלהם). הוכחה מתחילה מאקסיומות. אקסיומה היא כלל ...
סתירה (לוגיקה)
סתירה היא משפט שאי אפשר שיהיה נכון אף פעם. היא בנויה משני חלקים שסותרים זה את זה. "סותרים" אומרים שהם הפוכים ולא יכולים להיות אמיתיים יחד. דוגמה פשוטה: להגיד גם "אני בירושלים" וגם "אני לא בירושלים". משתמשים בסתירה כדי להראות שטענה לא נכונה. אם הנחה מובילה לסתירה, אז היא שגויה. ההיפך של סתירה נקר...
משפט הקומפקטיות
משפט הקומפקטיות אומר שאם כל קבוצה קטנה של משפטים מתקיימת, גם כל הקבוצה כולה יכולה להתקיים. מודל הוא מקום שבו המשפטים נכונים.\n\n= הוכחות למשפט =\nיש כמה דרכים להוכיח את המשפט. אחת מהן משתמשת במשפט השלמות של גדל. המשפט הזה מחבר בין "אין סתירה" לבין "יש מודל". דרך אחרת היא טופולוגית. שם מסתכלים על מרח...
טאוטולוגיה (לוגיקה)
טאוטולוגיה היא משפט שתמיד נכון. תמיד נכון פירושו: לא משנה מה קורה, הוא נכון. סתירה היא ההפך. סתירה תמיד שקר. דוגמה פשוטה: או שכל הבתים לבנים, או שיש לפחות בית שאינו לבן. תמיד אחד מהשניים נכון. גם אם אין בתים בכלל, אומרים ש"כל הבתים לבנים" נכון במקרה כזה. פילוסוף בשם לודוויג ויטגנשטיין כתב שטאוטול...
לוגיקה
לוגיקה היא חקר איך לחשוב נכון. היא בודקת מתי מסקנה נובעת מהנחות. ביוון העתיקה חשבו על טיעונים. אפלטון שאל שאלות כדי לבדוק עקביות. אריסטו ארגן שיטות לקשר בין משפטים. הוא המציא סילוגיזם ".סילוגיזם" זה טיעון עם שתי הנחות ומסקנה. אריסטו קבע כללים חשובים: # חוק אי-הסתירה: דבר לא יכול להיות נכון ושקרי ב...
סילוגיזם היפותטי
זהו דגם של טיעון שבו דברים מתחברים לפי צורה פשוטה. אם א' גורר ב'. אם ב' גורר ג'. אז א' גורר ג'. דוגמה: אם אני לא אתעורר, לא אגיע לעבודה. אם לא אגיע לעבודה, לא אקבל משכורת. לכן לא להתעורר אומר גם לא לקבל משכורת. 'היסק תקף' (פירוש: מסקנה נכונה לפי צורת הטיעון) אומר שהקשר בין הטענות נכון לפי המבנה....
טבלת אמת
טבלת אמת היא טבלה שמראה מה קורה למשפטים לוגיים כשהם אמיתים או שקריים. אמת פירושו שמשהו נכון. שקר פירושו שמשהו לא נכון. קשרים לוגיים הם כללים שמקשרים משפטים. שלילה אומרת להפוך אמת לשקר ושקר לאמת. "וגם" אומר ששני המשפטים צריכים להיות אמת. "או" אומר שאחד מהם מספיק. כל משפט בסיסי יכול להיות רק אמת או...