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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

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

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

Символ Значение
T «истина»
F «ложь»
¬ «не»
«и»
«или»
«следует», «если…то»
«для всех»
«существует», «для некоторых»
= «равно»
«необходимо»
«возможно»

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

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

Примечания

[править | править код]
  1. Предмет логики. Дата обращения: 18 января 2015. Архивировано из оригинала 12 февраля 2015 года.