$$A\vee D\Rightarrow B, \overline{B}, C\Rightarrow A\vdash \overline{C}$$

задан 28 Май '15 16:31

Вот примерное рассуждение, которое надо оформить в соответствии с формальными правилами вывода в исчислении. Нам дано три утверждения, мы из них выводим отрицание C. Рассуждая от противного, предполагаем отрицание того, что мы хотим доказать, то есть C с двумя чертами. Отбрасывая двойное отрицание, имеем C. Применяем правило modus ponens и выводим A при помощи третьей формулы C->A. Поскольку есть A, то её ослаблением будет A V D. Снова по modus ponens из первого выводим B, что противоречит второй формуле (отрицание B). Это -- основа, остальное -- детали оформления.

(28 Май '15 17:14) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×3,079

задан
28 Май '15 16:31

показан
164 раза

обновлен
28 Май '15 17:14

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru