principle of excluded middle
parvaz-e miyâni sokalândé
Fr.: principe du milieu exclu, ~ ~ tiers ~
The second principle of → formal logic introduced in Aristotle's theory of the → syllogism: A statement is either → true or → false. In other words, two → contradictory → propositions cannot both be true. The truth of one implies the falsehood of the other. Also called law of excluded middle and → principle of excluded third.