В логике, логической константой формального языка является символ, который имеет то же семантическое значение при любой интерпретации[en] в . Двумя важными типами логических констант являются логические связки и кванторы. Предикат равенства (обычно пишется «=») также рассматривается как логическая константа во многих системах логики.
Некоторые символы, которые обычно рассматриваются как логические константы:
Символ | Значение |
---|---|
T | «истина» |
F | «ложь» |
¬ | «не» |
∧ | «и» |
∨ | «или» |
→ | «следует», «если…то» |
∀ | «для всех» |
∃ | «существует», «для некоторых» |
= | «равно» |
«необходимо» | |
«возможно» |
Для обозначения многих логических констант используются и другие символы, например, символ «&» для логического «и»[1].
Вопрос «Что такое логическая константа?» является одним из фундаментальных вопросов философии логики.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .