(∃x)(∃y)(Axy • x=y) ⊃ (∃x)Axx
-Consider assuming '(∃x)(∃y)(Axy • x=y)' for a conditional proof of the above logical truth. Which of the
Following propositions is a legitimate second step in that proof?
A) (∃y)(Aby • y=y)
B) Assume '(∃x)Axx' for a nested indirect proof.
C) Aaa
D) Aby • b=y
E) (∃y)(Any • n=y)

Question

Quizplus · Accepted Answer

The Answer of (∃x)(∃y)(Axy • x=y) ⊃ (∃x)Axx
-Consider assuming '(∃x)(∃y)(Axy • x=y)' for a conditional proof of the above logical truth. Which of the
Following propositions is a legitimate second step in that proof?
A) (∃y)(Aby • y=y)
B) Assume '(∃x)Axx' for a nested indirect proof.
C) Aaa
D) Aby • b=y
E) (∃y)(Any • n=y)

(∃X)(∃y)(Axy • X=y) ⊃ (∃X)Axx