-1

С помощью правил естественного вывода доказать выводимость формулы $% \neg (\neg ( \neg Y \vee Z) \supset (\neg X \vee Z)) \equiv (X \& Y \& \neg Z) $% в теории $% L $%. $$A, B \vdash A \wedge B$$ $$A \wedge B \vdash A$$ $$A \wedge B \vdash B$$ $$A \vdash A \vee B$$ $$B \vdash A \vee B$$ $$A \supset B, B \supset C \vdash A \supset C$$ $$B \supset A \vdash \bar A \supset \bar B$$ $$B \supset \bar A \vdash A \supset \bar B$$ $$A \supset B, \bar A \supset B \vdash B $$ $$A, \bar B \vdash \overline{(A \supset B)}$$ $$A, A \supset B \vdash B \space (modus\space ponens)$$ Правилом замены эквивалентным не пользоваться.

задан 28 Фев '18 23:48

Однотипных задач из этой серии на форуме было очень много. Разбирать каждую из них -- слишком хлопотно. Вот образец решения одной из них. Разбирайте, и рассуждайте по аналогии. Набор приёмов там везде примерно один и тот же.

(1 Мар '18 1:06) falcao
10|600 символов нужно символов осталось

Вопрос был закрыт. Причина - "Повтор вопроса". Закрывший - falcao 1 Мар '18 1:06

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

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

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

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

отмечен:

×928
×430
×32

задан
28 Фев '18 23:48

показан
363 раза

обновлен
1 Мар '18 1:06

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

по почте:

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

по RSS:

Ответы

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

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