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

x(Fx Gx). y(Hy ~Gy). Fc. x~Hx

6.002

x(Bx Cx). y(Ay By). ~Cb xAx

6.003

x(Dx ~Cx). x(Cx ~Dx). ~yDy (Hint do this as an ID!)

6.004

x(Fx Gx Hx) xFx y(Gy Hy) z(Hz Bz)

6.005

x(~Bx Dx). x(Cx Fx ~Dx).

6.006

x(Fx Gx) y(Gy Hy). ~Ha ~Hb. yFy

6.007

x(~Fx Gx) y(Ay Hy). ~(Fb ~Ab) wHw

6.008

x(Ax Bx Cx). x(~Cx (Fx Gx)).

6.009

xGb(cx) yGb(yy) zGz

6.0010

xG(xx). x(yG(xy) ~Cx Ax). x(Cx Bx). ~x(Ax Bx)

6.0011

~xyB(xy). xy(C(yx) B(yx)). C(aa) x~C(xx)

6.0012

x(Fx y(Gy ~L(xy))). x(Fx ~Fx) z(Fz Gz). Ga.

Fa. y(Cy ~(Fy By)). x(Cx Bx)

~Ga(b). x(~Fx Ax)

~xy(Fx Fy L(xy))
6.0013

x(A(bx) B(ax)). xyA(xy) wz(B(wz) B(bb) C(zw)). A(bb) xyC(xy)

For these you will need UI, EG and EI.

6.0014

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

xL(xa) xy(L(xy)L(yx)) yL(ay)

6.0019

x(Fx Gx). y(Fy ~Gy). x(Hx Gx) (yHy y~Hy)

6.0020

x(Fx Hx yL(xy)). ~x(Gx L(xx)). ~x(Fx Gx)

6.0021

yxF(b(y)x)

6.0022

x(Ax y(By ~C(xy))) ~wz(Az Bw C(zw))

6.0023

xy(B(xxy) L(yx)). xyz B(xyz) xyL(xy)

6.0024

xy~(Ax ~By). x(Ax Bx)

x(Cx ~Dx). x~(Bx Cx).

y(Dy Fy) x(Fx ~Ax)

xF(xx)

Logic 245: Derivation Questions for Unit 6 with only EG, UI and EI
Niko Scharer