(∀x) [Px ⊃ (∃y) Rxy] ⊃ [(∀x) (∀y) ∼Rxy ⊃ ∼(∃x) Px]
-Consider assuming '(∀x) [Px ⊃ (∃y) Rxy]' for a conditional proof of the above logical truth. Which of the
Following propositions is a legitimate second step in that proof?
A) Assume '~(∃x) Px' for a nested conditional proof.
B) Assume '(∀x) (∀y) ∼Rxy' for a nested conditional proof.
C) Assume '~(∀x) (∀y) ~Rxy' for a nested indirect proof.
D) Px ⊃ (∃y) Ryy
E) Py ⊃ (∃y) Ryy
Correct Answer:
Verified
Q50: 1. (∀x)[(Px Q51: 1. (∀x)[Ax ⊃ (∃y)(By • Cxy)] Q52: 1. (∀x)[Ax ⊃ (∃y)(By • Cxy)] Q53: 1. (∀x)[Ax ⊃ (∀y)(By ⊃ Cxy)] Q54: 1. (∀x)[Ax ⊃ (∀y)(By ⊃ Cxy)] Q56: (∀x)[Px ⊃ (∃y)Rxy] ⊃ [(∀x)(∀y)∼Rxy ⊃ ∼(∃x)Px] Q57: (∀x)[Px ⊃ (∃y)Qxy] ⊃ [(∃x)Px ⊃ (∃x)(∃y)Qxy] Q58: (∀x)[Px ⊃ (∃y)Qxy] ⊃ [(∃x)Px ⊃ Q59: [(∀x)Pax • ∼(∃x)Pxa] ⊃ (∀x)(Pax • ∼Pxa) Q60: [(∀x)Pax • ∼(∃x)Pxa] ⊃ (∀x)(Pax •
2. (∃x)(Ax
2. (∃x)(Ax
2. (∃x)[Ex
2.
-Which
-Consider
-Consider
Unlock this Answer For Free Now!
View this answer and more for free by performing one of the following actions
Scan the QR code to install the App and get 2 free unlocks
Unlock quizzes for free by uploading documents