Logic and philosophy. Principle stating that a statement and its negation must be true. Also called principle of the excluded middle. See contradiction principle.
Logic and philosophy. Principle stating that a statement and its negation must be true. Also called principle of the excluded middle. See contradiction principle.