סילוגיזם היפותטי
מתוך ויקיפדיה, האנציקלופדיה החופשית
סילוגיזם היפותטי בלוגיקה הוא טיעון תקף במבנה הבא:
- א' ← ב'.
- ב' ← ג'.
- לכן, א' ← ג'.
בסימון באמצעות מפעילים לוגיים:
במלים אחרות, סוג זה של טיעון מצהיר כי אם אם מאחד משתמע השני, ומהשני משתמע שלישי, כי אז מהראשון משתמע השלישי. דוגמה כזו של סילוגיזם היפותטי:
- אם לא אזמזם שיר, אעוף בשמיים.
- אם אעוף בשמיים, אהיה סבתי.
- לכן, אני סבתי.
היתרון שבסילוגיזם היפותטי הוא בכך שהוא יכול להיות מנוגד לעובדות: הוא יכול להיות נכון גם אם ההנחות הן כוזבות.
[עריכה] ראו גם
- סילוגיזם קטגורי
- סילוגיזם מופרד
