Jammart

Want Philosophy? I'll give you raw logic. Eat this!

1.
• 1. K → W
• 2. W → H
• 3. ~ H
• 4. ~ W - 2,3 (MT)
• 5. ~K - 1,4 (MT)

or

• 1. K → W
• 2. W → H
• 3. ~ H
• 4. K → H - 1,2 (HS)
• 5. ~ K - 3,4 MT

2.
• 1. P v ~ M
• 2. P → K
• 3. ~M → D
• 4. ~ K
• 5. K v D 1,2,3 (CD)
• 6. D 4,5 (DS)

or

• 1. P v ~ M
• 2. P → K
• 3. ~M → D
• 4. ~ K
• 5. ~ P 2,4 (MT)
• 6. ~M 1,5 (DS)
• 7. D 3,6 (MP)


3.
• 1. V v E
• 2. M → ~V
• 3. M
• 4. E → ~P
• 5. ~ V 2,3 (MP)
• 6. E 1,5 (DS)
• 7. ~P 4,6 (MP)

4.
• 1. ~P → ~Q
• 2. Q
• 3. P → S
• 4. P 1,2 (MT)
• 5. S 3,4 (MP)

__________________