The logical principle that no proposition can be both true and false at the same time in the same sense; it prohibits holding a statement and its negation simultaneously as true within the same interpretive frame.
The logical principle that no proposition can be both true and false at the same time and in the same respect; formally it forbids a formula A and its negation ¬A from both holding under a single interpretation.