14-10-2023
В логике, логической константой формального языка является символ, который имеет то же семантическое значение при любой интерпретации[en] в . Двумя важными типами логических констант являются логические связки и кванторы. Предикат равенства (обычно пишется «=») также рассматривается как логическая константа во многих системах логики.
Некоторые символы, которые обычно рассматриваются как логические константы:
| Символ | Значение |
|---|---|
| T | «истина» |
| F | «ложь» |
| ¬ | «не» |
| ∧ | «и» |
| ∨ | «или» |
| → | «следут», «если…то» |
| ∀ | «для всех» |
| ∃ | «существует», «для некоторых» |
| = | «равно» |
| «необходимо» | |
| «возможно» |
Для обозначения многих логических констант используются и другие символы, например, символ «&» для логического «и»[1].
Вопрос «Что такое логическая константа?» является одним из фундаментальных вопросов философии логики.
| Логика | |
|---|---|
| Формальная |
Логические операции с понятиями Изменение содержания понятия: отрицание • ограничение • обобщение • деление |
| Математическая (теоретическая, символическая) |
Логические связки (операции) над высказываниями Высказывание - построение над множеством {B, , , , 0, 1} |
| См. также | импликация () • Круги Эйлера/Диаграмма Венна • Теория множеств |
Логическая константа.