The law of non-contradiction states that a proposition and its negation cannot both be true in the same sense at the same time. It is a fundamental principle of logic that asserts something cannot both be and not be at the same time and in the same respect.