Рекомендуемая категория для самостоятельной подготовки:
Контрольная работа*
| Код |
605500 |
| Дата создания |
2019 |
| Страниц |
1
|
Мы сможем обработать ваш заказ (!) 20 декабря в 12:00 [мск] Файлы будут доступны для скачивания только после обработки заказа.
|
Введение
.1) Обозначим символами простые суждения, входящие в состав сложного:
р – курок ружья сломан,
q – ружье даст осечку
Запишем формулу рассуждения:
((p→q) & ¬p) → ¬q
Построим таблицу истинности для данной формулы. Количество строк в таблице будет равно 2n, где n – количество переменных, т.е. 22 = 4
p q ¬p ¬q p→q (p→q) & ¬p ((p→q) & ¬p) → ¬q
и и л л и и л
и л л и л л и
л и и л и л и
л л и и и л и
Формула может принимать как исинные, так и ложные значения при разных значениях переменных. Поэтому формула выполнима, но не является логическим законом.
2.1) Обозначим
Фрагмент работы для ознакомления
Запишите в символическом виде и проверьте с помощью таблицы истинности наличие логического следования:
2.1) Если курок ружья сломан, то ружье даст осечку. Курок ружья не сломан. Значит ружье не даст осечки.
2.2) Социалисты поддержат президента лишь в том случае, если он подпишет данный указ. Либералы окажут ему поддержку, лишь тогда, когда он наложит на него вето. Очевидно, что он не подпишет указ или не наложит на него вето. Следовательно, президент потеряет поддержку у социалистов или либералов.
Список литературы
Отсутствует
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
Другие контрольные работы
bmt: 0.00375