(∃X)(∃y)(Axy • X=y) ⊃ (∃X)Axx
-Which of the Following Propositions $\lor$

question 33

Multiple Choice

(∃x) (∃y) (Axy • x=y) ⊃ (∃x) Axx
-Which of the following propositions is also derivable in F?

• A) ~(∃x)(∃y)(Axy • x=y) ⊃ (∃x)Axx
• B) (∀x)(∀y)(Axy ⊃ x≠y) \( \lor \) (∃x)Axx
• C) (∀x)~Axx ⊃ ~(∀x)(∀y)(Axy ⊃ x≠y)
• D) ~(∃x)Axx ⊃ (∀x)(∀y)(Axy • x=y)
• E) ~(∃x)(∃y)(Axy • x=y) \( \lor \) (∀x)~Axx