Контрарність

Контра́рність — логічне відношення між двома простими порівнянними судженнями, які не можуть бути одночасно істинними, але можуть бути одночасно помилковими, тому що між ними завжди є третій, проміжний варіант.

В численні секвенцій позначається як

$\frac{\mathrm{\Gamma },C,C⊢B}{\mathrm{\Gamma },C⊢B}$.