Kontradiktion
Från Rilpedia
Texten från svenska Wikipedia
 |
|---|
| Deduktion |
| Modal logik |
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).
