Motsägelse

Härledningsbegrepp
	Medför - Följer av; Bevis – Bevisbarhet; Giltig - Giltighet; Sund - Sundhet; Konsekvent - Konsekvens; Fullständig – Fullständighet; Teorem; Tautologi; Kontradiktion; Konträra satser; Deduktion - Härledbarhet;
Närliggande begrepp
	Implikation; Logisk sanning; Sanning; Motsägelse;
	Denna tabell: visa • redigera

En motsägelse är ett yttrande, som antingen är kontradiktoriskt eller konträrt.

Två påståenden sägs vara kontradiktoriska, om de av logiska grunder inte båda kan vara sanna och ej heller båda vara falska, som exempelvis påståendena: Några svanar är vackra och Ingen svan är vacker.

Två påståenden sägs vara konträra, om de av logiska grunder inte båda kan vara sanna, men båda vara falska, som exempelvis påståendena: Alla svanar är vackra och Ingen svan är vacker. Falska kan båda vara om det är så, att endast några svanar är vackra.

Inom satslogiken är en motsägelse definierad som konjunktionen av ett påstående och dess negation, uttryckt med symboler, P $\land$ $\neg$ P, det vill säga en kontradiktion. Inom första ordningens predikatlogik finns även motsägelser, som är konträra.

Motsägelselagen eller kontradiktionsprincipen är en logisk princip, som säger att man inte både kan bekräfta och förneka något visst om en och samma sak.

Se även

Källor

Geoffrey Hunter, Metalogic, MacMillan 1969.
H. Kahane, Logic and Philosophy, Wadsworth 1969.
Georg Henrik von Wright, Logik, filosofi och språk, Berlingska, Lund 1957.