1.Previous
3.Next

the law of excluded middle.

* Classical logic: If Double Negation Elimination (E) is also permitted,{A} (RAA)}} the system defines (full!) classical logic.

A selection of theorems (classical logic)

In classical logic material implication validates the following:

*

1.Previous
3.Next