Prove the following theorem: .: ~P -> (P -> Q) 1. Show ~P -> (P -> Q) 2. ~P ASS CD 3. Show P -> Q 4. P ASS CD 5. Q -> P 4 MC 6. ~Q 5 2 MT Where do I go from here?
Follow Math Help Forum on Facebook and Google+
Nvm I solved it.
View Tag Cloud