If English then logic: The Logic Book, M. Bergmann, J. Moor, J. Nelson, McGraw Hill, 2004, 10.4E, 2(d), p. 556

Wednesday 27 July 2011

The Logic Book, M. Bergmann, J. Moor, J. Nelson, McGraw Hill, 2004, 10.4E, 2(d), p. 556

Show that the following derivability claim holds:

(x)Mx
∴ (x)(¬ Mx ⊃Mx)
Mx ......... 1 UI x/x
Mx ∨¬ ¬ Mx ......... 3 Add.
¬ ¬ Mx ∨ Mx ......... 4 Comm.
¬ Mx ⊃ Mx ......... 5 MI
(x)(¬ Mx ⊃ Mx) ......... 6 UG

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)