(۱۷ آبان ۱۳۹۲ ۱۰:۰۰ ب.ظ)mahmood1 نوشته شده توسط:  سلام.
این سوال هدفی جز گرفتن وقت داوطلب نداره و احتمالاً از میان‌ترم‌های دانشگاهی خارج از کشور به صورت تست تهیه شده باشه!

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

یک روش دیگه هم نسبتاً طولانی هست اینکه همه‌ی اعضای پایگاه دانش رو باز کنیم و همه‌ی گزینه‌ها رو هم باز کنیم و سعی کنیم که گزینه‌ها رو از عبارت‌های پایگاه دانش نتیجه بگیریم و قوانین استنتاج، حذف عطف و اضافه کردن فصل رو هم به کار ببریم


پایگاه دانش به شکل زیر خواهد بود در نهایت:
[tex]\\ 1.\ p\vee x\\ 2.\ q\vee x\\ 3.\ \sim q\vee \sim r\\ 4.\ \sim q \vee w\\ 5.\ \sim r \vee \sim w\\ 6.\ \sim p \vee w \vee r\\ 7.\ r\vee p\\ 8.\ r\vee \sim q\\ 9.\ r\vee q\\ 10.\ r\vee \sim p[/tex]

گزینه‌ها رو هم میشه باز کرد و از عبارات بالا نتیجه‌ی نهایی رو گرفت...