برای حذف علامت <= در سورهای تودرتو صفحه ۲۳۳ کتاب پوران قسمتی که داره عبارات منطق مرتبه اول رو به فرم CNF تبدیل میکنه.
(بگذریم که همین بخش رو به فرمی که خیلی غلط و مبهم به نظر میرسه در صفحه ۳۴۸ کتاب راسل ترجمه راحتی-چاپ هشتم سال ۱۳۸۸ حل کرده)
و اما در فصل هشتم کتاب پوران صفحه ۲۳۳:
![[تصویر: 61573_1_1379096282.jpg]](https://img.manesht.ir/61573_1_1379096282.jpg)
آیا همیشه اینکارو میکنیم؟
آخه تو تست ۱۳ همین بخش
![[تصویر: 61573_2_1379096282.jpg]](https://img.manesht.ir/61573_2_1379096282.jpg)
یعنی اومده علامت نقیض رو قبل از ∀ x گذاشته.که اگر میخواست مثل مورد بعدی ،بعد از ∀ x بذاره.جواب خیلی متفاوت بود.
و حالا کدوم درسته؟
همون عبارت اول یک کروشه جا انداخته. x(S(x,R)→L(x,G)]⋁H® x∀~
فکر میکنم منظوره منو خوب متوجه نشدید
بحث سره کروشه نیست
بحث سره مکان علامته نقیضه که باید همیشه قبل از علامت سور بیاد یا بعد از سور (وقتی میخوایم علامت<== رو حذف کنیم)
تو شکل اول وقتی <== رو حذف کرده علامت نقیض رو بعد از سور اولی آورده و گذاشتش پشت ِ عبارت جلوی سور
مثل این (جمله)~ x∀
ولی تو شکل دوم دقیقا نقیض رو گذاشته پشت علامت سور
مثل این (جمله) x∀~
و موضوع اصلا کروشه و اعمال قضیه دمورگان و اینا نیست.
تو فایل پیوست توضیح دادم
نه آقای mfXpert
تو تصویر دوم هم اول اومده علامت شرط رو حذف کرده و از اون تساوی اول که نوشتید استفاده کرده بعد از تساوی دوم که نوشتید
قسمته دومشو مشکل ندارم
چرا کسی متوجه مشکل من نمیشه
ببینید خیلی واضحه‌ها تو تصویر اول علامت شرط رو برداشته و بجاش OR گذاشته.اون وقت نقیض رو گذاشته جلوی سورعمومی قبل از جمله
ولی تصویر دوم علامت شرط رو برداشته و بجاش OR گذاشته .اما نقیض رو گذاشته پشته سور عمومی و بعدش از اون قضیه استفاده کرده که سور عمومی تبدیل به سور وجودی شده و نقیض رفته پشته جمله قرار گرفته.
این که کدوم راه رو بریم باعث میشه جواب خیلی فرق کنه.
نقل قول: تو تصویر دوم هم اول اومده علامت شرط رو حذف کرده و از اون تساوی اول که نوشتید استفاده کرده بعد از تساوی دوم که نوشتیدنمیدونم.شاید دقت کافی نداشتم.به هر حال الان دیگه هیچ کدوم از اون دو تا تصویر برا من نمایش داده نمیشه تا یه بار دیگه یه نگاهی بندازم
قسمته دومشو مشکل ندارم
(۱۶ دى ۱۳۹۰ ۱۱:۲۵ ب.ظ)mfXpert نوشته شده توسط:نقل قول: تو تصویر دوم هم اول اومده علامت شرط رو حذف کرده و از اون تساوی اول که نوشتید استفاده کرده بعد از تساوی دوم که نوشتیدنمیدونم.شاید دقت کافی نداشتم.به هر حال الان دیگه هیچ کدوم از اون دو تا تصویر برا من نمایش داده نمیشه تا یه بار دیگه یه نگاهی بندازم
قسمته دومشو مشکل ندارم
اینم تصاویر..واسه من که دیده میشن
تصویر دوم:
[attachment=2302]
تصویر اول:
[attachment=2301]
نقیض رو در عبارت اول باید پشت سورعمومی بذاره.ظاهراپوران اشتباه کرده.نمیدونم.دوستان اشکال کجاست؟؟؟؟
هر دو تصویر قرار داده شده راه حل رو درست رفتن و هیچ اشتباهی وجود نداره.تو سور نوشته شده تو تصویر اول کل عبارت آورده شده بعد از سور "به ازای هر x" متعلق به همین سور هستش.اما تو سور موجود تو تصویر دوم قسمت H متعلق به سور "به ازای هر x" نیست.شما اگر این نکته رو در نظر بگیرید حل دیگه