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