سوال 89

حل تشریحی سوال شماره 89 مجموعه دروس تخصصی مشترک

کنکور ارشد مهندسی فناوری اطلاعات (IT) 1400

89.

کدام گزاره درست است؟

$F = α$ یک جمله همیشه درست (tautology) است.

$K B = α$ آنگاه $\neg K B = α$ یک جمله همیشه نادرست است.

اگر $K B = α$ آنگاه $K B \land \neg α$ ارضاپذیر (satisfiable) است.

فرض کنید هرگاه برای یک مدل m، جمله $α$ درست برای آن مدل جمله $β$ هم درست است، در این صورت می‌توان نتیجه گرفت $α \equiv β$ .

0 پاسخ

تا کنون پاسخی برای این سوال وارد نشده است،