Solved

1 (∀X)Ix ∨ \lor ∼(∃X)Hx
2

Question 247

Multiple Choice

1. (∀x) Ix ∨ \lor ∼(∃x) Hx
2. (∃x) Jx ⊃ ∼(∀x) Ix
3. Hc / (∀x) ∼Jx
-Which of the following propositions is not a likely last line of the indented sequence for an indirect proof of the given argument?


A) Hc • ∼Hc
B) (∃x) Hx • ∼(∃x) Hx
C) Id • ∼Id
D) (∃x) Jx • ∼(∃x) Jx
E) (∀x) Ix • ∼(∀x) Ix

Correct Answer:

verifed

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Related Questions