زمان کنونی: ۰۴ مرداد ۱۴۰۰, ۰۹:۱۶ ق.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

منطق it95

ارسال:
  

Hopegod پرسیده:

منطق it95

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

نقل قول این ارسال در یک پاسخ

۳
ارسال:
  

Pure Liveliness پاسخ داده:

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] که اینم کلا پرت هست و شبیه صورت سوال نیست.
نقل قول این ارسال در یک پاسخ

۲
ارسال:
  

Jooybari پاسخ داده:

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]. اگه به فارسی تبدیل کنیم داریم:

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

۰
ارسال:
  

Hopegod پاسخ داده:

RE: منطق it95

سلام خیلی خیلی ممنونمHeartShy
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

Happiness.72 پاسخ داده:

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
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

Hopegod پاسخ داده:

RE: منطق it95

ممنونم عالی بود.Heart
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  سوال ۱۱۵- مهندسی ۹۶- منطق مرتبه اول mzi ۰ ۸۲۵ ۲۱ فروردین ۱۳۹۷ ۰۵:۰۵ ب.ظ
آخرین ارسال: mzi
  سوال از منطق ss311 ۰ ۶۵۹ ۲۹ بهمن ۱۳۹۶ ۰۱:۰۹ ب.ظ
آخرین ارسال: ss311
  سوال از منطق ss311 ۰ ۵۴۸ ۲۹ بهمن ۱۳۹۶ ۱۱:۳۴ ق.ظ
آخرین ارسال: ss311
Question راهنمایی برای کتاب مبانی منطق و نظریه مجموعه ها (help me plz ) fimen ۳ ۶,۸۱۱ ۱۴ آبان ۱۳۹۶ ۰۶:۳۰ ب.ظ
آخرین ارسال: agha_Yahya
  حل چند سوال؟ برنامه سازی منطق baharkhanoom ۰ ۱,۱۰۲ ۰۱ تیر ۱۳۹۶ ۰۱:۲۳ ب.ظ
آخرین ارسال: baharkhanoom
  پروژه در شرایط اضطراری IT95 Hopegod ۶ ۱,۲۲۶ ۰۳ اردیبهشت ۱۳۹۶ ۰۱:۴۹ ب.ظ
آخرین ارسال: *tarannom*
  مرتب سازی درجی IT95 Hopegod ۲ ۱,۰۵۶ ۲۳ فروردین ۱۳۹۶ ۰۷:۴۲ ب.ظ
آخرین ارسال: Hopegod
  سراسری ۸۸ - منطق مرتبه اول ali.majed.ha ۲ ۱,۳۰۲ ۱۸ فروردین ۱۳۹۶ ۱۱:۳۹ ق.ظ
آخرین ارسال: ali.majed.ha
Wink حافظه IT95 Hopegod ۳ ۹۹۲ ۰۷ فروردین ۱۳۹۶ ۰۷:۲۱ ب.ظ
آخرین ارسال: arash691
  سوال مشابه منطق ارشد ۹۳ arash691 ۲ ۱,۰۵۶ ۰۷ اسفند ۱۳۹۵ ۰۹:۱۲ ب.ظ
آخرین ارسال: arash691

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close