Создан заказ №3374452
25 ноября 2018
Метод резолюций в логике высказываний
Как заказчик описал требования к работе:
1. Используя метод резолюций доказать невыполнимость (или выполнимость)
следующих множеств дизъюнктов. Применять произвольный порядок
перебора дизъюнктов, а также, по указанию преподавателя, одну из
следующих стратегий: предпочтение одночленам, линейную, насыщение
уровня. (скриншот)
2. Записать форм
ально следующее рассуждение на языке логики высказываний
и доказать его справедливость, используя метод резолюций.
в) Посылки: Если имеет место денежная эмиссия, то растет курс доллара.
Если эмиссии нет и инфляция не растет, то курс доллара не растет. Инфляции
нет.
Заключение: Имеет место эмиссия и растет курс доллара или нет эмиссии
и курс доллара не расте
подробнее
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
26 ноября 2018
Заказ завершен, заказчик получил финальный файл с работой
5
Метод резолюций в логике высказываний.jpg
2018-11-29 17:10
Последний отзыв студента о бирже Автор24
Общая оценка
4
Положительно
Понравилась работа с автором. Большое спасибо за такое приятное сотрудничество. Подчеркну, что автор не боится сложных, нетипичных задач, отлично работает он лайн, умеет подстроиться под конкретного заказчика.
Хочешь такую же работу?
300 ₽
