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

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

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

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

.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.