Высказывание (логика)

Текущая версия (не проверялась)

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

Выска́зывание (пропозиция) — базовое понятие математической логики и формальной логики.

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

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

Пусть $p$ — высказывание. Если оно истинно, то пишут $| p | = 1$ , если ложно, то $| p | = 0$ .

Тождественно истинное высказывание обозначают символом 1, тождественно ложное — символом 0.

Содержание

Карпенко, А. С. Современные исследования в философской логике // Логические исследования. Вып. 10. - М.: Наука, 2003. ISBN 5-02-006257-X - С. 61-93.
Крипке, С. А. Витгенштейн о правилах и индивидуальном языке / Пер. В.А. Ладова, В.А. Суровцева. Под общ. ред. В.А. Суровцева. - Томск: Изд-во Том. ун-та, 2005. - 152 с. - (Библиотека аналитической философии). ISBN 5-7511-1906-1
Курбатов, В. И. Логика. Систематический курс. - Ростов н/Д: Феникс, 2001. - 512 c. ISBN 5-222-01850-4
Шуман, А. Н. Современная логика: теория и практика. - Минск: Экономпресс, 2004. - 416 с. ISBN 985-6479-35-5

Это незавершённая статья по логике. Вы можете помочь проекту, исправив и дополнив её.