Закон несуперечності

Наприклад, два судження "Ворскла є притокою Дніпра" і " Ворскла не є притокою Дніпра" не можуть бути одночасно істинними, якщо мається на увазі одна річка під назвою "Ворскла" (а не, скажімо, однойменна спортивна команда). В той же час слід пам'ятати, що суперечності не буде якщо ми щось стверджуємо або щось заперечуємо стосовно одного предмету у різний проміжок часу. Наприклад "Косовський - футболіст київського Динамо" і "Косовський - не футболіст київського Динамо", "Петренко є студентом" і "Петренко не є студентом" можуть бути вірними у різний проміжок часу.

Предмет нашої думки ми також можемо розглядати в різному відношенні. Так про Іванова І.І. ми можемо сказати, що він добре знає українську і російську мову, бо його знання задовольняють вимогам пересічного спілкування. Разом з тим, цих знань іноді може бути недостатньо (тобто він не досить добре знає) щоб бути перекладачем документів з української на російську і навпаки.

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

Цілком зрозумілим є те, що даний закон заперечує одночасну істинність таких чотирьох пар протилежних простих суджень, які мають загальний суб'єкт і предикат:

* загальностверджувальні і загальнозаперечувальні

* одиничні стверджувальні і одиничні заперечувальні

* Загальностверджувальні і частковозаперечувальні

* Загальнозаперечувальні і частковостверджувальні