(۱۲ بهمن ۱۳۹۲ ۰۸:۳۰ ب.ظ)tayebe68 نوشته شده توسط:  یه قسمتای این سوال
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
بحث شده ولی من جوابمو نگرفتم!

به نظر من هم یک و هم چهار نادرستند ؟

آیا من اشتباه می کنم یا سنجش که میگه فقط گزینه چهار نادرسته ؟؟

این قبلا چند بار پرسیده شده و تو انجمن هست
توی کتابها راهیان بهترین جواب را داده بود ولی آخرش قانع نشدم
راهیان سه گزینه درست را با عبارات منطقی از طرف اول به طرف دوم رسیده بود و اثبات کرده بود که هم ارز هستند
ولی گزینه غلط را با چند تا جمله ی عجیب ، رد کرده بود ، در صورتی که گزینه غلط را هم با همون اثبات های منطقی میشد هم ارزیشو ثابت کرد. در کل من نظرم اینه که سوال از اون سوال حفظیاست

به نظر من شما اشتباه می کنید.

اگر a v b|=y باشه یعنی هر کدوم از a یا b اگر true باشن در نتیجه y هم باید true باشه. برای بررسی a|=y باید دید که آیا حالتی پیدا می شه که a برابر true باشه اما y برابر false که با توجه به فرض اولیه چنین چیزی نیست.


اما برای گزینه ی ۴ فرضمون a^b |=y هست بنابراین اگر a برابر true باشه ممکنه b مقدارش false باشه و a|=y غلط در بیاد.

درسته، متوجه شدم، انگاری موقع تحلیل بی دقتی کردم

سپاس