principle of contradiction; law of contradiction
A term in formal logic stating that a proposition and its negation cannot both be true at the same time. Also referred to as 矛盾律.
See also: 矛盾律
According to the principle of contradiction, the proposition 'A and not A' is always false.
Synonymous; 矛盾律 is more common in modern logic texts, while 矛盾原理 is a slightly older or more formal variant.
Compound of 矛盾 (contradiction) and 原理 (principle). The term is a direct translation of the Western logical concept.