I klassisk logik er loven om ikke-modsigelse (LNC) (også kendt som modstridighedsprincippet, princippet om ikke-modsigelse (PNC) eller modsigelsesprincippet), at modstridende udtalelser ikke begge kan være sande i samme forstand til på samme tid, f.eks de to propositioner "A er B" og "A er ikke B" er gensidigt eksklusive. Det er den anden af de tre klassiske tanker om tanke. Princippet blev udtalt som en sætning af propositionel logik af Russell og Whitehead i Principia Mathematica som:
\ mathbf {* 3 \ cdot 24}. \ \ \ vdash. \ thicksim (s. \ thicksim p)}
Loven om ikke-modsigelse sammen med dens komplement, loven om udeladt middel (den tredje af de tre klassiske tanker) og identitetsloven (den første af de tre klassiske tankegang) opdeler sit logiske univers i præcis to dele; det skaber en dikotomi, hvor de to dele er "gensidigt eksklusive" og "fælles udtømmende". Loven om ikke-modsigelse er blot et udtryk for det gensidigt eksklusive aspekt af denne dikotomi og loven om udeladt midten, et udtryk for dets fælles udtømmende aspekt. [Bertrand Russell] |