به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
+3 امتیاز
297 بازدید
در دبیرستان توسط Mahdi083 (19 امتیاز)
ویرایش شده توسط UnknownUser

سلام. اگر در قیاس استثنایی، به‌جای دو مقدمه، مانند حالت زیر چند مقدمه داشته باشیم،

$$\large \begin{align} q \Rightarrow \sim p \\ r \Rightarrow s \space\space\space \\ q \vee r \space\space\space\space\space \\ \sim s \space\space\space\space\space\space\space \\ \text{_______} \\ \therefore \text{?}\space\space\space\space\space\space\space\space \end{align} $$

چگونه باید نتیجه قیاس را به‌دست بیاوریم؟

توسط AbbasJ (364 امتیاز)
+4
سعی کنید به جای عکس گذاشتن، فرمولها رو تایپ کنید. ضمنا من متوجه نشدم چه اصراری بر استفاده از قیاس استثنایی دارید. تلاش خودتون رو هم نگذاشتید

1 پاسخ

+2 امتیاز
توسط AbbasJ (364 امتیاز)
انتخاب شده توسط Mahdi083
 
بهترین پاسخ

برای اثبات این استنتاج، اگر بلد باشید باید از قیاس ذووجهین موجب استفاده کنید. به این شکل که $((q \Rightarrow \sim p) \wedge (r \Rightarrow s)) \vdash ((q \vee r) \Rightarrow ( \sim p \vee s)) $ چون $q \vee r $ درست است، پس $ \sim p \vee s $ نیز درست است. چون $ \sim s$ هم درست است، بنابر قیاس دفع، $ \sim p$ نیز درست است.

توسط Mahdi083 (19 امتیاز)
ویرایش شده توسط AmirHosein
+1
متشکرم. می‌تونید برای توضیح بیشتر منو به کتاب و یا یک مقاله ارجاع بدید که این ذووجهین رو که گفتید متوجه بشم؟ بسیار ممنون از شما.
توسط AbbasJ (364 امتیاز)
+1
خواهش می کنم.
می توانید از کتاب "منطق، مجموعه ها، اعداد" تالیف دکتر "مجید میرزاوزیری" استفاده کنید.
علم آن چیزی است که به قدری خوب آن را درک کرده ایم که می توانیم برای یک رایانه آن را توضیح دهیم. همه ی انچه باقی می ماند هنر است.
...