Next: , Previous: , Up: Inference Rules   [Contents]


6.1.7 Excluded Middle

A law of logic, excluded middle asserts that something is either true, or it is not true.

Excluded middle requires zero references.