Помогите c МатЛогикой
Добавлено: 15 янв 2008, 11:47
Задание - доказать секвенцию, пользуясь только двенадцатью основными правилами ИВ.
Начинать док-во можно c аксиомы, т. e. секвенции вида
![$$\Phi\vdash\Phi$$ $$\Phi\vdash\Phi$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%5CPhi%5Cvdash%5CPhi%24%24)
Секвенция вот такая.
![$$\bar{((\Phi_1\vee\Phi_2)\to\Phi_1)},\bar{\Phi_1}\vdash(\Phi_3\to\Phi_2)$$ $$\bar{((\Phi_1\vee\Phi_2)\to\Phi_1)},\bar{\Phi_1}\vdash(\Phi_3\to\Phi_2)$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%5Cbar%7B%28%28%5CPhi_1%5Cvee%5CPhi_2%29%5Cto%5CPhi_1%29%7D%2C%5Cbar%7B%5CPhi_1%7D%5Cvdash%28%5CPhi_3%5Cto%5CPhi_2%29%24%24)
Пытался решать сам, застопорился на том, чтобы доказать секвенцию:
![$$(\Phi_1\vee\Phi_2),\Phi_2\vdash\Phi_1$$ $$(\Phi_1\vee\Phi_2),\Phi_2\vdash\Phi_1$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%28%5CPhi_1%5Cvee%5CPhi_2%29%2C%5CPhi_2%5Cvdash%5CPhi_1%24%24)
He знаю, сколько здесь ярых любителей секвенций (подозреваю, что немного). Bce-таки надеюсь. Благодарен буду за любую помощь, предложения, либо указание каким путем искать решение.
Начинать док-во можно c аксиомы, т. e. секвенции вида
Секвенция вот такая.
Пытался решать сам, застопорился на том, чтобы доказать секвенцию:
He знаю, сколько здесь ярых любителей секвенций (подозреваю, что немного). Bce-таки надеюсь. Благодарен буду за любую помощь, предложения, либо указание каким путем искать решение.