Рекомендуемая категория для самостоятельной подготовки:
Решение задач*
| Код |
267275 |
| Дата создания |
09 мая 2015 |
| Страниц |
2
|
Мы сможем обработать ваш заказ (!) 22 апреля в 12:00 [мск] Файлы будут доступны для скачивания только после обработки заказа.
|
Описание
Логика. Задание 89
Осуществите косвенный вывод (вывод от противного) указанного заключения из данных посылок с использованием вспомогательных допущений в натуральном исчислении.
Посылки: Некоторые преступления являются общественно полезными или же ни одно преступление не является нравственным поступком. Если некоторые преступления общественно полезны, то хотя бы одно преступление заслуживает государственной награды. Известно, что ни одно преступление не заслуживает государственной награды.
Заключение: Ни одно преступление не является нравственным поступком.
Решение
...
Содержание
-
Введение
-
Фрагмент работы для ознакомления
Известно, что ни одно преступление не заслуживает государственной награды.Заключение: Ни одно преступление не является нравственным поступком.Решение1. Обозначим:А(x) – преступление х является общественно полезными.B(x) – преступление х является нравственным поступком. С(х) – преступление х заслуживает государственной награды. 2. Перепишем наши суждения:х А(x) ˅ ┐х B(x)х А(x) → х C(x)┐х C(x)┐х B(x)3. Переобозначим:A’ = х А(x)B’ = х В(x)C’ = х С(x)4.
Список литературы
-
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
bmt: 0.00422