Логическая константа

В логике, логической константой формального языка ${\mathcal {L}}$ является символ, который имеет то же семантическое значение при любой интерпретации в ${\mathcal {L}}$. Двумя важными типами логических констант являются логические связки и кванторы. Предикат равенства (обычно пишется «=») также рассматривается как логическая константа во многих системах логики.

Некоторые символы, которые обычно рассматриваются как логические константы:

Символ	Значение
T	«истина»
F	«ложь»
¬	«не»
∧	«и»
∨	«или»
→	«следует», «если…то»
∀	«для всех»
∃	«существует», «для некоторых»
=	«равно»
$\Box$	«необходимо»
$\Diamond$	«возможно»

Для обозначения многих логических констант используются и другие символы, например, символ «&» для логического «и».

Вопрос «Что такое логическая константа?» является одним из фундаментальных вопросов философии логики.

См. также

• Логическая операция

Ссылки

• Stanford Encyclopedia of Philosophy entry on logical constants