Solved

1 (∀X)(Hx ⊃ ∼Jx)
2 $\lor$ Hx)
E) ∼(Ia $\lor$

Question 207

Multiple Choice

1. (∀x) (Hx ⊃ ∼Jx)
2. (∀x) (Ix ⊃ Jx)
3. Ha • Ib
-Which of the following propositions is derivable from the given premises in M?

A) (∀x) ∼Jx
B) (∀x) Jx
C) ∼(Ix • Hx)
D) ∼(Ix $\lor$ Hx)
E) ∼(Ia $\lor$ Hb)

Related Questions

Q202: refer to the following formula: (∃x)[Mx

Q203: derive the conclusions of each of

Q204: Translate each sentence into predicate logic, using

Q205: refer to the following formula: (∃x)[(Ax

Q206: construct a model for each of

Q208: Translate each of the following sentences into

Q209: For each of the following sentences,

Q210: construct a model for each of the

Q211: select the best translation into predicate

Q212: 1. (∀x)(Ax ⊃ Bx)<br>2. (∃x)Ax<br>3. (∃x)Bx ⊃