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