Как доказать такое утверждение?

Для любого множества $%G$% пропозициональных предложений и для любых пропозициональных предложений $%\phi,\psi,$% $$G\models \phi\to \psi\iff G\cup\{\phi\}\models\psi$$

задан 10 Фев 5:34

Это теорема дедукции. Она разбирается в учебниках. Доказательство зависит от специфики используемого исчисления. В одну сторону оно совсем простое: если выведено ф->psi и дано ф, то psi выводится по правилу modus ponens. В другую сторону доказательство может быть и длинным. См. примеры в Мендельсоне.

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

Ваш ответ

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

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

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

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

отмечен:

×702

задан
10 Фев 5:34

показан
22 раза

обновлен
10 Фев 12:33

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

по почте:

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

по RSS:

Ответы

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

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