Благодарю за контрольную по логике)
Информация о работе
Подробнее о работе
Запишите в символическом виде и проверьте с помощью таблицы истинности наличие логического следовани
- 1 страниц
- 2019 год
- 67 просмотров
- 0 покупок
Гарантия сервиса Автор24
Уникальность не ниже 50%
Фрагменты работ
.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) Социалисты поддержат президента лишь в том случае, если он подпишет данный указ. Либералы окажут ему поддержку, лишь тогда, когда он наложит на него вето. Очевидно, что он не подпишет указ или не наложит на него вето. Следовательно, президент потеряет поддержку у социалистов или либералов.
Отсутствует
Форма заказа новой работы
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
