Дизъюнкция или логическое сложение (в теории множеств это объединение)
Дизъюнкция является сложным логическим... Таблица истинности для дизъюнкции
Рисунок 2.... Свойства дизъюнкции:
Если хотя бы одно из подвыражений дизъюнкцииистинно на некотором наборе значений... переменных, то и вся дизъюнкция принимает истинное значение для данного набора подвыражений.... и вся дизъюнкция этих выражений тоже ложна.
На примере занимательных задач авторы знакомят читателей с математической логикой, с понятиями истинного и ложного высказывания, отрицания, конъюнкции, дизъюнкции, таблицы истинности. В приводимых случаях решение получается однозначно и автоматически. В качестве примеров использованы задачи из книг Раймонда М. Смаллиана "Как же называется эта книга?", "Принцесса или тигр?", "Алиса в стране смекалки".
Такая дизъюнкция двух высказываний истинна тогда, когда истинно хотя бы одно из этих высказываний.... Во втором случае исключающая дизъюнкция двух высказываний истинна тогда, когда истинна только одна из... Символом ∪ обозначим дизъюнкцию в неисключающем смысле, для исключающего "или" (дизъюнкции в исключающем... Таблица истинности для обоих видов дизъюнкции показывает, что неисключающая дизъюнкцияистинна, тогда... , когда истинна хотя бы одна из её составляющих; исключающая дизъюнкцияистинна тогда, когда истинным
Автором для работы с векторами истинности предложены операции композиционного умножения и сложения. На их основе определены две формы связок конъюнкции и дизъюнкции и предложены схема расчета истинности заключений, сделанных по правилам modus ponens и modus tollens. Для моделирования рассужденийвведены понятия содержательного и формального выводов. Сформулировано понятие нестрого случайного события и введены основные операции и отношения над ними. Разработана и исследована модель множеств с неопределенным и противоречивым содержанием.
[automated] — технический объект: устройство, система или процесс, в котором используются автоматы или другие средства автоматизации. В отличие от понятия «автоматический» в работе указанных средств или в выполняемом ими процессе предполагается участие человека.
[encryption (cryptography) algorithm] — математическая формула использования ключей для шифрования документов и сообщений. Для симметричных алгоритмов требуются симметричные ключи, для асимметричных алгоритмов — асимметричные ключи.