∼(∃x) (Px • Qx) ≡ (∀x) (Px ⊃ ∼Qx)
-Consider assuming '∼(∃x) (Px • Qx) ' for a conditional proof of one direction of the biconditional in the above logical truth. Which of the following propositions is a legitimate second step in that proof?
A) (∀x) ∼ (Px • Qx)
B) Px ⊃ ∼Qx
C) Px • Qx
D) Pc • Qc
E) ∼(∀x) (Px ⊃ ∼Qx)
Correct Answer:
Verified
Q124: 1. (∀x)[(Px Q125: 1. (∃x)Qx ⊃ (∀x)(Rx ⊃ Sx) Q126: 1. (∃x)Qx ⊃ (∀x)(Rx ⊃ Sx) Q127: (∃x)(Px • Qx) ⊃ [(∃x)Px • (∃x)Qx] Q128: (∃x)(Px • Qx) ⊃ [(∃x)Px • (∃x)Qx] Q130: ∼(∃x)(Px • Qx) ≡ (∀x)(Px ⊃ Q131: Things are pleasant if, and only if, Q132: Things are pleasant if, and only if, Q133: Things are pleasant if, and only Q134: Everything is material, or ideal or
2. (∀x)∼Qx
2. (∀x)∼Qx
-Consider
-Which
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