Examlex
question 168
1. (?x)(?y)f(x,y)=f(y,x)2. (?x)f(x,o)=o / (?x)f(o,x)=o
Q82: (?X • Y) ? (X • Y)
Q86: [P ⊃ (∼R ⊃ Q)] ⊃
Q88: P ⊃ ∼Q<br>R ⊃ P / R
Q120: (D ? ?D) ? (?D ? D)<br>A)
Q120: If anyone teaches the only son of
Q128: D ≡ (A • B)<br>D
Q153: 1. (∀x)(∀y)[(Px • Py) ⊃ Pf(x,y)]<br>2. (∃x)[Px
Q160: (G ≡ H) ⊃ ∼[(G •
Q232: R ⊃ (∼S ⊃ R) and
Q233: D ⊃ (E <span class="ql-formula"