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

اهمیت

۰/۵

کدام یک از دو عبارت زیر منطقاً معتبر (logically valid) هستند؟ ( $A$ نماد محمولی دو موضعی دلخواه است.)

الف) $\forall x\, \exists y\, A(x,y) \to \exists y\, A(y,y)$

ب) $\exists x\, \exists y\, A(x,y) \to \exists y\, A(y,y)$

#predicate-logic#validity#quantifiers#first-order-logic#counterexample#binary-predicate