alt text

Помогите, пожалуйста, доказать эту формулу.

задан 21 Ноя 3:12

@falcao, помогите, пожалуйста, с доказательством.

(21 Ноя 11:33) Pointer
1

@Pointer: тут полезно было бы видеть все правила вместе, так как есть очень много похожих друг на друга исчислений. Но схема тут примерно такая. Принимаем посылку импликации и выводим заключение (это теорема дедукции). Посылка имеет вид дизъюнкции. На уровне пропозиционального исчисления, должно быть известно правило, позволяющее по A->C и B->C вывести AVB->C. Тогда достаточно вывести заключение из каждого дизъюнктивного члена. В это просто, потому что если дано (Ax)Ф, то снимаем квантор (это подстановка терма), Ф ослабляем до Ф V Psi, а потом применяем правило Gen, которое выводится.

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

Ваш ответ

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

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

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

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

отмечен:

×928

задан
21 Ноя 3:12

показан
37 раз

обновлен
21 Ноя 11:39

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

по почте:

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

по RSS:

Ответы

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

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