SOLVED LOGIC PROBLEMS 1 |Na / (Ex)(Nx v Gx) +--------------------- 2 |Na v Ga 1,vI 3 |(Ex)(Nx v Gx) 2,EI SET B PROB A 1 |(x)(Kx & Px) / (Ex)Kx & (Ex)Px +--------------------- 2 |Ka & Pa 1,UE 3 |Ka 2,&E 4 |Pa 2,&E 5 |(Ex)Kx 3,EI 6 |(Ex)Px 4,EI 7 |(Ex)Kx & (Ex)Px 5,6,&I SET B PROB B 1 |(x)(Hx > ~Dx) P 2 |Dg / (Ex)~Hx +--------------------- 3 |Hg > ~Dg 1,UE 4 |~Hg 2,3,DC 5 |(Ex)~Hx 4,EI SET B PROB C 1 |(x)Ax & (x)Tx / (Ex)(Ax & Tx) +--------------------- 2 |(x)Ax 1,&E 3 |(x)Tx 1,&E 4 |Aa 2,UE 5 |Ta 3,UE 6 |Aa & Ta 4,5,&I 7 |(Ex)(Ax & Tx) 6,EI SET B PROB D 1 |Fa v Nh / (Ex)Fx v (Ex)Nx +--------------------- 2 | |Fa A | +--------------------- 3 | |(Ex)Fx 2,EI 4 | |(Ex)Fx v (Ex)Nx 3,vI 5 | 6 | |Nh A | +--------------------- 7 | |(Ex)Nx 6,EI 8 | |(Ex)Fx v (Ex)Nx 7,vI 9 | 10 |(Ex)Fx v (Ex)Nx 1,2-4,6-8,AC SET B PROB E 1 |(x)(Sx v Jx) / (Ex)Sx v (Ex)Jx +--------------------- 2 |Sa v Ja 1,UE 3 | |Sa A | +--------------------- 4 | |(Ex)Sx 3,EI 5 | |(Ex)Sx v (Ex)Jx 4,vI 6 | 7 | |Ja A | +--------------------- 8 | |(Ex)Jx 7,EI 9 | |(Ex)Sx v (Ex)Jx 8,vI 10 | 11 |(Ex)Sx v (Ex)Jx 2,3-5,7-9,AC SET B PROB F 1 |(Ex)Rxa > (x)Rax P 2 |Rea / (Ex)Rax +--------------------- 3 |(Ex)Rxa 2,EI 4 |(x)Rax 1,3,>E 5 |Rab 4,UE 6 |(Ex)Rax 5,EI SET B PROB G 1 |Lae v Lea P 2 |(Ex)Lax > A P 3 |(Ex)Lxa > A / A +--------------------- 4 | |Lae A | +--------------------- 5 | |(Ex)Lax 4,EI 6 | |(Ex)Lax > A 2,R 7 | |A 5,6,>E 8 | 9 | |Lea A | +--------------------- 10 | |(Ex)Lxa 9,EI 11 | |(Ex)Lxa > A 3,R 12 | |A 10,11,>E 13 | 14 |A 1,4-7,9-12,AC SET B PROB H 1 |(Ex)Jx > Q P 2 |(x)Jx / Q +--------------------- 3 |Ja 2,UE 4 |(Ex)Jx 3,EI 5 |Q 1,4,>E SET B PROB I 1 |(x)(Max v Mex) P 2 |~(Ex)Max v Bg P 3 |~(Ex)Mex v Bg / (Ex)Bx +--------------------- 4 |Mab v Meb 1,UE 5 | |Mab A | +--------------------- 6 | |(Ex)Max 5,EI 7 | |~(Ex)Max v Bg 2,R 8 | |Bg 6,7,vE 9 | 10 | |Meb A | +--------------------- 11 | |(Ex)Mex 10,EI 12 | |~(Ex)Mex v Bg 3,R 13 | |Bg 11,12,vE 14 | 15 |Bg 4,5-8,10-13,AC 16 |(Ex)Bx 15,EI SET B PROB J 1 |(x)(Kxx ­ Px) P 2 |(x)(Kjx & (Px > Sx)) / (Ex)Sx +--------------------- 3 |Kjj & (Pj > Sj) 2,UE 4 |Kjj ­ Pj 1,UE 5 |Kjj 3,&E 6 |Pj 4,5,­E 7 |Pj > Sj 3,&E 8 |Sj 6,7,>E 9 |(Ex)Sx 8,EI SET B PROB K 1 |(x)(~Oxx v Ix) P 2 |(x)(Ix > Rxm) / (x)Oxx > (Ex)Rxm +--------------------- 3 | |(x)Oxx A | +--------------------- 4 | |(x)(~Oxx v Ix) 1,R 5 | |(x)(Ix > Rxm) 2,R 6 | |Ia > Ram 5,UE 7 | |~Oaa v Ia 4,UE 8 | |Oaa 3,UE 9 | |Ia 7,8,vE 10 | |Ram 6,9,>E 11 | |(Ex)Rxm 10,EI 12 |(x)Oxx > (Ex)Rxm 3-11,>I SET B PROB L