۰
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 بذاره.جواب خیلی متفاوت بود.
و حالا کدوم درسته؟
۰
ارسال: #۲
  
حذف علامت <= در سورهای تودرتو
هر دو تصویر قرار داده شده راه حل رو درست رفتن و هیچ اشتباهی وجود نداره.تو سور نوشته شده تو تصویر اول کل عبارت آورده شده بعد از سور "به ازای هر x" متعلق به همین سور هستش.اما تو سور موجود تو تصویر دوم قسمت H متعلق به سور "به ازای هر x" نیست.شما اگر این نکته رو در نظر بگیرید حل دیگه
۰
ارسال: #۳
  
حذف علامت <= در سورهای تودرتو
همون عبارت اول یک کروشه جا انداخته. x(S(x,R)→L(x,G)]⋁H® x∀~
۰
ارسال: #۴
  
حذف علامت <= در سورهای تودرتو
فکر میکنم منظوره منو خوب متوجه نشدید
بحث سره کروشه نیست
بحث سره مکان علامته نقیضه که باید همیشه قبل از علامت سور بیاد یا بعد از سور (وقتی میخوایم علامت<== رو حذف کنیم)
تو شکل اول وقتی <== رو حذف کرده علامت نقیض رو بعد از سور اولی آورده و گذاشتش پشت ِ عبارت جلوی سور
مثل این (جمله)~ x∀
ولی تو شکل دوم دقیقا نقیض رو گذاشته پشت علامت سور
مثل این (جمله) x∀~
و موضوع اصلا کروشه و اعمال قضیه دمورگان و اینا نیست.
بحث سره کروشه نیست
بحث سره مکان علامته نقیضه که باید همیشه قبل از علامت سور بیاد یا بعد از سور (وقتی میخوایم علامت<== رو حذف کنیم)
تو شکل اول وقتی <== رو حذف کرده علامت نقیض رو بعد از سور اولی آورده و گذاشتش پشت ِ عبارت جلوی سور
مثل این (جمله)~ x∀
ولی تو شکل دوم دقیقا نقیض رو گذاشته پشت علامت سور
مثل این (جمله) x∀~
و موضوع اصلا کروشه و اعمال قضیه دمورگان و اینا نیست.
۰
۰
ارسال: #۶
  
حذف علامت <= در سورهای تودرتو
نه آقای mfXpert ![Sad Sad](images/smilies/sad.gif)
تو تصویر دوم هم اول اومده علامت شرط رو حذف کرده و از اون تساوی اول که نوشتید استفاده کرده بعد از تساوی دوم که نوشتید
قسمته دومشو مشکل ندارم
چرا کسی متوجه مشکل من نمیشه![Sad Sad](images/smilies/sad.gif)
ببینید خیلی واضحهها تو تصویر اول علامت شرط رو برداشته و بجاش OR گذاشته.اون وقت نقیض رو گذاشته جلوی سورعمومی قبل از جمله
ولی تصویر دوم علامت شرط رو برداشته و بجاش OR گذاشته .اما نقیض رو گذاشته پشته سور عمومی و بعدش از اون قضیه استفاده کرده که سور عمومی تبدیل به سور وجودی شده و نقیض رفته پشته جمله قرار گرفته.
این که کدوم راه رو بریم باعث میشه جواب خیلی فرق کنه.
![Sad Sad](images/smilies/sad.gif)
تو تصویر دوم هم اول اومده علامت شرط رو حذف کرده و از اون تساوی اول که نوشتید استفاده کرده بعد از تساوی دوم که نوشتید
قسمته دومشو مشکل ندارم
چرا کسی متوجه مشکل من نمیشه
![Sad Sad](images/smilies/sad.gif)
ببینید خیلی واضحهها تو تصویر اول علامت شرط رو برداشته و بجاش OR گذاشته.اون وقت نقیض رو گذاشته جلوی سورعمومی قبل از جمله
ولی تصویر دوم علامت شرط رو برداشته و بجاش OR گذاشته .اما نقیض رو گذاشته پشته سور عمومی و بعدش از اون قضیه استفاده کرده که سور عمومی تبدیل به سور وجودی شده و نقیض رفته پشته جمله قرار گرفته.
این که کدوم راه رو بریم باعث میشه جواب خیلی فرق کنه.
۰
ارسال: #۷
  
