سوال 88
حل تشریحی سوال شماره 88 مجموعه دروس تخصصی مشترک
کنکور ارشد مهندسی فناوری اطلاعات (IT) 1401
88.
در منطق گزارهای جهت اثبات گزاره از روی پایگاه دانش KB میخواهیم از روش تجزیه استفاده کنیم کدام مورد نادرست است؟
1)
برای این کار نیاز به نمایش خاصی از پایگاه دانش است.
2)
در هر عملیات تجزیه بین دو جزء (clause) دلخواه حتماً یکی از متغیرهای جزء حذف میشود.
3)
اثبات از طریق برهان خلف انجام میشود.
4)
اگر قابل اثبات باشد روش تجزیه حتما آن را اثبات می کند.
پاسخ ها
0 پاسختا کنون پاسخی برای این سوال وارد نشده است،