En kontradiktion i sträng bemärkelse består av en sats och dess negation eller av konjunktionen av två sådana satser, dvs. en sats av formen A och inte-A (symboliskt: A∧¬A). Två satser sägs vara (strängt) kontradiktoriska om den ena är logiskt ekvivalent med negationen av den