Задача: пусть $%A$% не содержит свободных вхождений $%x$%. Доказать выводимость в исчислении ИПС (исчисление предикатов секвенциальное). Это исчисление описано в книге Лаврова и Максимовой на странице 89.

Исходная секвенция следующая: $%\vdash ((A \supset \exists x B(x)) \equiv \exists x (A \supset B(x)))$%. Застрял на секвенции в выводе импликации слева направо: $%A \supset \exists x B(x) \vdash \exists x (A \supset B(x))$%. На какое правило стоит посмотреть?

задан 3 Ноя '20 3:42

@iyruteyrwteq: попробуйте принять посылку и далее рассуждать от противного. Потом надо будет использовать предыдущие пункты упражнения о связи квантора существования с квантором всеобщности.

(3 Ноя '20 15:25) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×1,054
×79
×34

задан
3 Ноя '20 3:42

показан
74 раза

обновлен
3 Ноя '20 15:25

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

по почте:

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

по RSS:

Ответы

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

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