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