Логическая операция

(от греч. Logistike — искусство вычислять, рассуждать) 1) синоним (несколько архаический) термина Математическая логика. 2) Наименование этапа в развитии математической логики, представленного работами Б. Рассела и его школы (см. Логицизм). В античной математике Л. Называли «искусство» вычислений и геометрических измерений, противопоставлявшееся «теоретической» математике. Г. В. Лейбниц употреблял термины logistica и logica mathematica как синонимы для разрабатывавшегося им calculus ratiocinator..

направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике», т. Е. Возможности (и необходимости) определения всех исходных математических понятий (в рамках самой математики не определяемых) в терминах «чистой» логики и доказательства всех математических предложений (в том числе аксиом) опять-таки логическими средствами. Идеи Л. Были выдвинуты ещё Г. В. Лейбницем, но в развёрнутом виде эта доктрина впервые была сфо..

раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов — интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См. Исчисление) (формальных систем (См. Формальная система)). Т. О., к задачам Л. С. В первую очередь относится уточнение понятий «значение», «смысл», «интерпретация», а в связи с этим и понятий «истинность», «определимость», «выразимость», «следование», «модель» и др. (в..

графический (геометрический, точнее — топологический) аппарат математической логики (См. Логика). Идея Л. Д. Была известна ещё в средние века, развивалась затем Г. В. Лейбницем, но впервые достаточно подробно и обоснованно была изложена Л. Эйлером в «Письмах. К немецкой принцессе» (1768) — т. Н. Круги Эйлера. Отношения между классами (объёмами понятий) с тех пор принято изображать с помощью систем взаимно пересекающихся кругов (или любых других односвязных областей). Объединению классов соответ..

ЛОГИЧЕСКАЯ операция - операция над числами (обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. Основные и наиболее распространенные логические операции, реализуемые в ЭВМ, - дизъюнкция, конъюнкция, отрицание. При составлении программ для ЭВМ более сложные логические операции обычно сводят к трем основным.. ..

Операция над числами (обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. Основные и наиболее распространенные логические операции, реализуемые в ЭВМ, - дизъюнкция, конъюнкция, отрицание. При составлении программ для ЭВМ более сложные логические операции обычно сводят к трем основным.. ..

Операция над чис лами (обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. Осн. И наиб. Распространённые Л. О., реализуемые в ЭВМ,дизъюнкция, конъюнкция, отрицание. При составлении программ для ЭВМ более сложные Л. О. Обычно сводят к трём основным. ..

способ построения сложного высказывания из данных высказываний, при к-ром истинностное значение сложного высказывания полностью определяется истинностными значениями исходных высказываний. Примерами Л. О. Являются конъюнкция, дизъюнкция, импликация, отрицание. К Л. О. Относятся также кванторы:они позволяют образовывать высказывания и высказывательные формы из данных высказывательных форм. В. Е. Плиско. . ..

В ЭВМ - операция над машинными переменными (выраженными в цифровой форме, обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. К числу осн. И наиболее употребительных в ЭВМ Л. О. Относятся отрицание (логич. Эквивалент частицы "не" - инверсия), логич. Умножение (конъюнкция), логич. Сложение (дизъюнкция). Эти Л. О. Достаточно просто реализуются электронными логическими элементами, а любые более сложные Л. О. При составлении программы ЭВМ могут быть сведены к трём основным...