סילוגיזם היפותטי

מתוך ויקיפדיה, האנציקלופדיה החופשית

סילוגיזם היפותטי בלוגיקה הוא טיעון תקף במבנה הבא:

א' ← ב'.
ב' ← ג'.
לכן, א' ← ג'.

בסימון באמצעות מפעילים לוגיים:

p \rightarrow q
q \rightarrow r,
\vdash p \rightarrow r

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

אם לא אזמזם שיר, אעוף בשמיים.
אם אעוף בשמיים, אהיה סבתי.
לכן, אני סבתי.

היתרון שבסילוגיזם היפותטי הוא בכך שהוא יכול להיות מנוגד לעובדות: הוא יכול להיות נכון גם אם ההנחות הן כוזבות.

[עריכה] ראו גם

שפות אחרות