سوال ۳۶ کنکور ارشد علوم کامپیوتر ۱۴۰۳ — کدام نفی گزاره زیر است؟ « تابع f: A → B دوسویی است. »

Question

کدام نفی گزاره زیر است؟ « تابع f: A → B دوسویی است. »

Accepted Answer

(∃ a, a' ∈ A (a ≠ a' ∧ f(a) = f(a'))) ∨ (∃ b ∈ B ∀ a ∈ A f(a) ≠ b)

Answer

(∃ a, a' ∈ A (a ≠ a' ∧ f(a) = f(a'))) ∧ (∀ a ∈ A ∃ b ∈ B f(a) ≠ b)

Answer

(∃ a, a' ∈ A (f(a) ≠ f(a') ⇒ a ≠ a')) ∨ (∃ b ∈ B ∀ a ∈ A f(a) ≠ b)

Answer

(∃ a, a' ∈ A (f(a) ≠ f(a') ⇒ a ≠ a')) ∨ (∀ a ∈ A ∃ b ∈ B f(a) ≠ b)

Approach