Как вывести $%\neg(p\land q)\rightarrow \neg p \lor \neg q$%

в natural deduction system? Правила вывода такие: https://i109.fastpic.ru/big/2019/0209/d2/a9fb3797920864ae34a6392da11bc0d2.png

Пример доказательства закона исключения третьего: https://i110.fastpic.ru/big/2019/0209/4a/9e70e33f31c9a15462e4915bc217984a.png

Двойственный закон я вывести смог (то есть $%\neg p \lor \neg q\rightarrow\neg (p\land q)$%, но с первым проблемы...

Стратегия такая: предполагаем $%\neg (p \land q)$%. Далее предполагаем $%p$%, и желаем прийти к противоречию, чтобы заключить $%\neg p$% (если это есть, то можно получить и конъюнкцию). Но как получить противоречие? Может как-то привлечь закон исключения третьего?

задан 9 Фев 20:51

10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×702

задан
9 Фев 20:51

показан
17 раз

обновлен
9 Фев 20:51

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

по почте:

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

по RSS:

Ответы

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

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