سوال ۴۴ کنکور ارشد علوم کامپیوتر ۱۴۰۰ — نقیض گزارهٔ زیر کدام است؟ «مجموعه A عضوی دارد که با هیچ عضو مجموعه B…

Question

نقیض گزارهٔ زیر کدام است؟ «مجموعه A عضوی دارد که با هیچ عضو مجموعه B برابر نیست.»

Accepted Answer

∀ x(x ∈ A ⇒ ∃ y(y ∈ B ∧ x = y))

Answer

∀ x(x ∈ A ∧ ∃ y(y ∈ B ∧ x = y))

Answer

∀ x(x ∈ A ⇒ ∀ y(y ∈ B ⇒ x = y))

Answer

∀ x(x ∈ A ⇒ ∃ y(y ∈ B ⇒ x = y))

Formalize the original statement