В логике, логической константой формального языка
является символ, который имеет то же семантическое значение при любой интерпретации[англ.] в
. Двумя важными типами логических констант являются логические связки и кванторы. Предикат равенства (обычно пишется «=») также рассматривается как логическая константа во многих системах логики.
Некоторые символы, которые обычно рассматриваются как логические константы:
Символ
|
Значение
|
T
|
«истина»
|
F
|
«ложь»
|
¬
|
«не»
|
∧
|
«и»
|
∨
|
«или»
|
→
|
«следует», «если…то»
|
∀
|
«для всех»
|
∃
|
«существует», «для некоторых»
|
=
|
«равно»
|
|
«необходимо»
|
|
«возможно»
|
Для обозначения многих логических констант используются и другие символы, например, символ «&» для логического «и»[1].
Вопрос «Что такое логическая константа?» является одним из фундаментальных вопросов философии логики.
См. также
Примечания
Ссылки
![Перейти к шаблону «External links»](//upload.wikimedia.org/wikipedia/commons/thumb/c/c9/Wikipedia_interwiki_section_gear_icon.svg/14px-Wikipedia_interwiki_section_gear_icon.svg.png) Ссылки на внешние ресурсы |
---|
| |
---|
![Перейти к шаблону «Логика»](//upload.wikimedia.org/wikipedia/commons/thumb/c/c9/Wikipedia_interwiki_section_gear_icon.svg/14px-Wikipedia_interwiki_section_gear_icon.svg.png) |
---|
|
Группы логик | | |
---|
Компоненты | |
---|
|