Здесь показаны различия между выбранной ревизией и текущей версией данной страницы.
— |
tema:vyskazyvanie [2009/01/10 14:14] (текущий) morar_11a создано |
||
---|---|---|---|
Строка 1: | Строка 1: | ||
+ | **Высказывание** (пропозиция) — базовое понятие математической логики и формальной логики. | ||
+ | Высказыванием называется утвердительное повествовательное предложение, которое формализует некоторое выражение мысли. Высказывание обычно имеет только одно логическое значение. Так, например, «Сейчас идёт дождь» — высказывание, а «Давай пойдем обедать» — не высказывание. Аналогично, «5>3» —высказывание, а «2+3» — не высказывание. Как правило, высказывания обозначают маленькими латинскими буквами. | ||