дискретная

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

Описание работы

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

Рекомендуемые заказы

Хотите выполнять заказы? Стать экспертом
Хотите заказать работу? Разместить заказ
Доверьте свою работу экспертам
Разместите заказ
Наша система отправит ваш заказ на оценку 28 676 авторам
Первые отклики появятся уже в течение 10 минут