(lat. contradictio, motsägelse). Två påståenden är kontradiktoriska om de på logiska grunder utesluter varandra.
