Это такие суждения, в которых утверждается отсутствие той или иной ситуации. Оно чаще всего выражается предложением, начинающимся словосочетанием «неверно, что…». Внешнее отрицание обозначается символом «», называемым знаком отрицания. Он читается «не», «неверно, что…».

Этот знак определяется следующей таблицей истинности: