1 (∀X)(∀y)(∀z)[(Ix • Jx • Iy • Jy • Iz $\lor$

Multiple Choice

1. (∀x) (∀y) (∀z) [(Ix • Jx • Iy • Jy • Iz • Jz) ⊃ (x=y $\lor$ y=z $\lor$ x=z) ]
2. Ia • Ja • Ka • Ib • Jb • Kb • a≠b
-Which of the following propositions is derivable from the given premises in F?

A) (∀x) [(Ix • Jx) ≡ (a=x • b=x) ]
B) (∀x) [Kx ⊃ (Ix • Jx) ]
C) (∀x) [(x≠a • x≠b) ⊃ ~(Jx $\lor$ Ix) ]
D) (∀x) [(Ix • Lx) ⊃ (x=a $\lor$ x=b $\lor$ ∼Jx) ]
E) (∀x) [(Kx • Lx) ⊃ Jx]