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

Материал из Википедии — свободной энциклопедии

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

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

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

Пусть p — высказывание. Если оно истинно, то пишут | p | = 1, если ложно, то | p | = 0. Тождественно истинное высказывание обозначают символом 1, тождественно ложное — символом 0.

[править] См. также

• Математическая логика
• Алгебра высказываний
• Логика высказываний
• Булева алгебра
• Предикат
• Квантор
• Высказывания великих - Aphorisme.ru . Высказывания, мысли, фразы, великих личностей. Афоризмы, цитаты, изречения знаменитых людей.

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

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники.