Law of Excluded Middle

tags: Formal Logic

A statement cannot be both true and false at the same time.

Bobonich intro to philosophy

Notes that link to this note

How to Handle Negation in Prolog: Several Logical Approaches