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

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

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

{\frac {\Gamma ,C,C\vdash B}{\Gamma ,C\vdash B}}

.

Це незавершена стаття з логіки.
Ви можете допомогти проєкту, виправивши або дописавши її.