وضع مقدم (به لاتین: Modus ponendo ponens) (که معمولاً Modus ponens خوانده میشود)، یکی از سادهترین اشکال قیاس در حساب گزارهای است.
فرض کنید و گزاره باشند. آنگاه قیاس استثنایی عبارت است از: [1]
مثالها
چند مثال برای وضع مقدم:
اگر امروز سهشنبه باشد، باید به مدرسه بروم. امروز سهشنبه است؛ بنابراین، باید به مدرسه بروم.
اگر دانشگاه را تمام نکند، مدرک تحصیلی نمیگیرد. دانشگاه را تمام نکرد. پس مدرک تحصیلی نمیگیرد.
برهان
برهان با استفاده از جدول ارزش
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 |
برهان به روش استدلال قیاسی
جستارهای وابسته
- انتفای مقدم (درستی به انتفای مقدم)
پانویس
منابع
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.