Next: cd, Previous: ds, Up: Inference Rules [Contents]
A law of logic, excluded middle asserts that something is either true, or it is not true.
Excluded middle requires zero references.