نتیجه ای که می گیریم باید درست(true) باشه ولی تو این سوال چون E تو تالی هیچکدوم از عبارتها نیست پس با قطعیت نم تونیم بگیم که درسته... گزینه ۲

[tex]-E\vee -R\vee B[/tex]
[tex]-E\vee R\vee P\vee L[/tex]
[tex]-K\vee B[/tex]
[tex]-L\vee -B[/tex]
[tex]-P\vee -K[/tex]


اول جملات رو به حالت استاندارد مینویسیم
بعدا میام نقیض هر گزینه رو به پایگاه دانش اضافه میکنیم اگه به تناقض رسییم یعنی اون جمله در پایگاه دانش و.جود داره

مثلا واسه گزینه اول
[tex]-K\vee -E\vee R[/tex]

میایم نقیض اش رو
[tex]K\wedge E\wedge -R[/tex]

اینو اضافه کنیم راحت به تناقض میرسیم خودتون امتحان کنید خیلی طولانی میشه نمیدونم چجوری بنویسم(اما رو برگه راحت جواب پیدا میشه)
ولی گزینه ۲ با نقیض اش به تناقض نمیرسیم

برای گزینه ۲ نقیضش می شه [tex]\overline{E}\vee \overline{P}[/tex]

چجوری براش رزولوشن رو انجام می دیم؟

(۰۸ بهمن ۱۳۹۲ ۰۱:۱۰ ب.ظ)tayebe68 نوشته شده توسط:  برای گزینه ۲ نقیضش می شه [tex]\overline{E}\vee \overline{P}[/tex]

چجوری براش رزولوشن رو انجام می دیم؟

خوب اینو با هر کدوم از جملات پایگاه در نظر میگیرم
هیچ چیز جدیدی از پایگاه استخراج نمیشه به تناقضی هم نمیرسیم