Математическая логикаКонтрольная работаТУСУР
Контрольная работа №2 по математической логике, вариант 16. В работе решаются задания по теории множеств и логике высказываний. Первое задание — доказать или опровергнуть утверждение о трёх непустых множествах, не имеющих общих элементов, с помощью диаграмм Эйлера; приведён конкретный пример, показывающий, что утверждение неверно. Второе задание — определить, что можно сказать об истинностном значении высказывания, если некоторые формулы истинны; решение использует свойства импликации, которая принимает значение «ложь» только в одном случае. Работа оформлена в виде документа с разбором заданий.
Математическая логикаКонтрольная работаТУСУР
Контрольная работа по дисциплине «Математическая логика», вариант № 5. В работе рассматриваются два задания. Первое посвящено проверке эквивалентности логических формул с использованием свойств операции симметрической разности: коммутативности и ассоциативности. На примере доказательства показано, что формулы переходят друг в друга путём циклического сдвига, что свидетельствует об их эквивалентности. Второе задание — анализ формулы, содержащей три логические переменные, с целью определить, является ли она тавтологией, противоречием или ни тем, ни другим. Для решения последовательно строится таблица истинности. Работа оформлена в текстовом файле, содержит подробные выкладки и пояснения к решению.
Математическая логикаКонтрольная работаТУСУР
Готовая задача по математической логике (ТУСУР), вариант №18. В работе представлено решение трёх заданий. Первое задание — проверка тождества, связанного с симметрической разностью множеств; тождество доказывается двумя способами: через включение элементов и с использованием свойства ассоциативности. Второе задание — определение истинностного значения высказывания при условии, что другое высказывание истинно; решение основано на доказательстве от противного. Третье задание — перевод с естественного языка на формальный (начало решения приведено в файле). Работа оформлена в текстовом документе, содержит подробные пояснения и обоснования.
