Высказывание (логика): различия между версиями

→‎Логические постоянные: Исправлена опечатка
Метки: правка с мобильного устройства правка из мобильной версии
(→‎Логические постоянные: Исправлена опечатка)
Метки: правка с мобильного устройства правка из мобильной версии
 
== Логические постоянные ==
Логическая постоянная (логическая константа{{sfn|Кондаков|1975|с=301}}, логическая операция{{sfn|БСЭ|1971}}) — название термина, сохраняющего одно и то же значение во всех высказываниях и не зависящего от конкретного содержания высказывания. Логические постоянные используются для соединения простых высказываний в сложные{{sfn|Кондаков|1975|с=307}}. Логические постоянные делятся на [[квантор]]ы и логические союзы (связки). Слова: ''не; неверно, что; и; или; если…, то; тогда и только тогда, когда; либо…, либо; несовместно; ни…, ни; не…, но; но'' и их ближайшие синонимы являются логическими связками, слова ''для всех…имеет место, что; для некоторых…имеет место, что'' и их ближайшие синонимы являются кванторами. Логические постоянные служат как для выражения мыслей в повседневыхповседневных рассуждениях, так и в научных доказательствах{{sfn|Чупахин, Бродский|1977|c=200—203}}.
 
В [[Математическая логика|математической логике]] логические постоянные обозначаются следующими символами:{{sfn|Кондаков|1975|c=307}}
Анонимный участник