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

سوال مشابه منطق ارشد ۹۳

ارسال:
  

arash691 پرسیده:

سوال مشابه منطق ارشد ۹۳

سلام من راه حل خودمو مینویسم لطفا" استدلال بنده رو بررسی کنید .

صورت سوال : شش نفر با نام های A,B,C,D,E,F را در نظر بگیرید ، تعدادی از این افراد راستگو و تعدادی از این افراد دروغگو هستند اگه شخصی دروغگو یا راستگو باشه همیشه دروغگو یا راستگو هستش ، اگه تعداد دروغگوها بیشتر از ۲ نفر نباشه ، اونا رو مشخص کنید:
ادعاها بصورت زیر هستش (نام شخص : صورت ادعا)

A : شخص C دروغگوست.
B : شخص C راستگو و A دروغگوست.
C : شخص D راستگو و E دروغگوست.
D : شخص F راستگوست.
E : شخص F راستگو و C دروغگوست.
F : شخص B دروغگوست.


حل : فرض می کنیم E راستگو باشد بنابراین F راستگو و C دروغگوست ، پس B دروغگوست چون با فرض در تناقض است و بقیه هم راستگو هستند
نقل قول این ارسال در یک پاسخ

۱
ارسال:
  

Pure Liveliness پاسخ داده:

RE: سوال مشابه منطق ارشد ۹۳

سلام.
اگه E راستگو باشه اونوقت F راستگو و C دروغگو هست.
…….حالا که F راستگو هست پس باید B دروغگو باشه.
…….حالا که C دروغگو هست باید عبارت "شخص D راستگو و E دروغگوست." دروغ باشه، یعنی یا D دروغگو هست و یا E راستگو هست.
چون طبق صورت سوال بیش از ۲ دروغگو نداریم و تا اینجا دو تا دروغگو مشخص شده (C و B) پس D نمیتونه دروغگو باشه، پس D راستگو هست و E هم راستگو هست.
………….حالا که D راستگو هست پس باید F راستگو باشه.
…………………..حالا که F راستگو هست پس باید B دروغگو باشه. (تناقض نخوردیم پس و درسته)
…………حالا که E راستگو هست… -> اینو قبلا بررسی کردیم.
گزاره ی A رو بهش نرسیدیم چون C دروغگو هست پس Aراستگو هست.
حالا برای اطمینان اینایی که به دست آوردیم رو یه بار دیگه بررسی میکنیم.
A: راستگو، پس C دروغگو. درست.
B: دروغگو، پس یا C دروغگو و یا A راستگو، که هر دوش درست هست و اینم درسته و تا اینجا هم به تناقض نرسیدیم.
C: دروغگو، پس یا D دروغگو یا E راستگو هست و چون واقعا Eراستگو هست اینم درسته.
D: راستگو، پس F راستگو هست. تا اینجا هم به تناقض نرسیدیم.
E: راستگو پس F راستگو و C دروغگو. اینم اوکی هست.
F: راستگو هست پس B دروغگو هست که واقعا هم هست پس درست هست.
پس به تناقض نرسیدیم. و استدلالتون درست هست. نکاتش اینا هست:
۱) [tex](a\wedge b)'=a'\vee b'[/tex] و نه لزوما هر دو
۲) حداکثر دو تا دروغگو هست.
میشد هم از اول با توجه به این که گزاره ی C دو وضعیت داره توی A و B به این نتیجه رسید که ارزش این دو نمیتونه یکسان باشه و به همین ترتیب ادامه میدادیم.
نقل قول این ارسال در یک پاسخ

ارسال:
  

arash691 پاسخ داده:

RE: سوال مشابه منطق ارشد ۹۳

(۰۷ اسفند ۱۳۹۵ ۰۲:۳۸ ب.ظ)Pure Liveliness نوشته شده توسط:  سلام.
اگه E راستگو باشه اونوقت F راستگو و C دروغگو هست.
…….حالا که F راستگو هست پس باید B دروغگو باشه.
…….حالا که C دروغگو هست باید عبارت "شخص D راستگو و E دروغگوست." دروغ باشه، یعنی یا D دروغگو هست و یا E راستگو هست.
چون طبق صورت سوال بیش از ۲ دروغگو نداریم و تا اینجا دو تا دروغگو مشخص شده (C و B) پس D نمیتونه دروغگو باشه، پس D راستگو هست و E هم راستگو هست.
………….حالا که D راستگو هست پس باید F راستگو باشه.
…………………..حالا که F راستگو هست پس باید B دروغگو باشه. (تناقض نخوردیم پس و درسته)
…………حالا که E راستگو هست… -> اینو قبلا بررسی کردیم.
گزاره ی A رو بهش نرسیدیم چون C دروغگو هست پس Aراستگو هست.
حالا برای اطمینان اینایی که به دست آوردیم رو یه بار دیگه بررسی میکنیم.
A: راستگو، پس C دروغگو. درست.
B: دروغگو، پس یا C دروغگو و یا A راستگو، که هر دوش درست هست و اینم درسته و تا اینجا هم به تناقض نرسیدیم.
C: دروغگو، پس یا D دروغگو یا E راستگو هست و چون واقعا Eراستگو هست اینم درسته.
D: راستگو، پس F راستگو هست. تا اینجا هم به تناقض نرسیدیم.
E: راستگو پس F راستگو و C دروغگو. اینم اوکی هست.
F: راستگو هست پس B دروغگو هست که واقعا هم هست پس درست هست.
پس به تناقض نرسیدیم. و استدلالتون درست هست. نکاتش اینا هست:
۱) [tex](a\wedge b)'=a'\vee b'[/tex] و نه لزوما هر دو
۲) حداکثر دو تا دروغگو هست.
میشد هم از اول با توجه به این که گزاره ی C دو وضعیت داره توی A و B به این نتیجه رسید که ارزش این دو نمیتونه یکسان باشه و به همین ترتیب ادامه میدادیم.

ممنون دوست عزیز
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  سوال ۱۱۵- مهندسی ۹۶- منطق مرتبه اول mzi ۰ ۱,۶۹۸ ۲۱ فروردین ۱۳۹۷ ۰۵:۰۵ ب.ظ
آخرین ارسال: mzi
  سوال از منطق ss311 ۰ ۱,۲۸۵ ۲۹ بهمن ۱۳۹۶ ۰۱:۰۹ ب.ظ
آخرین ارسال: ss311
  سوال از منطق ss311 ۰ ۱,۱۷۰ ۲۹ بهمن ۱۳۹۶ ۱۱:۳۴ ق.ظ
آخرین ارسال: ss311
Question راهنمایی برای کتاب مبانی منطق و نظریه مجموعه ها (help me plz ) fimen ۳ ۸,۹۲۱ ۱۴ آبان ۱۳۹۶ ۰۶:۳۰ ب.ظ
آخرین ارسال: agha_Yahya
  حل چند سوال؟ برنامه سازی منطق baharkhanoom ۰ ۱,۷۶۶ ۰۱ تیر ۱۳۹۶ ۰۱:۲۳ ب.ظ
آخرین ارسال: baharkhanoom
  سراسری ۸۸ - منطق مرتبه اول ali.majed.ha ۲ ۲,۶۱۸ ۱۸ فروردین ۱۳۹۶ ۱۱:۳۹ ق.ظ
آخرین ارسال: ali.majed.ha
Photo استنتاج در منطق مرتبه اول - ارشد ۹۵ آی تی hamedy20 ۱ ۱,۹۵۲ ۲۰ بهمن ۱۳۹۵ ۰۱:۰۰ ب.ظ
آخرین ارسال: M a h d i
  مهندسی کامپیوتر ۸۳ (سوال از منطق مرتبه ی اول) Hopegod ۷ ۳,۱۶۰ ۱۲ بهمن ۱۳۹۵ ۱۰:۴۵ ب.ظ
آخرین ارسال: M a h d i
  درخواست کتاب منطق فازیgeorge bojadziev omidi95 ۰ ۱,۱۷۵ ۱۲ بهمن ۱۳۹۵ ۱۲:۴۷ ب.ظ
آخرین ارسال: omidi95
  منطق it95 Hopegod ۵ ۲,۶۷۰ ۱۰ بهمن ۱۳۹۵ ۱۰:۳۵ ب.ظ
آخرین ارسال: Hopegod

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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