۰
subtitle
ارسال: #۱
حذف علامت <= در سورهای تودرتو
برای حذف علامت <= در سورهای تودرتو صفحه ۲۳۳ کتاب پوران قسمتی که داره عبارات منطق مرتبه اول رو به فرم 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 بذاره.جواب خیلی متفاوت بود.
و حالا کدوم درسته؟
(بگذریم که همین بخش رو به فرمی که خیلی غلط و مبهم به نظر میرسه در صفحه ۳۴۸ کتاب راسل ترجمه راحتی-چاپ هشتم سال ۱۳۸۸ حل کرده)
و اما در فصل هشتم کتاب پوران صفحه ۲۳۳:
![[تصویر: 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 بذاره.جواب خیلی متفاوت بود.
و حالا کدوم درسته؟