SOLVED LOGIC PROBLEMS 1 |(x)(Px & Dx) / Pk +--------------------- 2 |Pk & Dk 1,UE 3 |Pk 2,&E SET A PROB A 1 |(x)(Px & Dx) / Pd & Dk +--------------------- 2 |Pk & Dk 1,UE 3 |Pd & Dd 1,UE 4 |Dk 2,&E 5 |Pd 3,&E 6 |Pd & Dk 4,5,&I SET A PROB B 1 |(x)(Dx > Kx) P 2 |(x)Dx / Ka +--------------------- 3 |Da > Ka 1,UE 4 |Da 2,UE 5 |Ka 3,4,>E SET A PROB C 1 |(x)(Mx > A) / (x)Mx > A +--------------------- 2 | |(x)Mx A | +--------------------- 3 | |Mb 2,UE 4 | |(x)(Mx > A) 1,R 5 | |Mb > A 4,UE 6 | |A 3,5,>E 7 |(x)Mx > A 2-6,>I SET A PROB D 1 |(x)(Fx v Hx) P 2 |(x)(Fx > Dx) P 3 |(x)(Hx > Dx) / Dp & Db +--------------------- 4 |Fp v Hp 1,UE 5 |Fp > Dp 2,UE 6 |Hp > Dp 3,UE 7 |Dp 4,AC 8 |Fb v Hb 1,UE 9 |Fb > Db 2,UE 10 |Hb > Db 3,UE 11 |Db 8,AC 12 |Dp & Db 7,11,&I SET A PROB E 1 |(x)(~Bx v Lcx) / (x)Bx > Lcd +--------------------- 2 | |(x)Bx A | +--------------------- 3 | |Bd 2,UE 4 | |(x)(~Bx v Lcx) 1,R 5 | |~Bd v Lcd 4,UE 6 | |Lcd 3,5,vE 7 |(x)Bx > Lcd 2-6,>I SET A PROB F 1 |(x)(Lxx > Lxh) P 2 |~Lmh / ~(x)Lxx +--------------------- 3 | |(x)Lxx A | +--------------------- 4 | |(x)(Lxx > Lxh) 1,R 5 | |~Lmh 2,R 6 | |Lmm > Lmh 4,UE 7 | |~Lmm 5,6,DC 8 | |Lmm 3,UE 9 |~(x)Lxx 7,8,(3-8),~I SET A PROB G 1 |(x)(Rxx v Rxk) P 2 |(y)~Ryk / Rcc & Rff +--------------------- 3 |Rcc v Rck 1,UE 4 |~Rck 2,UE 5 |Rcc 3,4,vE 6 |Rff v Rfk 1,UE 7 |~Rfk 2,UE 8 |Rff 6,7,vE 9 |Rcc & Rff 5,8,&I SET A PROB H