Solved

1 (∀X)Ix ⊃ (∀X)Kx
2 ∨ \lor Lx)]
3 ∨ \lor

Question 102

Multiple Choice

1. (∀x) Ix ⊃ (∀x) Kx
2. (∀x) [Jx • (Ix ∨ \lor Lx) ]
3. (∀x) (Jx ⊃ ∼Lx)
-Which of the following propositions is an immediate (one-step) consequence in M of the given premises?


A) Jx • (Iv ∨ \lor Lv)
B) Ix
C) Jx • (Ix ∨ \lor Lx) ]
D) Ix ⊃ Kx
E) Jx ⊃ ∼Lp

Correct Answer:

verifed

Verified

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

Related Questions