Mótsagnarlögmálið

Mótsagnarlögmálið er í rökfræði það lögmál að maður geti ekki bæði sagt að eitthvað sé og að það sé ekki í sama skilningi á sama tíma, eins og Aristóteles kom orðum að því. Á táknmáli rökfræðinnar er lögmálið sett fram með eftirfarandi hætti:

$\mathrm{\neg }(P\wedge \mathrm{\neg }P).$

eða

Ekki P og ekki-P.

Mótsagnarlögmálið er algert undirstöðulögmál allrar rökfræði og allra vísinda og mannlegrar hugsunar.

Tengt efni

• Lögmál hugsunarinnar
• Lögmálið um annað tveggja
• Tvígildislögmálið
• Tvígildislögmálið og skyld lögmál