سلام . دوستان این چطوری حل شده؟
من فکر میکنم باید هر کدوم که بتونم OR کنیم هر دو مولفش میتونه استنتاج بشه ولی درست نیست گویا
۸۲- کدام مورد قابل استنتاج ((""نیست))؟
b-->-E
A--->(B or c)
-c or D
-(D or -E)
or همون فصل هست
گزینه های
E
A
-D
-C
گزینه ی صحیح ۲ هست
ممنون میشم راهنمایی کنید
دوست عزیز اون - همون نقیضه یا چجوریاس ؟؟
(۱) : 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 نوشته شده توسط:نه دیگه . شما وقتی داری ~ رو وارد پرانتز میکنی اون ~ رو همه کاراکترات اعمال میشه . یعنی هم رو D که میشه ~D و هم رو ~e که میشه E(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~ and E که اینم با ساده سازی میتونی نتیجه بگیری که یه E میمونه با یه ~D
ممنون.همین من مشکلم اینکه این رو چطوری ساده سازی میکنی و به نتیجه میرسی
D- and E
اگه جا به جا شده بخونید ( نقیض دی اند میشه با ای)
همین رو شما یه توضیح بدید الان از این چی میشه استناج کرد؟
ممنونم
الان از این یدونه e استنتاج میشه و یدونه ~d
با توجه به خاصیت ساده سازی عطفی
ساده سازی عطفی نیگه وقتی ما یه گزاره p داریم که and شده با q میتونیم p و q رو از داخلش استنتاج کنیم
الان شما p رو c در نظر بگیر و ~d رو q در نظر بگیر
پس طبق این خاصیت به نتیجه بالا میرسیم .