Закон суперечності твердить: два протилежні висловлювання не є одночасно істинними; у крайньому разі одне з них неодмінно хибне. Наприклад, не можуть бути одночасно істинними судження: "Петренко є співучасником даного злочину", "Петренко не є співучасником даного злочину". Одне з цих суджень обов'язково хибне.
Питання про те, яке з двох протилежних суджень є хибним, закон суперечності не розв'язує. Це встановлює конкретна наука і практика. Закон суперечності говорить лише про те, що із двох суджень, із яких одне заперечує те, що стверджує в другому, одне неодмінно хибне. Яким буде друге судження, істинним чи хибним, закон суперечності також не розв'язує. Воно може бути як істинним так і хибним. Так, із двох суджень: "Усі обвинувачувані мають право на захист", "Деякі обвинувачувані не мають права на захист" — друге судження хибне, а перше істинне. А якщо візьмемо такі два судження, як "Іваненко під час здійснення злочину перебував на місці здійснення злочину", "Іваненко під час здійснення злочину був на роботі" — то хибним може бути не тільки одне з них, а й обидва, а істинним буде третє судження, наприклад: "Іваненко під час здійснення злочину був у Петренка".
Отже, істинність одного із протилежних суджень зобов'язує нас визначити друге судження хибним, оскільки вони не можуть бути одночасно істинними. Але встановлення хибності одного з протилежних суджень не в усіх випадках призводить до визнання істинним другого. Пояснюється це різним характером суперечних суджень.
Закон суперечності поширюється на всі протилежні судження: і на супротивні (контрарні), і на суперечні (контрадикторні). Коли ми маємо справу з суперечними судженнями, то, з'ясувавши хибність одного з них, маємо визначити істинність другого. У тих же випадках, коли судження є супротивним, то хибність одного судження згідно із законом суперечності не є обґрунтуванням для визначення істинним другого, котре теж може бути хибним.
Закон суперечності, як і будь-який формально-логічний закон, застосовний тільки до таких суджень, у котрих ідеться про один і той же предмет, в один і той же час і в тому ж самому відношенні. Якщо ж у судженнях ідеться про різні предмети або про різні ознаки одного й того ж предмета, то такі судження не є суперечними і, отже, до них закон суперечності незастосовний. Так, не є суперечним судження: "Пальто, викрадене у потерпілого, було коричневим" і "Пальто, знайдене у обвинуваченого, не було коричневим", якщо предметом думки цих суджень є різні пальта.
Закон суперечності не діє, якщо в судженнях ідеться про один і той же предмет, але предмет взято у різний час. Так, судження "Петренко є осудний" і "Петренко є неосудний" можуть бути обидва істинними, якщо у першому з них мається на увазі один час (наприклад, до здійснення злочину), а у другому — інший час (під час здійснення злочину або після нього).
Незастосовний закон суперечності також у тих випадках, коли в судженнях предмет думки береться у різних відношеннях. Наприклад, судження: "Петренко є здібний" та "Петренко не є здібним" можуть бути одночасно істинними, якщо у першому судженні йдеться про здібності Петренка до гуманітарних наук, в у другому — про здібності до математичних наук.
Закон суперечності, як і закон тотожності, відображає якісну визначеність предметів, той простий факт, що коли предмет володіє якоюсь ознакою, то не може в той же час не володіти нею. В об'єктивній дійсності не буває так, щоб одне й те ж одночасно було і не було притаманне якомусь предмету. Тому, якщо правильне визначення тієї чи іншої ознаки, то не може бути правильним у той же час його заперечення, і навпаки, якщо правильне заперечення даної ознаки, то не може бути одночасно правильним і його визнання.
Розглянемо формулу закону суперечності (А не є не-А), котра означає, що не можуть бути одночасно істинними судження А і його заперечення не-А, наприклад, "Ця записка написана обвинувачуваним" (А) і "Ця записка написана не обвинувачуваним" (не-А).
Закон суперечності не заперечує реальних суперечностей, які існують в об'єктивній дійсності. Він забороняє лише логічні суперечності, суперечності "із самим собою". Дотримання вимог закону суперечності є необхідною умовою пізнання суперечностей, існуючих у дійсності, оскільки тільки не-
суперечливе мислення може правильно відобразити об'єктивні суперечності. Формально-логічних суперечностей не повинно бути в жодному міркуванні, в жодній науковій системі. Вони неприпустимі також у висновках суду та слідства.
6.5. Закон достатньої підстави
6.6. Значення законів логіки для судового дослідження
Розділ 7 УМОВИВІД. БЕЗПОСЕРЕДНІ УМОВИВОДИ
7.1. Загальна характеристика умовиводів
7.2. Безпосередні умовиводи
Розділ 8 ДЕДУКТИВНІ УМОВИВОДИ
8.1. Загальна характеристика дедуктивних умовиводів
8.2. Категоричний силогізм, його визначення і склад
8.3. Аксіома силогізму