سوال ۷۳ کنکور ارشد مهندسی کامپیوتر ۱۴۰۳ — دو عبارت زیر را در نظر بگیرید (که در آن ⊨ نشان‌دهنده استلزام منطقی /

Question

دو عبارت زیر را در نظر بگیرید (که در آن $\models$ نشان‌دهنده استلزام منطقی / نتیجه معنایی است):

$P_۱ : (a \wedge b) \models (a \vee b)$ $P_۲ : (a \wedge b) \models (a \wedge b)$

کدام مورد، درست است؟

Accepted Answer

هر دو عبارت، P_۱ و P_۲ ، درست هستند.

Answer

هر دو عبارت P_۱ و P_۲ ، نادرست هستند.

Answer

P_۱ درست است، ولی P_۲ نادرست است.

Answer

P_۱ نادرست است، ولی P_۲ درست است.