Помогите с Мат.Логикой \ Парочка задач Создана: 06 Февраля 2011 Вск 17:48:51. Раздел: "Нужна помощь" Сообщений в теме: 3, просмотров: 2043 Панель управления темой #177870 Всего в теме участников: 2. Можете посмотреть их сообщения выборочно: ОрАнЖеВыЙ апеЛьсин (+2) Пацанчег с острова (+1) Всех (Сброс) Только этих Без этих ОрАнЖеВыЙ апеЛьсинАктивист Сообщений:437 06 Февраля 2011 Вск 17:48:51 #2150268 Задание 1. Доказать секвенцию исчисления высказываний тремя способами: - сравнением таблиц истинности - построением доказательства в виде дерева - методом резолюции вот сам пример - сравнение таблиц истиности сделал, со следующими помогите разобраться как и с чего начать. Задание 2. Перевести с естественного языка на язык исчисления предикатов и сделать вывод, если это возможно. Некоторые устрицы молчаливы. Молчаливые существа не очень-то забавны. Ответить Пацанчег с острова Сообщений:8381 06 Февраля 2011 Вск 17:55:59 #2150272 Укуренные устрицы забавно плавают брасом. Брасом плавать не каждый сможет сразу, даже предварительно курнув. Ответить ОрАнЖеВыЙ апеЛьсинАктивист Сообщений:437 06 Февраля 2011 Вск 17:58:36 #2150274 молодец сфлудил хорошо Ответить