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

В логика, а логическая константа из язык ${displaystyle {mathcal {L}}}$ это символ это то же самое семантическое значение под каждым интерпретация из ${displaystyle {mathcal {L}}}$. Два важных типа логических констант: логические связки и кванторы. В равенство предикат (обычно пишется '=') также рассматривается как логическая константа во многих системы логики.

Один из фундаментальных вопросов в философия логики is «Что такое логическая константа?»; то есть, какая особенность некоторых констант делает их логичный в природе?^{[1][требуется полная цитата]}

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

Символ	Значение на английском языке
Т	"истинный"
F	"ложный"
¬	"нет"
∧	"и"
∨	"или же"
→	"подразумевает"," если ... то "
∀	"для всех"
∃	"Существует", "для некоторых"
=	"равно"
${displaystyle Box}$	"обязательно"
${displaystyle Diamond}$	"возможно"

Многие из этих логических констант иногда обозначаются альтернативными символами (например, использование символа «&» вместо «∧» для обозначения логичный и). Определение логических констант - основная часть работы Готтлоб Фреге и Бертран Рассел.

Смотрите также

• Нелогический символ
• Логическое значение
• Логическая связка

Рекомендации

внешняя ссылка

• Стэнфордская энциклопедия философии запись о логических константах

Этот логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е