اینو میتونید true کنید؟!
A
B


Sent from my SM-T210R using Tapatalk

اگه روی نقیض true که false میشه و هر کدام از جملات این KB (یا هر پایگاه دانش دیگه ای) رزولوشن انجام بدیم به تناقض میرسیم پس true همیشه قابل استنتاج هست و false هیچ وقت قابل استنتاج نیست.
کلا پایگاه دانش and یه سری جمله درسته که همیشه به true میرسیم
میشه توضییح بدید که وقتی یه KB میدن و میگن true قابل استنتاج هست یا نه منظور چیه یعنی ما باید از kb به چه برسیم که این نتیجه رو بگیریم من متوجه نمیشم؟

ببینید دوست عزیز اگر منظور شما اینه که وقتی میگن جمله درست کدومه؟در گزینه شما برای تک تک گزینه ها مثلا برای یک عبارت شرطی جمله اول رو true و جمله دوم رو هم false میدی میدونی که نتیجه ما باید false بشه (طبق نکاتی که قبلا خوندی )یعنی جمله غلط بشه اگر با انجام این کار جملت غلطت نشد یعنی به تناقض رسیدی پس بدون این جمله هیچ جور غلط نمیشه و جمله همیشه درسته
البته من این طوری از سوالتون برداشت کردم

موفق باشید.