PL 120  Symbolic Logic I

 

Solution for Exercises in Justifying Lines in a Proof 

 

1.         2.     1, Simp

            3.   1, Simp

            4.   3, Comm

            5.   4, ME

            6.   5, DN

            7.   6, 2, MT

 

 2.        2.   1, Simp

            3.   1, Simp

            4.   2, Dist

            5.   4, Simp

            6.   3, 5, MP

            7.   6, Comm

            8.   7, MI

 

  3.       5.   3, 4, DS

            6.   5, Add

            7.   1, 6, MP

            8.   7, Add

            9.   2, 8, MP

 

  4.       4.   2, 3, MP

            5.   1, 3, DS

            6.   4, 5, HS

 

  5.       5.   1, 2, HS

            6.   5, MI

            7.   6, Comm

            8.   3, 7, MP

            9.   8, Simp

 

  6.       4.   3, Simp

            5.   4, 2, DS

            6.   1, 5, MT

 

  7.       3.   1, MI

            4.   2, MI

            5.   3, 4, Conj

            6.   5, Dist

            7.   6, MI

 

  8.       3.   2, Simp

            4.   2, Simp

            5.   1, Exp

            6.   3, 5, MP

            7.   4, 6, MT

 

  9.       2.   1, Dist

            3.   2, DeM

            4.   3, Simp

            5.   4, DeM

            6.   5, MI

 

  10.     3.   1, DeM

            4.   3, Simp

            5.   2, DeM

            6.   5, Simp

            7.   3, Simp

            8.   7, DeM

            9.   5, Simp

          10.   8, 9, DS

          11.   6, 10, Conj

          12.   11, DeM

 

  11.     3.   Assume

            4.   1, 3, MP

            5.   2, 5, DS

            6.   5, MI

            7.   36, CP

 

  12.     3.   2, DeM

            4.   3, Simp

            5.   1, ME

            6.   5, Simp

            7.   4, 6, MT

            8.   3, Simp

            9.   Assume

          10.   8, DN

          11.   910, CP

          12.   7, 11, Conj

 

  13.     3.   Assume

            4.   2, Simp

            5.   1, 4, MP

            6.   2, Simp

            7.   5, 6, Conj

            8.   37, RAA