Kontradiktion i en mening

Willie Nelson är en levande kontradiktion.

I formella system som satslogik och predikatlogik, är en kontradiktion en formel, som är falsk oberoende av dess variablers sanningsvärden, exempelvis satsen: P P, det vill säga: P och icke P.

Negationen av en tautologi är en kontradiktion.

I härledningen medför tilläggspremissen p, att en kontradiktion erhålles och slutsatsen ¬p fås medelst reductio ad absurdum-regeln, RAA.

Om barnet uppmuntras att slå tillbaks, gör man först och främst sig skyldig till kontradiktion.

En kontradiktion.

Om detta antagande tillsammans med de givna förutsättningarna leder till en kontradiktion eller motsägelse, så kan man med den ovan nämnda slutledningsregeln dra slutsatsen att är giltig.

Jag hoppas verkligen att denna kontradiktion inte är med nödvändighet lagbunden och att vi kan få se en framtida optimistisk tidsanda som samtidigt bryr sig om det förgångna ”.

Om samtliga fem satser accepteras fås en kontradiktion.