- операции, посредством которых из простых высказываний образуются сложные, из простых терминов - сложные, из высказываний - термины, из терминов - высказывания и т. д. К Л. о., позволяющим из одних высказываний получать другие высказывания, относятся конъюнкция ("и", символически &), дизъюнкция ("или", v), импликация ("если, то", ->), эквивалентность ("если и только если", =), отрицание ("неверно, что", ~) и др. Так, если даны два произвольных высказывания A и В, из них с помощью конъюнкции получается сложное высказывание A & В, которое истинно, только когда A и B истинны; с помощью дизъюнкции получается сложное высказывание A v В, истинное, когда хотя бы одно из входящих в него высказываний истинно, и т. п. (см.: Логика высказываний).
Если Вы искали другое значение слова/фразы Логические Операции, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Логические Операции ищут определения этих слов:
Логика Классов — - раздел математической логики, соответствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. к. соответствует и силлогистике Аристотеля. Иногда Л. к. рассматривается как формализованная теория множеств, в...
Логического Анализа Философия — - течение в современной западной философии, сводящее философию к логическому анализу языка средствами символической логики. Предмет Л. а. ф. - язык науки и формальные языки логики и математики. Возникновение Л. а. ф. связано с интенсивным процессом...
Логика Времени, Или Временная Логика — - раздел современной модальной логики, изучающий логические связи временных утверждений, т. е. утверждений, в которых временной параметр включается в логическую форму. Л. в. начала складываться в 50-е годы XX в. прежде всего благодаря работам англ....
Логическая Машина — - механическое, электромеханическое или электронно-вычислительное устройство, предназначенное для полуавтоматического или автоматического решения широкого круга математических и логических задач, для управления технологическими и производственными...
Логические Константы, Или: Логические Постоянные — - термины, относящиеся к логической форме рассуждения (доказательства, вывода) и являющиеся средством передачи человеческих мыслей и выводов, заключений в любой области. К Л. к. относятся такие слова, как "не", "и", "или", "есть", "каждый",...
Логические Операции — - операции, посредством которых из простых высказываний образуются сложные, из простых терминов - сложные, из высказываний - термины, из терминов - высказывания и т. д. К Л. о., позволяющим из одних высказываний получать другие высказывания,...
Логическая Правильность — - соответствие законам и правилам формальной логики. Обычно проводят различие между истинностью и правильностью человеческого мышления. Понятие истины характеризует мышление в его отношении к действительности: мысль, предложение истинны, если они...
Логика Классическая — - раздел современной (математической, символической) логики, включающий классическую логику высказываний и классическую логику предикатов. Л.к. опирается на двузначности принцип, в соответствии с которым всякое высказывание является или истинным,...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
