دوست عزیز اون - همون نقیضه یا چجوریاس ؟؟

---

(۱) : b-> ~E
(۲): A->B or C
(۳): C or ~D
(۴) : ~(D or ~E )
با یه ساده سازی عطفی روی ۴ میرسی به (۵): d~ و (۶) : E
با قیاس تعدی روی ۱ و ۶ میرسی به (۷) : B~
با یه ترکیب فصلی روی ۷ میرسی به B~ or C یا همون(۸) : B->C
حالا با قیاس فصلی روی ۸ و ۷ میرسی به c~
ولی ۲ رو نمیتونی تولید کنی

(۰۸ دى ۱۳۹۳ ۱۱:۵۸ ب.ظ)ardaaalan نوشته شده توسط:  دوست عزیز اون - همون نقیضه یا چجوریاس ؟؟

---

(۱) : b-> ~E
(۲): A->B or C
(۳): C or ~D
(۴) : ~(D or ~E )
با یه ساده سازی عطفی روی ۴ میرسی به (۵): d~ و (۶) : E
با قیاس تعدی روی ۱ و ۶ میرسی به (۷) : B~
با یه ترکیب فصلی روی ۷ میرسی به B~ or C یا همون(۸) : B->C
حالا با قیاس فصلی روی ۸ و ۷ میرسی به c~
ولی ۲ رو نمیتونی تولید کنی

یسلام
ممنون از پاسخ تون. اره همونه

من این قسمتش رو مشکل دارم که (خط اول پاسخ تون)

با یه ساده سازی عطفی روی ۴ میرسی به (۵): d~ و (۶) : E

خوب وقتی (۴) : ~(D or ~E )

رو ساده میکنیم میرسیم به (-D ^ E) .

خب با این وجود الان چطوری E رو ازش استنتاج میکنیم در صورتی که بینشون AND هست؟ من فکر میکنم وقتی میشه

E رو استناج کرد که بین مورد بالا یعنی (-D ^ E) . یه ترکیب فصلی یعنی or باشه و اینجوری میشه E یا -D رو استنتاج کرد

ملاک برای استنتاج چیه؟

(۰۹ دى ۱۳۹۳ ۰۱:۱۳ ق.ظ)shishabori نوشته شده توسط:  

(08 دى ۱۳۹۳ ۱۱:۵۸ ب.ظ)ardaaalan نوشته شده توسط:  دوست عزیز اون - همون نقیضه یا چجوریاس ؟؟

---

(۱) : b-> ~E
(۲): A->B or C
(۳): C or ~D
(۴) : ~(D or ~E )
با یه ساده سازی عطفی روی ۴ میرسی به (۵): d~ و (۶) : E
با قیاس تعدی روی ۱ و ۶ میرسی به (۷) : B~
با یه ترکیب فصلی روی ۷ میرسی به B~ or C یا همون(۸) : B->C
حالا با قیاس فصلی روی ۸ و ۷ میرسی به c~
ولی ۲ رو نمیتونی تولید کنی

یسلام
ممنون از پاسخ تون. اره همونه

من این قسمتش رو مشکل دارم که (خط اول پاسخ تون)

با یه ساده سازی عطفی روی ۴ میرسی به (۵): d~ و (۶) : E

خوب وقتی (۴) : ~(D or ~E )

رو ساده میکنیم میرسیم به (-D ^ E) .

خب با این وجود الان چطوری E رو ازش استنتاج میکنیم در صورتی که بینشون AND هست؟ من فکر میکنم وقتی میشه

E رو استناج کرد که بین مورد بالا یعنی (-D ^ E) . یه ترکیب فصلی یعنی or باشه و اینجوری میشه E یا -D رو استنتاج کرد

ملاک برای استنتاج چیه؟

نه دیگه . شما وقتی داری ~ رو وارد پرانتز میکنی اون ~ رو همه کاراکترات اعمال میشه . یعنی هم رو D که میشه ~D و هم رو ~e که میشه E
میشه D~ and E که اینم با ساده سازی میتونی نتیجه بگیری که یه E میمونه با یه ~D

ممنون.همین من مشکلم اینکه این رو چطوری ساده سازی میکنی و به نتیجه میرسی
D- and E
اگه جا به جا شده بخونید ( نقیض دی اند میشه با ای)
همین رو شما یه توضیح بدید الان از این چی میشه استناج کرد؟
ممنونم

الان از این یدونه e استنتاج میشه و یدونه ~d
با توجه به خاصیت ساده سازی عطفی
ساده سازی عطفی نیگه وقتی ما یه گزاره p داریم که and شده با q میتونیم p و q رو از داخلش استنتاج کنیم
الان شما p رو c در نظر بگیر و ~d رو q در نظر بگیر
پس طبق این خاصیت به نتیجه بالا میرسیم .