Поширюється закон суперечності на всі протилежні судження

Об’єктивною основою закону суперечності є те, що один і той самий предмет не може одночасно мати і не мати одну й ту ж властивість.

Як і будь-який формально-логічний закон, закон суперечності застосований тільки до таких суджень, у яких ідеться про один і той же предмет, в один і той же час і в тому ж самому відношенні. Цей закон не застосовується до несуперечних суджень, в яких ідеться про різні предмети або різні ознаки одного предмета. Закон суперечності не діє, якщо в судженні ідеться про один предмет, але в різний час. Також закон не застосовується у випадках, коли в судженнях предмет думки береться у різних відношеннях.

Закон суперечності, як і закон тотожності, відображає якісну визначеність предметів, коли предмет володіє якоюсь ознакою, то не може в той же час не володіти нею.

Формула закону суперечності: А не є не-А, що означає, що не можуть бути одночасно істинними судження А і його заперечення не-А.

З допомогою символів математичної логіки закон суперечності виражається так: A^A ‾, де А означає всяке судження, A‾ - судження, що заперечує судження А.

Формула читається так: не можуть бути істинними А і його заперечення - А‾.

Закон суперечності не заперечує реальних суперечностей, які існують в об’єктивній дійсності, а лише забороняє логічні суперечності із самим собою. Дотримання вимог закону суперечності є необхідною умовою пізнання суперечностей, існуючих у дійсності, оскільки тільки несуперечливе мислення може правильно відобразити об’єктивні суперечності. Формально-логічних суперечностей не повинно бути в жодному міркуванні, в жодній науковій системі. Вони є неприпустимими також у висновках суду та слідства.

Суперечливі судження руйнують міркування. Виявлення суперечностей в існуючих теоріях - необхідна умова їх удосконалення.