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

---

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

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

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

---