Professional Documents
Culture Documents
Derivation Questions For Unit 6 Using Only UI, EG and EI
Derivation Questions For Unit 6 Using Only UI, EG and EI
The first set of questions can be done with only UI and EG:
6.001
6.002
6.003
6.004
6.005
6.006
6.007
6.008
6.009
6.0010
6.0011
6.0012
~xy(Fx Fy L(xy))
6.0013
x(Fx ~Gx).
y(Hy Gy)
xFx.
xHx
6.0015
x(Ax ~Bx). z(Cz Bz). x(Ax Mx). x(Cx Fx Gx). y(Gy My)
6.0016
x(Ax Bx).
6.0017
x(Fx Bx). x~(Cx Dx). y(By ~Dy ~Cy). ~yGy. ~x(Fx Gx)
6.0018
6.0019
6.0020
6.0021
yxF(b(y)x)
6.0022
6.0023
6.0024
xF(xx)
Logic 245: Derivation Questions for Unit 6 with only EG, UI and EI
Niko Scharer