(۲۹ دى ۱۳۹۳ ۱۲:۰۰ ق.ظ)همیلا نوشته شده توسط: سلام
بازم من و اشکالاتم
تو سوال ۸۲ ایتی ازمون ۴ مدرسان
تو اینجور سوال ها نقیض گزاره رو به پایگاه اضافه میکنیم و بع اگه رزولوشن زدیم به تهی رسیدیم میشه اون گزینه رو از پایگاه نتیجه گرفت این
جمله درست هست؟تو این سوال وقتی نقیض گزینه رو به پایگاه اضافه میکنیمبه تهی نمیرسیم اخه
lvsd
این سوال که رزولوشن نیست
این فقط استنتاجه!
شما این جمله هایی که داری همه true هستن
مثلا جمله ۴ برای این که هنیشه درست باشه
نقیض D
E
باید هردو true باشن
همینجا گزینه ۱و۳ رد شد
حالا از اونجا که نقیض C
و D
or شون باید ترو باشه
و میدونیم D فالس هست
پس نقیضC ترو میشه و گزینه ۴ هم رد میشه