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

حذف علامت <= در سورهای تودرتو

ارسال:
  

fe_atash پرسیده:

حذف علامت <= در سورهای تودرتو

برای حذف علامت <= در سورهای تودرتو صفحه ۲۳۳ کتاب پوران قسمتی که داره عبارات منطق مرتبه اول رو به فرم CNF تبدیل میکنه.

(بگذریم که همین بخش رو به فرمی که خیلی غلط و مبهم به نظر میرسه در صفحه ۳۴۸ کتاب راسل ترجمه راحتی-چاپ هشتم سال ۱۳۸۸ حل کرده)

و اما در فصل هشتم کتاب پوران صفحه ۲۳۳:

[تصویر:  61573_1_1379096282.jpg]

آیا همیشه اینکارو میکنیم؟
آخه تو تست ۱۳ همین بخش

[تصویر:  61573_2_1379096282.jpg]


یعنی اومده علامت نقیض رو قبل از ∀ x گذاشته.که اگر میخواست مثل مورد بعدی ،بعد از ∀ x بذاره.جواب خیلی متفاوت بود.

و حالا کدوم درسته؟

۰
ارسال:
  

mfXpert پاسخ داده:

حذف علامت <= در سورهای تودرتو

هر دو تصویر قرار داده شده راه حل رو درست رفتن و هیچ اشتباهی وجود نداره.تو سور نوشته شده تو تصویر اول کل عبارت آورده شده بعد از سور "به ازای هر x" متعلق به همین سور هستش.اما تو سور موجود تو تصویر دوم قسمت H متعلق به سور "به ازای هر x" نیست.شما اگر این نکته رو در نظر بگیرید حل دیگه

۰
ارسال:
  

مورتن پاسخ داده:

حذف علامت <= در سورهای تودرتو

همون عبارت اول یک کروشه جا انداخته. x(S(x,R)→L(x,G)]⋁H® x∀~

۰
ارسال:
  

fe_atash پاسخ داده:

حذف علامت <= در سورهای تودرتو

فکر میکنم منظوره منو خوب متوجه نشدید
بحث سره کروشه نیست
بحث سره مکان علامته نقیضه که باید همیشه قبل از علامت سور بیاد یا بعد از سور (وقتی میخوایم علامت<== رو حذف کنیم)

تو شکل اول وقتی <== رو حذف کرده علامت نقیض رو بعد از سور اولی آورده و گذاشتش پشت ِ عبارت جلوی سور
مثل این (جمله)~ x∀

ولی تو شکل دوم دقیقا نقیض رو گذاشته پشت علامت سور
مثل این (جمله) x∀~

و موضوع اصلا کروشه و اعمال قضیه دمورگان و اینا نیست.

۰
ارسال:
  

mfXpert پاسخ داده:

RE: حذف علامت <= در سورهای تودرتو

تو فایل پیوست توضیح دادم


فایل‌(های) پیوست شده

۰
ارسال:
  

fe_atash پاسخ داده:

حذف علامت <= در سورهای تودرتو

نه آقای mfXpert Sad
تو تصویر دوم هم اول اومده علامت شرط رو حذف کرده و از اون تساوی اول که نوشتید استفاده کرده بعد از تساوی دوم که نوشتید

قسمته دومشو مشکل ندارم
چرا کسی متوجه مشکل من نمیشه Sad
ببینید خیلی واضحه‌ها تو تصویر اول علامت شرط رو برداشته و بجاش OR گذاشته.اون وقت نقیض رو گذاشته جلوی سورعمومی قبل از جمله
ولی تصویر دوم علامت شرط رو برداشته و بجاش OR گذاشته .اما نقیض رو گذاشته پشته سور عمومی و بعدش از اون قضیه استفاده کرده که سور عمومی تبدیل به سور وجودی شده و نقیض رفته پشته جمله قرار گرفته.

این که کدوم راه رو بریم باعث میشه جواب خیلی فرق کنه.

۰
ارسال:
  

mfXpert پاسخ داده:

حذف علامت <= در سورهای تودرتو

نقل قول: تو تصویر دوم هم اول اومده علامت شرط رو حذف کرده و از اون تساوی اول که نوشتید استفاده کرده بعد از تساوی دوم که نوشتید
قسمته دومشو مشکل ندارم
نمیدونم.شاید دقت کافی نداشتم.به هر حال الان دیگه هیچ کدوم از اون دو تا تصویر برا من نمایش داده نمیشه تا یه بار دیگه یه نگاهی بندازم

ارسال:
  

fe_atash پاسخ داده:

RE: حذف علامت <= در سورهای تودرتو

(۱۶ دى ۱۳۹۰ ۱۱:۲۵ ب.ظ)mfXpert نوشته شده توسط:  
نقل قول: تو تصویر دوم هم اول اومده علامت شرط رو حذف کرده و از اون تساوی اول که نوشتید استفاده کرده بعد از تساوی دوم که نوشتید
قسمته دومشو مشکل ندارم
نمیدونم.شاید دقت کافی نداشتم.به هر حال الان دیگه هیچ کدوم از اون دو تا تصویر برا من نمایش داده نمیشه تا یه بار دیگه یه نگاهی بندازم

اینم تصاویر..واسه من که دیده میشن

تصویر دوم:



تصویر اول:


یافتن تمامی ارسال‌های این کاربر

۰
ارسال:
  

goldoonehkhanoom پاسخ داده:

حذف علامت <= در سورهای تودرتو

نقیض رو در عبارت اول باید پشت سورعمومی بذاره.ظاهراپوران اشتباه کرده.نمیدونم.دوستان اشکال کجاست؟؟؟؟



پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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