تالار گفتمان مانشت

گزینه دو و چهار رو چه جوری بررسی کنیم؟

آیا روش میانبر دقیق برای این مسایل می شناسید؟؟

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

[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]

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

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

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

(08 بهمن 1392 01:10 ب.ظ)tayebe68 نوشته شده توسط: [ -> ]برای گزینه ۲ نقیضش می شه [tex]\overline{E}\vee \overline{P}[/tex]

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

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