В логике, логической константой формального языка
L
{\displaystyle {\mathcal {L}}}
является символ, который имеет то же семантическое значение при любой интерпретации в
L
{\displaystyle {\mathcal {L}}}
. Двумя важными типами логических констант являются логические связки и кванторы. Предикат равенства (обычно пишется «=») также рассматривается как логическая константа во многих системах логики.
Некоторые символы, которые обычно рассматриваются как логические константы:
Для обозначения многих логических констант используются и другие символы, например, символ «&» для логического «и».
Вопрос «Что такое логическая константа?» является одним из фундаментальных вопросов философии логики.
Источник: Википедия
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: переволочься — это что-то нейтральное, положительное или отрицательное?
Выражение при помощи имён указаний на конкретные, вполне определённые, предметные или понятийные объекты познания являет значения имён, которыми создаются в речи логические константы.
Все имена, поскольку им соответствует денотат реальной или идеальной природы, то есть реальный или только мыслимый объект познания, указывая на такой абстрагированный объект, выражают предметные речевые и логические константы.
В речи все виды имён выполняют задачу выражения предметных логических констант и функции смыслового связывания имён.