Thread: Derivation

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?

Nvm I solved it.