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

question 217

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 an immediate (one-step) consequence in F of the given premises?

• A) (Ia • Ja • Ib • Jb • Ic • Jc) ⊃ (a=b \( \lor \) b=c \( \lor \) a=c)]
• B) (∀y)(∀z)[(Ia • Ja • Ia • Ja • Ia • Ja) ⊃ (a=y \( \lor \) y=z \( \lor \) a=z)]
• C) a≠b • Ib • Ja
• D) (∀y)(∀z)[(Ia • Ja • Iy • Jy • Iz • Jz) ⊃ (x=y \( \lor \) y=z \( \lor \) x=z)]
• E) (∀y)(∀z)[(Ia • Ja • Iy • Jy • Iz • Jz) ⊃ (a=y \( \lor \) y=z \( \lor \) a=z)]