۰
subtitle
ارسال: #۱
منطق it95
سلام دوستان میخاستم بپرسم چرا این سوال جوابش گزینه سه هست اما یک نیست مگه با قانون عکس نقیض گزینه یک جواب نمیشه 
۳
ارسال: #۲
RE: منطق it95
سلام.
جمله ی شما برنده میشوید اگر قوانین را بدانید و مغرور نباشید معادل این هست که بگیم 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] که اینم کلا پرت هست و شبیه صورت سوال نیست.
جمله ی شما برنده میشوید اگر قوانین را بدانید و مغرور نباشید معادل این هست که بگیم 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
سلام. وقت بخیر.
در تکمیل صحبت‌های خانم 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]. اگه به فارسی تبدیل کنیم داریم:
اگر «برنده بازی نشوید» آنگاه «قوانین بازی را نمیدانید» یا «مغرور هستید».
در تکمیل صحبت‌های خانم 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
صورت سوال ی گزاره شرطی هست ک مقدم این شرط ترکیب عطفی(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
قوانین را بدانید-مغرور نباشید
و تالی این شرطم میشه:برنده شدن
اگر داشته باشیم قانون شرطی اگر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
۰
موضوع‌های مرتبط با این موضوع... |
|||||
| موضوع: | نویسنده | پاسخ: | بازدید: | آخرین ارسال | |
| سوال ۱۱۵- مهندسی ۹۶- منطق مرتبه اول | mzi | ۰ | ۱,۶۸۶ |
۲۱ فروردین ۱۳۹۷ ۰۵:۰۵ ب.ظ آخرین ارسال: mzi |
|
| سوال از منطق | ss311 | ۰ | ۱,۲۷۱ |
۲۹ بهمن ۱۳۹۶ ۰۱:۰۹ ب.ظ آخرین ارسال: ss311 |
|
| سوال از منطق | ss311 | ۰ | ۱,۱۴۸ |
۲۹ بهمن ۱۳۹۶ ۱۱:۳۴ ق.ظ آخرین ارسال: ss311 |
|
 |
راهنمایی برای کتاب مبانی منطق و نظریه مجموعه ها (help me plz ) | fimen | ۳ | ۸,۸۵۸ |
۱۴ آبان ۱۳۹۶ ۰۶:۳۰ ب.ظ آخرین ارسال: agha_Yahya |
| حل چند سوال؟ برنامه سازی منطق | baharkhanoom | ۰ | ۱,۷۵۱ |
۰۱ تیر ۱۳۹۶ ۰۱:۲۳ ب.ظ آخرین ارسال: baharkhanoom |
|
| پروژه در شرایط اضطراری IT95 | Hopegod | ۶ | ۲,۷۲۵ |
۰۳ اردیبهشت ۱۳۹۶ ۰۱:۴۹ ب.ظ آخرین ارسال: *tarannom* |
|
| مرتب سازی درجی IT95 | Hopegod | ۲ | ۲,۱۷۲ |
۲۳ فروردین ۱۳۹۶ ۰۷:۴۲ ب.ظ آخرین ارسال: Hopegod |
|
| سراسری ۸۸ - منطق مرتبه اول | ali.majed.ha | ۲ | ۲,۵۹۲ |
۱۸ فروردین ۱۳۹۶ ۱۱:۳۹ ق.ظ آخرین ارسال: ali.majed.ha |
|
 |
حافظه IT95 | Hopegod | ۳ | ۲,۰۴۲ |
۰۷ فروردین ۱۳۹۶ ۰۷:۲۱ ب.ظ آخرین ارسال: arash691 |
| سوال مشابه منطق ارشد ۹۳ | arash691 | ۲ | ۲,۰۷۷ |
۰۷ اسفند ۱۳۹۵ ۰۹:۱۲ ب.ظ آخرین ارسال: arash691 |
|
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close