قیاس استثنائی

قیاس استثنایی یا وضع مقدم (به لاتین: Modus ponendo ponens) (که معمولاً Modus ponens خوانده می‌شود)، یکی از ساده‌ترین اشکال قیاس در حساب گزاره‌ای است.

فرض کنید و گزاره باشند. آنگاه قیاس استثنایی عبارت است از: [1]

مثال‌ها

چند مثال برای قیاس استثنایی:

اگر امروز سه‌شنبه باشد، باید به مدرسه بروم. امروز سه‌شنبه است؛ بنابراین، باید به مدرسه بروم.

اگر دانشگاه را تمام نکند، مدرک تحصیلی نمی‌گیرد. دانشگاه را تمام نکرد. پس مدرک تحصیلی نمی‌گیرد.

برهان

برهان با استفاده از جدول ارزش

q p (q p)
TTTTTTT
TTFFTTF
FTTFFFT
FTFFFTF

برهان به روش استدلال قیاسی

پانویس

منابع

  • لین، شووینگ تی.؛ لین، یو–فنگ. (۱۳۸۲). نظریهٔ مجموعه‌ها و کاربردهای آن. ترجمهٔ عمید رسولیان. تهران: مرکز نشر دانشگاهی. شابک ۹۶۴-۰۱-۰۴۶۲-۰.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.