Proof--Theorums

Proof--Theorums - 6) ~~F 5, Simp 7) ~F . ~~F 2,6 Conj 8) F...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Proof for [(F->G)->F)} ->F 1) F->G->F Assume 2) ~F Assume 3) ~(F->G) 1,2 MT 4) ~(~F v G) 3, MI 5) ~~F . ~G 4, Dem
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 6) ~~F 5, Simp 7) ~F . ~~F 2,6 Conj 8) F 2-7 RAA 9) [(F->G)->F] -> F 1-8 CP...
View Full Document

This note was uploaded on 04/01/2008 for the course PHIL 240 taught by Professor Menzel during the Spring '08 term at Texas A&M.

Ask a homework question - tutors are online