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