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