высказывание

Эта статья о логическом термине. См. также Высказывание (лингвистика).

Высказыванием называется утвердительное повествовательное предложение, которое формализует некоторое выражение мысли. Поэтому высказывание может иметь только одно логическое значение. Обычная логика двухзначна, т.е. приписывает высказываниям только два возможных значения: истинно оно или ложно. Но существуют и многозначные логики. Так, например, «Сейчас идёт дождь» — высказывание, а «Давай пойдём обедать» — не высказывание. Аналогично, «5>3» — высказывание, а «2+3» — не высказывание. Как правило, высказывания обозначают маленькими латинскими буквами.