Логически невозможное высказывание – это внутренне противоречивое высказывание.

Логически невозможны, например, высказывания: «Растения дышат и растения не дышат» и «Неверно, что, если Вселенная бесконечна, то она бесконечна». Оба они являются отрицаниями логических законов: первое – закона противоречия, второе – закона тождества.

Понятия логической необходимости и возможности можно определить одно через другое:

«A логически необходимо» означает «отрицание A не является логически возможным» (например: «Необходимо, что холод есть холод» означает «Невозможно, чтобы холод не был холодом»);

«A логически возможно» означает «отрицание A не является логически необходимым» («Возможно, что кадмий – металл» означает «Неверно, что необходимо, что кадмий – не металл»).

Логическую случайность можно определить через логическую возможность: «логически случайно A» означает «логически возможно как А, так и не-A» («Логически случайно, что на Земле есть жизнь» означает «Логически возможно, что на Земле есть жизнь, и логически возможно, что на Земле нет жизни»).

Логически необходимое высказывание является истинным, но не наоборот: не каждая истина логически необходима. Логически необходимое высказывание является также логически возможным, но не наоборот: не все логически возможное логически необходимо.

Из истинности высказывания вытекает его логическая возможность, но не наоборот: логическая возможность слабее истинности.