операция с классами А к В, в результате которой образуется новый класс, состоящий из предметов, относящихся хотя бы к одному из юшссов А и В. Результаг операции С. нзывается логической суммой.
Значение всей дизъюнкции не зависит от порядка записи подвыражений (как в математике – сложение).... Двойное отрицание» $¬¬A$ является следствием суждения $A$, то есть имеет место тавтология в формальной логике... и равно самому значению в булевой логике.... Таблица истинности для операции сложения по модулю два
Рисунок 6.... Названа в честь Чарльза Пирса и введена в алгебру логики в $1880—1881$ гг.
В данной статье приводится краткое описание системно-объектного подхода «Узел-ФункцияОбъект». Описаны основные теоретические понятия дескрипционной логики на основе базовой логики ALC. Предложено ее расширение в виде логики ALCOQ . Предложен новый способ формализации понятия «система» в виде трехэлементной конструкции «Узел-Функция-Объект» с помощью дескрипционной логики ALCOQ . Показаны примеры операций над системами в рамках системно-объектного подхода с использованием логики ALCOQ , такие как соединение двух систем, объединение систем по входу, объединение систем по выходу, сложение объединения по выходу с объединением по входу.
В математической логике решается особый тип уравнений – логические уравнения.... Чтобы решить логическое уравнение, требуются определенные знания:
знать законы логики высказываний,... аргумент истинный, в результате будет получена ложь; если аргумент ложный – истина;
дизъюнкция (логическое сложение... разные по истинностной характеристике, то эквивалентность ложна;
строгая дизъюнкция (исключающее «или», сложение... Таким образом, для логического сложения и умножения действует тот же порядок, что и для одноименных арифметических
Применяя операцию сложения по модулю два, в алгебре логики определяются фундаментальные понятия матричного исчисления, такие как линейно зависимые и независимые совокупности строк (столбцов) матрицы, ранг матрицы, сумма и произведение матриц, определитель матрицы, обратная матрица. Приводятся свойства определителей алгебры логики. С помощью обратных матриц алгебры логики решаются системы линейных уравнений с суммами по модулю два. Приведены примеры на вычисление в алгебре логики ранга матрицы, определителей, обратных матриц и решение систем линейных уравнений с суммами по модулю два.
один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно». Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
(лат. circulus vitiosus) - наиболее грубая разновидность ошибки недоказанного аргумента, когда в качестве основания доказательства применяется сам тезис, который требуется доказать.
