Contradiction Elimination

Home
Sentential Logic
LPL Syntax
Predicate Logic
Student Contributions
Fallacies
Glossary
Search
Contents

It looks like this:

What does it mean?

It means that if you have managed to derive the contradiction, |, then you are entitled to insert any arbitrary sentence

Any sentence at all?

Yes.

Wow! That's crazy!

If so, then logic is crazy.
 

Coming soon to a logic class near you!