سلام
یکی از تست های سراسری ۸۲ هست که در مورد استدلال منطقیه
جوابشم اینه "بهزاد قاتل پویا است یا حمید قاتل بهزاد است"
میخاستم صورت سوالشو بنویسم ولی خیلی زیاده و تو قسمت فرمول هم همشو قبول نمی کرد یکجا بنویسه
اینو متوجه نشدم که منطقش چیه و چجوری حل میشه ممنون میشم اگه راهنمایی کنین
به روش resolution حل میشه.
تو این سوال گزینه ۱ و ۲ رده چون چیزی در موردش تو KB نداریم ولی با رزولوشن میتونیم بفهمیم بهزاد قاتل پویا است و چون گزینه ۳ ترکیب فصلی این جمله هست با یک جمله غلط و ما ثابت کردیم ارزش یکیش حتما true هست پس ترکیب فصلیش حتما true میشه.
(تو حل المسائل رامین رهنمون اینجوری توضیح داده بود)