Высказывание (логика)
Материал из Википедии — свободной энциклопедии
- Эта статья о логическом термине. См. также Высказывание (лингвистика).
Выска́зывание — базовое понятие математической логики и формальной логики.
Высказыванием называется предложение, про которое есть смысл говорить, истино оно или ложно. Так, например, «Сейчас идёт дождь» — высказывание, а «Пойдём обедать» — не высказывание. Аналогично, «5>3» — высказывание, а «2+3» — не высказывание. Как правило, высказывания обозначают маленькими латинскими буквами.
Пусть p — высказывание. Если оно истино, то пишут | p | = 1, если ложно, то | p | = 0. Тождественно истиное высказывание обозначают символом 1, тождественно ложное — символом 0.
[править] См. также
- Математическая логика
- Алгебра высказываний
- Логика высказываний
- Булева алгебра
- Предикат
- Квантор
В этой статье или секции нет ссылок на источники информации. Вы можете помочь проекту, добавив список литературы или внешние ссылки. |