Логические переменные и константы

Логические константы (Логические постоянные) − термины, относящиеся к логической форме рассуждения (доказательства, вывода) и являющиеся средством передачи человеческих мыслей и выводов, заключений в любой области. К Л. к. относятся такие слова, как "не", "и", "или", "есть", "каждый", "некоторый" и т. п. Л. к. не имеют самостоятельного содержания. Сами по себе они ничего не описывают и ничего не обозначают. Вместе с тем они позволяют из одних содержательных выражений получать другие. Установление точного смысла Л. к. и выяснение самых общих законов, относящихся к ним, - одна из основных задач логики.

Логические переменные − [logical variables] знаки и формулы, которые могут принимать различные значения в зависимости от содержания обозначаемых ими высказываний.