Kontradiktion
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).Artikeln skriven 2009-01-17 av Learning4sharing
Inga kategorier för denna artikel än...Intresserad av fler artiklar?
PleonasmSkeppsbyggnad
Skeppsmask
Akhenaton
Merenptah
Cecilia Rydinger Alin
Per Andersberg
Göran Söllscher
Vinteridrott