Учебная работа № 6447. «Контрольная Мат. логика и теория алгоритмов вариант 8
Учебная работа № 6447. «Контрольная Мат. логика и теория алгоритмов вариант 8
Содержание:
«Задание 2.
Составление легенды по клаузе.
По вашему выбору для двух из трех клауз составьте легенды.
Задание 3.
Составление клаузы по легенде.
Ниже приведены легенды. Запишите с использованием 4—6 различных букв клаузу, отвечающую тексту или контексту вашей легенды, для чего сформулируйте необходимые посылки и два следствия: одно истинное, другое ложное. С помощью таблицы истинности найдите МНФ, минимальное и все трансверсальные покрытия.
Если усложнить схему устройства, то возрастет его производительность, а если использовать новую элементную базу, то увеличится период эксплуатации. Устройство начнут хорошо раскупать только при одновременном росте его производительности и периода эксплуатации. Но устройство не пользуется спросом.
Задание 4.
Задание по логике предикатов.
Установить истинность логического выражения путем конкретизации.
х (А(х) -> В) = x А(х) -> В
Список используемой литературы»
Форма заказа готовой работы
Выдержка из похожей работы
данного высказывания в виде формулы,
не содержащей внешних знаков отрицания,
Перевести на естественный язык,
3,
Установить, является ли данное рассуждение
правильным, (проверить, следует ли
заключение из конъюнкции посылок),Варианты
индивидуальных заданийВариант №1
1, (P
Q)
((Q
R)
(P
R)),
2, Он и жнец, и швец,
и на дуде игрец,
3, Если человек
принял какое-то решение, и он правильно
воспитан, то он преодолеет все конкурирующие
желания, Человек принял решение, но не
преодолел конкурирующих желаний,
Следовательно, он неправильно воспитан,Вариант №2
1, (P
Q)
((P
(Q
R))
(P
R)),
2, Идет дождь, и
идет снег,
3, Если данное
явление психическое, то оно обусловлено
внешним воздействием на организм, Если
оно физиологическое, то оно тоже
обусловлено внешним воздействием на
организм, Данное явление не психическое
и не физиологическое
