وضع مقدم: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
آماده‌سازی نوشتار برای ادغام با قیاس استثنایی. |
آماده‌سازی نوشتار برای ادغام با وضع مقدم. |
||
خط ۱:
فرض کنید <math>p</math> و <math>q</math> گزاره باشند. آنگاه قیاس استثنایی عبارت است از: <math> \left ( \left ( p \to q \right ) \land p \right ) \Rightarrow q </math> <ref>{{پک|لین|لین|۱۳۸۲|ف=منطق مقدماتی|ک=نظریهٔ مجموعه‌ها و کاربردهای آن|ص=۱۸}}</ref>
== مثال‌ها ==
چند مثال برای قیاس استثنایی:
اگر امروز سه‌شنبه باشد، من باید به مدرسه بروم. امروز سه‌شنبه است. بنابراین، من باید به مدرسه بروم.
[[رده:منطق صوری]]▼
اگر دانشگاه را تمام نکند، مدرک تحصیلی نمیگیرد. دانشگاه را تمام نکرد. پس مدرک تحصیلی نمیگیرد.
== برهان ==
==== برهان با استفاده از [[جدول ارزش]] ====
{| class="wikitable" style="margin:1em auto; text-align:center;"
|-
! style="width:10%" | q
! style="width:10%" | <math>\Rightarrow</math>
! style="width:10%" | p
! style="width:10%" | ∧
! style="width:10%" | (q
! style="width:10%" | →
! style="width:10%" | p)
|-
| style="background:GreenYellow" | T || style="background:ForestGreen" | T || style="background:GreenYellow" | T || style="background:GreenYellow" | T || style="background:GreenYellow" | T || style="background:GreenYellow" | T || style="background:GreenYellow" | T
|-
| style="background:GreenYellow" | T || style="background:ForestGreen" | T || style="background:Salmon" | F || style="background:Salmon" | F || style="background:GreenYellow" | T || style="background:GreenYellow" | T || style="background:Salmon" | F
|-
| style="background:Salmon" | F || style="background:ForestGreen" | T || style="background:GreenYellow" | T || style="background:Salmon" | F || style="background:Salmon" | F || style="background:Salmon" | F || style="background:GreenYellow" | T
|-
| style="background:Salmon" | F || style="background:ForestGreen" | T || style="background:Salmon" | F || style="background:Salmon" | F || style="background:Salmon" | F || style="background:GreenYellow" | T || style="background:Salmon" | F
|}
==== برهان به روش استدلال قیاسی ====
<math>\left ( \left ( p \to q \right ) \land p \right ) \equiv p \land \left ( \sim p \lor q \right ) \equiv \left ( p \land \sim p \right ) \lor \left ( p \land q \right ) \equiv \left ( p \land q \right ) \Rightarrow q</math>
== پانویس ==
{{پانویس}}
== منابع ==
*{{یادکرد کتاب | همان = | نام خانوادگی =لین | نام =شووینگ تی.| | نام خانوادگی۲ =لین | نام۲ =یو–فنگ. | عنوان =نظریهٔ مجموعه‌ها و کاربردهای آن | ترجمه =عمید رسولیان | جلد = | سال= ۱۳۸۲ | ماه = | سال اصلی = | چاپ=دهم | ناشر =[[مرکز نشر دانشگاهی]] | مکان =تهران | شابک =۹۶۴-۰۱-۰۴۶۲-۰}}
[[bg:Модус поненс]]
[[ca:Modus ponens]]
[[cs:Modus ponens]]
[[da:Modus ponens]]
[[de:Modus ponens]]
[[en:Modus ponens]]
[[es:Modus ponendo ponens]]
[[et:Modus ponens]]
[[fr:Modus ponens]]
[[he:מודוס פוננס]]
[[is:Jákvæð játunarregla]]
[[it:Modus ponens]]
[[ja:モーダスポネンス]]
[[ko:전건 긍정의 형식]]
[[nl:Modus ponens]]
[[pl:Modus ponendo ponens]]
[[pt:Modus ponens]]
[[ru:Modus ponens]]
[[simple:Modus ponens]]
[[sk:Modus ponens]]
[[sr:Модус поненс]]
[[sv:Modus ponens]]
[[uk:Modus ponens]]
[[zh:肯定前件]]
| |||