Учебная работа .Контрольная Математическая логика. Задачи 1, 4, 5, 8 № 35561

1 ЗвездаПлохоСреднеХорошоОтлично (5 оценок, среднее: 4,60 из 5)
Загрузка...

Контрольная Математическая логика. Задачи 1, 4, 5, 8
Предмет:Логика Тип работы:Контрольная Количество страниц:7
«\»Задача № 1 3
Записать следующие высказывания в виду формул логики высказываний, используя пропозициональные (логические) переменные для обозначения элементарных высказываний, т.е. таких, которые уже не могут быть построены из какихлибо других высказываний: «Неверно, что ни Петров, ни Сидоров не выдержали экзамен».
Задача №4 3
Упростить полученную в задании 3 формулу, используя законы алгебры логики:
Задача №5 5
Доказать с помощью тождественных преобразований равносильность упрощенной формулы (задание 4) и исходной (задание 2)
Задача №8 5
Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов наименьшей местности; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме: «Если либо всякий любитель выпивки общителен, либо некий ростовщик честен и не пьет вина, то неверно, что всякий ростовщик общителен»
Литература 7\»»
Цена:490 руб.

Учебная работа.Контрольная Математическая логика. Задачи 1, 4, 5, 8 № 35561

    Форма заказа готовой работы

    --------------------------------------

    Укажите Ваш e-mail (обязательно)! ПРОВЕРЯЙТЕ пожалуйста правильность написания своего адреса!

    Укажите № работы и вариант

    Соглашение * (обязательно) Федеральный закон ФЗ-152 от 07.02.2017 N 13-ФЗ
    Я ознакомился с Пользовательским соглашением и даю согласие на обработку своих персональных данных.