حذف علامت <= در سورهای تودرتو
نقل قول: تو تصویر دوم هم اول اومده علامت شرط رو حذف کرده و از اون تساوی اول که نوشتید استفاده کرده بعد از تساوی دوم که نوشتیدنمیدونم.شاید دقت کافی نداشتم.به هر حال الان دیگه هیچ کدوم از اون دو تا تصویر برا من نمایش داده نمیشه تا یه بار دیگه یه نگاهی بندازم
قسمته دومشو مشکل ندارم
ارسال: #۸
  
RE: حذف علامت <= در سورهای تودرتو
(۱۶ دى ۱۳۹۰ ۱۱:۲۵ ب.ظ)mfXpert نوشته شده توسط:نقل قول: تو تصویر دوم هم اول اومده علامت شرط رو حذف کرده و از اون تساوی اول که نوشتید استفاده کرده بعد از تساوی دوم که نوشتیدنمیدونم.شاید دقت کافی نداشتم.به هر حال الان دیگه هیچ کدوم از اون دو تا تصویر برا من نمایش داده نمیشه تا یه بار دیگه یه نگاهی بندازم
قسمته دومشو مشکل ندارم
اینم تصاویر..واسه من که دیده میشن
تصویر دوم:
![](https://cdn.manesht.ir/2302___43.jpg)
تصویر اول:
![](https://cdn.manesht.ir/2301___54.jpg)
۰
ارسال: #۹
  
حذف علامت <= در سورهای تودرتو
نقیض رو در عبارت اول باید پشت سورعمومی بذاره.ظاهراپوران اشتباه کرده.نمیدونم.دوستان اشکال کجاست؟؟؟؟
موضوعهای مرتبط با این موضوع... |
|||||
موضوع: | نویسنده | پاسخ: | بازدید: | آخرین ارسال | |
حذف اکانت | Alireza_1387 | ۴ | ۵,۵۹۸ |
۱۴ آذر ۱۴۰۱ ۰۸:۲۱ ب.ظ آخرین ارسال: shirin.kh90 |
|
حذف درس برای خواندن کنکور ارشد | sima84 | ۴ | ۴,۸۹۳ |
۲۶ اردیبهشت ۱۳۹۹ ۰۹:۰۰ ب.ظ آخرین ارسال: عزیز دادخواه |
|
حذف از b tree کمک لطفا | Sanazzz | ۰ | ۱,۷۹۲ |
۱۱ بهمن ۱۳۹۷ ۰۹:۳۴ ب.ظ آخرین ارسال: Sanazzz |
|
حذف ضمیر موصولی ☹ | jinubo | ۲ | ۶,۹۱۵ |
۰۱ اردیبهشت ۱۳۹۷ ۰۶:۴۳ ب.ظ آخرین ارسال: jinubo |
|
حذف اضطراری دو درس در ارشد | asalimi | ۰ | ۲,۵۳۹ |
۰۸ آذر ۱۳۹۶ ۰۲:۳۲ ق.ظ آخرین ارسال: asalimi |
|
حذف وزارت علوم | H-Arshad | ۰ | ۱۰ |
۲۱ آبان ۱۳۹۶ ۰۱:۵۲ ب.ظ آخرین ارسال: H-Arshad |
|
با بدهی استقلال و پرسپولیس چند کلاس کپری حذف می شود؟ | H-Arshad | ۰ | ۴ |
۱۱ آبان ۱۳۹۶ ۱۲:۰۹ ق.ظ آخرین ارسال: H-Arshad |
|
حذف فول بک آپ از هاست سی پنل | targol | ۰ | ۱,۷۷۵ |
۲۴ اردیبهشت ۱۳۹۶ ۰۸:۴۹ ب.ظ آخرین ارسال: targol |
|
لطفا کمکم کنید: راهی برای حذف ویروس WNCRY هست؟ | hanie_M | ۱ | ۲,۵۴۵ |
۲۳ اردیبهشت ۱۳۹۶ ۱۲:۱۴ ق.ظ آخرین ارسال: kilookiloo |
|
حذف لینک های نامناسب از سایت | azade1992 | ۰ | ۱,۸۸۶ |
۰۴ اسفند ۱۳۹۵ ۱۲:۲۲ ق.ظ آخرین ارسال: azade1992 |
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close