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

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

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

${\displaystyle {\frac {\Gamma ,C,C\vdash B}{\Gamma ,C\vdash B}}}$.

Ця стаття не містить посилань на джерела. Ви можете допомогти поліпшити цю статтю, додавши посилання на надійні (авторитетні) джерела. Матеріал без джерел може бути піддано сумніву та вилучено. (травень 2011)

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

п о р Класична логіка Розділи Логіка висловлень Логіка предикатів Закони і принципи Закон виключеного третього Закон подвійного заперечення Закон суперечності Принцип вибуху Монотонність наслідування[en] Ідемпотентність Контрарність Комутативність кон'юнкції[en] Правила де Моргана