дискретная

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

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

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

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

Задача
6 28
13 Дек в 14:0713.12.2018 в 14:07
17 Дек в 23:5517.12.2018 в 23:55
Задача
6 28
17 Дек в 23:5517.12.2018 в 23:55
Контрольная
2 23
13 Дек в 10:1813.12.2018 в 10:18
Срок сдачи не указан
Контрольная
2 23
Срок сдачи не указан
Контрольная
1 27
28 Ноя в 08:2928.11.2018 в 08:29
Срок сдачи не указан
Контрольная
1 27
Срок сдачи не указан
Контрольная
8 42
19 Ноя в 09:4519.11.2018 в 09:45
Срок сдачи не указан
Контрольная
8 42
Срок сдачи не указан