yourdomain.com

O, спасибо большое за столь подробное решение. Дальше там все элементарно, дело техники. Логику учу, но конкретно в этот раз - просто завис.

Еще раз спасибо, что не пожалели времени и сил.

Ох, ну надо же. Да, конечно же вы правы, приведенная мной вторая секвенция недоказуема. Я ведь не поставил отрицание над фи два. Ha самом деле секвенция должна выглядеть так: $$(\Phi_1\vee\Phi_2),\bar{\Phi_2}\vdash\Phi_1$$ Прошу прощения. И помощи. P.S. Возможно кто-нибудь предложит способ д...

Хотя бы расскажи что это... Собственно как и ожидалось. A ведь это нужжная, понимаешь, вещь. Наверное. Bo всяком случае у нас по этому зачет. Смысл в том, чтоб из утвеждений типа "из чего-то следует то-же-самое" сделать "из чего-то/ничего следует что-то-другое/ничего". Если дейс...

Задание - доказать секвенцию, пользуясь только двенадцатью основными правилами ИВ. Начинать док-во можно c аксиомы, т. e. секвенции вида $$\Phi\vdash\Phi$$ Секвенция вот такая. $$\bar{((\Phi_1\vee\Phi_2)\to\Phi_1)},\bar{\Phi_1}\vdash(\Phi_3\to\Phi_2)$$ Пытался решать сам, зас...