Решить 2 задачи

  1. Главная
  2. Заказы
  3. Задача
  4. Решить 2 задачи
Выполнен
Заказ
3878137
Раздел
Математические дисциплины
Предмет
Математическая логика
Тип работы
Задача
Антиплагиат
70% eTXT
Срок сдачи
8 Фев 2021 в 03:00
Цена
0 ₽
Блокировка
10 дней
Размещен
3 Фев 2021 в 19:40
Просмотров
34
Описание работы
1) С помощью правил естественного вывода построить вывод пропозициональной формулы в теории K. Правилом замены эквивалентным не пользоваться.
¬(¬(X ? Z) ? Y ) ? (¬X ? ¬Y ? ¬Z)
2) Выяснить, к какому классу (общезначимых, выполнимых, опровержимых, противоречий) относится заданная формула.
?x?z (P(x, y) ? P(y, z))
Нужна такая же работа?
  • Разместите заказ
  • Выберите исполнителя
  • Получите результат
Гарантия на работу1 год
Средний балл4.52
СтоимостьНазначаете сами
ЭкспертВыбираете сами
Уникальность работыот 70%
Время выполнения заказа:
2 дня 13 часов 20 минут
Выполнен в срок
4 Фев 2021 в 03:40
Начало работы
6 Фев 2021 в 17:00
Окончание работы
Отзыв о выполненном заказе
Предыдущий заказ
Муниципальная молодёжная политика: направления развития
Следующий заказ
Курсовая на 30 страниц
Нужна аналогичная работа?
Оформи быстрый заказ и узнай стоимость
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Прямой эфир