Recent content by charlie_sheep

I've just started studying college math. I read the proof by contradiction is based on the law of excluded middle. So i tried to make a general logic structure of this kind of demonstration to see how it could use this law. If I'm right, of course. Let X and Y be propositions. 1. X -> Y...

No, it's not a joke. Long play on words you say, so let me take off the words: Let A and B be propositions. Proving ~A Consider the following hypothesis by definition: 1. A -> B 2. A -> ~B And consider the following hypothesis by logic: 3. (A v ~A)² 4. ~(B ^ ~B)³ By 1 and 2, we...

I applied some mathematical view to the daily language while studying demonstration. Proving that nothing does not exist Consider the following hypothesis by definition: 1. (There's nothing) -> (There's the absence of everything) 2. (There's nothing) -> (There's the absence of...