инною формулою: В¬ (а ? В¬ а), (читається: "Невірно, що а і не а" ), де а - це будь-яке висловлювання.
Закон протиріччя забороняє одночасну істинність двох суджень, одне з яких щось стверджує, а інше те ж саме заперечує про одне й те ж предметі, в один і той же час і в одному і тому ж відношенні. Однак цей закон не забороняє одночасну хибність двох таких суджень. Згадаймо, судження: "Він високий", "Він низький", - не можуть бути одночасно істинними, якщо мова йде про одне й те ж людину, в один і той же час його життя і в одному і тому ж відношенні (щодо якогось одного зразка для порівняння). Точно так само одночасно хибними (але не одночасно істинними!) Можуть бути судження: "Ця вода гаряча", "Ця вода холодна"; "Дана річка глибока", "Дана річка дрібна"; "Ця кімната світла" , "Ця кімната темна". Одночасну хибність двох суджень ми часто використовуємо у повсякденному житті, коли, характеризуючи когось або щось, будуємо стереотипні обороти типу: "Вони не молоді, але й не старі", "Це не корисно, але й не шкідливо" , "Він не багатий, однак і не бідний", "Дана річ коштує не дорого, але й не дешево", "Цей вчинок не є поганим, але в той же час його не можна назвати хорошим".
. Закон виключеного третього. p align="justify"> Судження бувають протилежними і суперечать. Наприклад, судження: "Сократ високий", "Сократ низький", - є протилежними, а судження: "Сократ високий", "Сократ невисокий", - суперечать. У чому різниця між протилежними і суперечать судженнями? Неважко помітити, що протилежні судження завжди передбачають якийсь третій, середній, проміжний варіант. Для суджень: "Сократ високий", "Сократ низький", - третім варіантом буде судження: "Сократ середнього зросту". Суперечать судження, на відміну від протилежних, не допускають або автоматично виключають такий проміжний варіант. Як би ми не намагалися, ми не зможемо знайти жодного третього варіанту для суджень: "Сократ високий", "Сократ невисокий" (адже і низький, і середнього зросту - це все невисокий). p align="justify"> Саме в силу наявності третього варіанту протилежні судження можуть бути одночасно хибними. Якщо судження: "Сократ середнього зросту", - є істинним, то протилежні судження: "Сократ високий", "Сократ низький", - одночасно помилкові. Точно так само саме в силу відсутності третього варіанту суперечать судження не можуть бути одночасно хибними. Таким є відмінність між протилежними і суперечать судженнями. Подібність між ними полягає в тому, що і протилежні судження, і суперечать не можуть бути одночасно істинними, як того вимагає закон протиріччя. Таким чином, цей закон поширюється і на протилежні судження, і на суперечать. Однак, як ми пам'ятаємо, закон суперечності забороняє одночасну істинність двох суджень, але не забороняє їх одночасну хибність; а суперечать судження не можуть бути одночасно хибними, тобто закон суперечності є для них недостатнім і ...
