تالار گفتمان مانشت
منطق it95 - نسخه‌ی قابل چاپ

منطق it95 - Hopegod - 05 بهمن ۱۳۹۵ ۰۱:۱۱ ب.ظ

سلام دوستان میخاستم بپرسم چرا این سوال جوابش گزینه سه هست اما یک نیست مگه با قانون عکس نقیض گزینه یک جواب نمیشه Huh
[attachment=21211]

RE: منطق it95 - Pure Liveliness - 05 بهمن ۱۳۹۵ ۰۳:۵۹ ب.ظ

سلام.
جمله ی شما برنده میشوید اگر قوانین را بدانید و مغرور نباشید معادل این هست که بگیم q اگر p. که البته p توی این جا معادل هست با [tex]r\wedge s'[/tex] که r رو دونستن قوانین در نظر میگیریم و s رو مغرور بودن.
طبق این که [tex]p\rightarrow q[/tex] معادل این هست که q اگر p پس جمله ی صورت سوال هم معادل میشه با [tex]r\wedge s'\rightarrow q[/tex]
گزینه ی ۱ معادل هست با نقیضش و پس معادل با خودش نیست. چون میشه : [tex]r'\vee s\rightarrow q'[/tex]
گزینه ی ۲ معادل هست با [tex]q\rightarrow r\vee s'[/tex] که با صورت سوال برابر نیست.
گزینه ی ۳ معادل هست با [tex]q'\rightarrow r'\vee s[/tex] که معادل عکس و نقیض صورت سوال هست و باهاش برابر هست و در نتیجه جواب سوال هست.
گزینه ی ۴ معادل هست با [tex]r\wedge s\rightarrow q[/tex] که اینم کلا پرت هست و شبیه صورت سوال نیست.

RE: منطق it95 - Jooybari - 05 بهمن ۱۳۹۵ ۰۶:۱۳ ب.ظ

سلام. وقت بخیر.
در تکمیل صحبت‌های خانم Pure Liveliness خواستم بگم میتونید جمله اولیه رو به شکل زیر بنویسید. اینطوری راحت‌تر استدلال خواهید داشت:

اگر «قوانین بازی را بدانید» و «مغرور نباشید» آنگاه «برنده بازی می‌شوید».

این جمله به صورت [tex]p\to q[/tex] یا [tex](a\wedge b)\to q[/tex] قابل بیان کردنه. عکس نقیضش هم میشه [tex]~q\to ~p[/tex] یا [tex]~q\to (~a\vee ~b)[/tex]. اگه به فارسی تبدیل کنیم داریم:

اگر «برنده بازی نشوید» آنگاه «قوانین بازی را نمی‌دانید» یا «مغرور هستید».

RE: منطق it95 - Hopegod - 05 بهمن ۱۳۹۵ ۰۶:۲۴ ب.ظ

سلام خیلی خیلی ممنونمHeartShy

RE: منطق it95 - Happiness.72 - 06 بهمن ۱۳۹۵ ۱۲:۱۶ ق.ظ

صورت سوال ی گزاره شرطی هست ک مقدم این شرط ترکیب عطفی(and) این دو جمله هست:
قوانین را بدانید-مغرور نباشید

و تالی این شرطم میشه:برنده شدن

اگر داشته باشیم قانون شرطی اگرaانگاهb
اونوقت عکس نقیضش میشه:نقیض bانگاه نقیضa

حالا با توجه ب قانون شرطی عکس نقیض صورت سوال میشه:
نقیض (برنده شدن)آنگاه نقیض(قانون را بدانید و مغرور نباشید) ک سادش کنیم میشه
اگر بازی را ببازید انگاه قوانین را نمیدانید یا مغرور هستید.

نقیض یا همون notترکیب عطفی رو تبدیل ب ترکیب فصلی میکنه.

توی عکس نقیض قانون شرطی جای مقدم و تالی شرط عوض میشه و هردو not میشن


f(law:1 && proud:0) then game ok
این چیزی هست ک صورت سوال گفته.حالا عکس نقیضش میشه:

(If not(game ok) then not(law:1 && proud:0
حالا اگه not رو اعمال کنی داخل پرانتز :

(If(game over) then (law:0 or proud:1

RE: منطق it95 - Hopegod - 10 بهمن ۱۳۹۵ ۱۰:۳۵ ب.ظ

ممنونم عالی بود.Heart