Лента заказов

дискретная

Отменен
  • Раздел: Математические дисциплины
  • Предмет: Дискретная математика
  • Тип работы:
  • Срок сдачи: не указан
  • Цена: Договорная
  • Блокировка: 10 дней
Пользователь 10
Rullita
Был(а) на сайте 5 лет назад
  • Номер заказа: 328
  • Дата размещения: 7 апр 2011 в 20:25
  • Просмотров: 82
  • Антиплагиат: Не указан

Описание

«Братья носят одинаковую фамилию» «Иван и Петр - братья» «Фамилия Ивана - Сидоров» -------------------------------------- Следовательно, фамилия Петра также Сидоров. Сначала перевести в язык логики предикатов, затем полученное логическое следствие в язык дизъюнктов. Используя принцип резолюции доказать, что данное логическое рассуждение логически правильное.

Хотите выполнять заказы? Стать автором
Хотите заказать работу? Разместить заказ
Похожие заказы
Показать еще похожие заказы Похожих заказов больше нет
Цена работы -
Редактирование заказа
Загрузка файлов
Загрузка файлов