Next: cd, Previous: ds, Up: Inference Rules
A law of logic, excluded middle asserts that something is either true, or it is not true.