تالار گفتمان مانشت

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

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

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



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




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

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

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

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

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

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

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

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

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

قسمته دومشو مشکل ندارم
چرا کسی متوجه مشکل من نمیشه

---

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

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

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

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

(16 دى 1390 11:25 ب.ظ)mfXpert نوشته شده توسط: [ -> ]

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

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

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

تصویر دوم:
[attachment=2302]

تصویر اول:

[attachment=2301]

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

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