В логике, логической константой формального языка является символ, который имеет то же семантическое значение при любой в . Двумя важными типами логических констант являются логические связки и кванторы. Предикат равенства (обычно пишется «=») также рассматривается как логическая константа во многих системах логики.
Некоторые символы, которые обычно рассматриваются как логические константы: Символ Значение T «истина» F «ложь» ¬ «не» ∧ «и» ∨ «или» → «следует», «если…то» ∀ «для всех» ∃ «существует», «для некоторых» = «равно» «необходимо» «возможно»
Для обозначения многих логических констант используются и другие символы, например, символ «&» для логического «и».
Вопрос «Что такое логическая константа?» является одним из фундаментальных вопросов философии логики.
См. также Логическая операция
Примечания
Ссылки Stanford Encyclopedia of Philosophy entry on logical constants
Категория:Логические символы