В логике , логическая константа из языка является символом , который имеет то же смысловое значение при каждой интерпретации из. Два важных типа логических констант - это логические связки и кванторы . Равенство сказуемое (обычно пишется «=») также рассматривается как логическая константа во многих системах логики .
Один из фундаментальных вопросов философии логики : «Что такое логическая константа?»; то есть какая особенность некоторых констант делает их логичными по своей природе? [1]
Вот некоторые символы, которые обычно рассматриваются как логические константы:
Символ | Значение на английском языке |
---|---|
Т | "правда" |
F | " ложь " |
¬ | " не " |
∧ | " и " |
∨ | " или " |
→ | " подразумевает ", "если ... то" |
∀ | " для всех " |
∃ | " существует ", "для некоторых" |
знак равно | " равно " |
"обязательно" | |
"возможно" |
Многие из этих логических констант иногда обозначаются альтернативными символами ( например , использование символа «&» вместо «∧» для обозначения логического и ). Определение логических констант - основная часть работы Готлоба Фреге и Бертрана Рассела .
Смотрите также
Рекомендации
- ^ Карнап, Рудольф (1958). Введение в символическую логику и ее приложения . Нью-Йорк: Дувр.