Выберите Ваш город X

Вариант 4

Скачать Гарантия
Код работы: 35306
Дисциплина: Математическая логика
Тип: Контрольная
Вуз:ПГУТИ - посмотреть другие работы и дисциплины по этому вузу
   
Цена: 390 руб.
Просмотров: 62
Выложена: 15 июля 2019г.
   
Содержание: Содержание

Задание 1 3
Задание 2 3
Задание 3 4
Список используемой литературы 6

   
Отрывок: Задание 1

Установить правильность рассуждения, построив вывод исчисления высказываний.
Если это преступление совершил Смит, то он знает, где находятся похищенные деньги. Смит не знает, где находятся похищенные деньги. Следовательно, он не совершал преступления.
Решение
Пусть
А = «Смит совершил это преступление»
В = «Преступник знает, где находятся похищенные деньги»
Следовательно, нужно исследовать следующее высказывание:

1. допущение
2. допущение
3. А – допущение
4. В – 1, 3, УИ
5. - 2, 4, правило сведения к абсурду
Следовательно, данное рассуждение правильное.

Задание 2

Проверить вывод методом резолюций:
Всякий, кто не может решить эту задачу – не математик. Иван не может решить эту задачу. Значит, Иван не математик.
Решение
Пусть
А(х) = «х решает задачу»
В(х) = «х – математик»
i – «Иван»
Требуется построить следующий вывод:

Последовательно получаем ССФ для посылок и заключения:
1 посылка:
2 посылка:
Заключение:
К полученному набору дизъюнктов применим метод резолюции:
1.
2.
3. - R 1, 2

Задание 3


Доказательство [...]

Скачать эти материалы

 
Не нашли подходящих материалов? Обратитесь к нам – наши тьюторы Вам помогут. Отправьте заявку прямо сейчас.
 
Вернуться к рубрикатору дисциплин »
 

Отзывы клиентов о качествеуслуг наших тьюторов

10 января 2024г.
Андрей
4.9
25 мая 2023г.
Финк Анна Анатольевна
4.9
07 марта 2023г.
Мария Михайловна Земскова
4.9

Возможно Вас также заинтересуют другие материалы:

Тема: Договор перевозки груза и багажа Подробнее
Тип: Курсовая
Вуз: КГТУ
Просмотры: 1731
Выложена: 08 июля 2016г.
Тема: Деятельность защитника в уголовном процессе Подробнее
Тип: Курсовая
Вуз: МПСУ
Просмотры: 44
Выложена: 17 июля 2019г.
Тема: Задание 1 и 2 Подробнее
Тип: Контрольная
Вуз: БТЭК
Просмотры: 1840
Выложена: 24 июня 2013г.
Тема: Экзаменационные билеты 17, 18 Подробнее
Тип: Контрольная
Вуз: НХТК
Просмотры: 1505
Выложена: 16 августа 2017г.
Тема: Гражданско-правовая защита личных неимущественных прав и нематериальных благ субъектов гражданского права Подробнее
Тип: Дипломная
Вуз: иной
Просмотры: 1636
Выложена: 09 июля 2015г.
Тема: Обеспечение пострадавших на производстве и их семей Подробнее
Тип: Курсовая
Вуз: БКТ
Просмотры: 196
Выложена: 11 июля 2019г.

Поиск других материалов, подготовленных тьюторами «ИнПро»® для студенческих работ


Не смогли найти нужный материал? Вы можете отправить заявку или обратиться к услугам тьюторов
 
Вы также можете: Вернуться к рубрикатору дисциплин »
 
 

Запомнить сайт

Обязательное поле
Обязательное поле
Обязательное поле

Отправьте заявку на наши услуги

Отправка запроса ни к чему не обязывает, это бесплатно. Будем рады помочь!

Отправляя заявку, Вы соглашаетесь на обработку персональных данных.
До окончания скидки Скидка 10%
Подать заявку бесплатно