قیاس استثنائی
پرش به ناوبری
پرش به جستجو
قیاس استثنایی یا وضع مقدم (به لاتین: Modus ponendo ponens) (که معمولاً Modus ponens خوانده میشود)، یکی از سادهترین اشکال قیاس در حساب گزارهای است.
فرض کنید و گزاره باشند. آنگاه قیاس استثنایی عبارت است از: [۱]
محتویات
مثالها[ویرایش]
چند مثال برای قیاس استثنایی:
اگر امروز سهشنبه باشد، باید به مدرسه بروم. امروز سهشنبه است؛ بنابراین، باید به مدرسه بروم.
اگر دانشگاه را تمام نکند، مدرک تحصیلی نمیگیرد. دانشگاه را تمام نکرد. پس مدرک تحصیلی نمیگیرد.
برهان[ویرایش]
برهان با استفاده از جدول ارزش[ویرایش]
q | p | ∧ | (q | → | p) | |
---|---|---|---|---|---|---|
T | T | T | T | T | T | T |
T | T | F | F | T | T | F |
F | T | T | F | F | F | T |
F | T | F | F | F | T | F |
برهان به روش استدلال قیاسی[ویرایش]
پانویس[ویرایش]
منابع[ویرایش]
- لین، شووینگ تی.؛ لین، یو–فنگ. (۱۳۸۲). نظریهٔ مجموعهها و کاربردهای آن. ترجمهٔ عمید رسولیان. تهران: مرکز نشر دانشگاهی. شابک ۹۶۴-۰۱-۰۴۶۲-۰.