Kontradiktion

Från Rilpedia

Texten från svenska Wikipedia

Deduktion
Tautologi - Kontradiktion Sann - Giltig - Sund
Modal logik
Logiskt sann - Logiskt omöjlig Nödvändig - Möjlig

En kontradiktion är en formel i en formell teori som har egenskapen att bli osann oberoende av de ingående variablernas sanningsvärden, t.ex. "p ∧ ~p", dvs om något är sant, så kan det inte samtidigt vara falskt. Begreppet kontradiktion (som är en funktion/mening) förväxlas ofta med begreppet nödvändigt falsk (som är ett sanningsbegrepp).

Se även

• Motsägelse
• Tautologi (logik)

 Denna artikel om logik är bara påbörjad. Du kan hjälpa till genom att utöka den.