Next: , Previous: ds, Up: Inference Rules


6.1.7 Excluded Middle

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