gn="justify"> Деякі S є P .
При цьому друга пара суджень така, що обидва судження можуть бути помилковими, наприклад: Жоден студент не є спортсменом "і Всі студенти є спортсменами .
Найчастіше зустрічається визначення формально-логічного протиріччя як кон'юнкції судження і його заперечення (a і не - а). Але логічне протиріччя може бути виражене і без заперечення: воно має місце між несумісним і стверджувальними судженнями. p align="justify"> Законнесуперечливий не застосовується в логіці розмитих "множин, бо в ній до розмитим" множинам і розмитим "алгорізмам можна одночасно застосовувати затвердження і заперечення (наприклад: Цей чоловік літній" і Цей чоловік ще не є літнім , бо поняття літній чоловік "є нечітким" поняттям, які не мають чітко окресленого обсягу).
Проведені приклади свідчать про те, що формально-логічне протиріччя виникає тоді, коли намагаються вважати істинними два або кілька стверджувальних суджень, несумісних між собою. Ге менш поширеною в мисленні є форма логічного протиріччя, коли одночасно затверджується і заперечується одне і те ж думка, тобто допускається кон'юнкція а і - а. Таким чином, у традиційній формальній логіці протиріччям вважається твердження двох протилежних (як контрарних, так і контрадікторних) суджень одному і тому ж предметі, взятому в один і той же час і в одному і тому ж відношенні. У численні висловів класичної двозначної логіки закон несуперечливий записується такою формулою: a В№ НЕ а.
Законнесуперечливий читається так: "Два протилежних судження не можуть бути істинними в один і той же час і в одному і тому ж відношенні . До протилежних судження відносяться:
) противні (контрарние) судження А і Е , які обидва можуть бути хибними, тому є заперечують один одного, і їх не можна позначити як а і а;
2) суперечать (контрадікторние) судження А і < b align = "justify"> Про , Е і I , а так само поодинокі судження Це S є P "і Це S не є P