از دو عبارت زیر، کدام صحیح است؟ الف) جملات ∃ x (P(x) ∧ Q(x)) و ∃ x P(x) ∧ ∃ x Q(x) معادل منطقی هستند. ب) جملات ∃ x (P(x) ∨ Q(x)) و ∃ x P(x) ∨ ∃ x Q(x) معادل منطقی هستند.

سوال ۹۶ کنکور ارشد علوم کامپیوتر ۱۴۰۳

اهمیت

۰/۵

از دو عبارت زیر، کدام صحیح است؟

الف) جملات $\exists x\,(P(x) \wedge Q(x))$ و $\exists x\,P(x) \wedge \exists x\,Q(x)$ معادل منطقی هستند.
ب) جملات $\exists x\,(P(x) \vee Q(x))$ و $\exists x\,P(x) \vee \exists x\,Q(x)$ معادل منطقی هستند.

#predicate-logic#existential-quantifier#quantifier-distribution#logical-equivalence#conjunction#disjunction