Although I was aware that anything follows from a contradiction, I had only ever seen verbal explanations of why this is so, never a bare proof using symbols. Until now, that is. Here is the proof which I think is kinda neat.
1. P & ¬P Premise (contradiction)
2. P 1, Simplification
3. P v W 2, Addition
4. ¬P 1, Simplification
5. W 3,4, Disjunctive Syllogism
Re: Proof that anything follows from a contradiction
For verbal analysis and explanation:
See here: http://thelogician.net/FUTURE-LOGIC/Paradoxes-31.htm
And here: http://thelogician.net/FUTURE-LOGIC/Double-Paradoxes-32.htm
Something about you (optional) logician-philosopher
