This is a proof that, if we assume the contradiction p (~p) true, then q follows, no matter what q is. What this is saying is that, if you permit a contradiction in an argument, then everything is true!
|
|
This is a proof that, if we assume the contradiction p(~p) true, then q follows, no matter what q is. What this is saying is that, if you permit a contradiction in an argument, then everything is true!
|