You are on page 1of 14

(1)

1. ( x)( Ax Bx)
2. ( x)( Bx Cx)

(2)
1. ( x)( Bx Cx)
/ ( x)( Ax Cx)

2. (x)( Ax Bx)

/ (x)( Ax Cx)

(3)
1. ( x)( Ax Bx)
2. ~ Bm

/ (x)~ Ax

(4)
1. ( x)( Ax Bx)
2. ( y)( Ay v ~ By)

/ ( x)( Ax = Bx)

(5)
1. ( x)[ Ax ( Bx v Cx)]
2. Ag ~ Bg

(6)
1. ( x)[( Ax v Bx) Cx]
/ Cg

2. (y)( Ay Dy)

/ (y) Cy

(7)
1. ( x)[ Jx ( Kx Lx)]
2. (y)~ Ky

/ (z)~ Jz

(8)
1. ( x)[ Ax ( Bx v Cx)]
2. (x)( Ax ~ Cx)

/ (x) Bx

(9)
1. ( x)( Ax Bx)
2. Am An

/ Bm Bn .

(10)
1. ( x)( Ax Bx)
2. Am v An

/ Bm v Bn

(11)
1. ( x)( Bx v Ax)
2. ( x)( Bx Ax)

/ ( x) Ax

(12)
1. (x) Ax ( y)( By v ~ Ay)
2. An

/ (y) By

(13)
1. ( x)[( Ax Bx) Cx]
2. (x)( Bx ~ Cx)

/ (x)~ Ax

(14)
1. ( x)( Ax Bx)
2. ( x)( Cx Dx)
3. Ae v Ce

/ (x)( Bx v Dx)

(15)
1. (x) Ax ( x)( Bx Cx)
2. Am Bm

(16)
1. (x) Ax ( x) Bx
/ Cm

2. (x) Cx (x) Dx
3. An Cn

/ (x)( Bx Dx)

(17)
1. ( x)( Ax Bx)
2. Cr v ~( x) Bx

/ (x)( Cx Ax)

(18)
1. ( x)[ Ax ( Bx = Cx)]
2. An Am
3. Cn ~ Cm

/ Bn ~ Bm

(19)
1. (x) Ax ( x)( Cx Bx)
2. (x)( Ax v Bx)
3. ( x)( Bx Ax)

(20)
1. (x) Ax ( x)( Bx Cx)
/ ( x)( Cx Ax)

2. (x) Dx (x)~ Cx
3. (x)( Ax Dx)

/ (x)~ Bx

(21)
1. (x)( Ax Bx) ( x)( Cx Dx)
2. (x) Ax ( x)( Bx Cx)
3. Ae

/ (x)( Dx Bx) .

(22)
1. ( x)( Ax ~ Bx)
2. An [~(x) Cx Bc]
3. Am ( x)( Cx Dx)

/ (x) Dx

(23)
1. ( x)( Ax Bx)
2. ( x) Ax ( Ce v ~ Be)

3. ( x) Bx [(x) Cx ( Dn v ~ An)]

/ (x) Dx

(24)
1. (x) Ax ( x)[( Ax v Ex) Dx]

2. (x) Dx ( x)[ Dx ( Cx v ~ Bx)]


3. An Bn

/ (x) Cx .

(25)
1. ( x) Ax ( x)( Ax Bx)
2. (x) Cx ( x)~( Dx Bx)
3. (x)( Ax Cx)

/ (x)~ Dx