2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Доказать секвенцию
Сообщение10.02.2013, 17:21 
Нужно определить, доказуема секвенция. Проще говоря, доказать секвенцию.
$ \forall x \forall y [P(x,y) \rightarrow P(y,x)], \exists x P(x,x) \vdash \forall y P(y,y)$
Не знаю, как работать с 2 переменными и заносить кванторы всеобщности слева.
Заранее благодарен.

 
 
 
 Re: Доказать секвенцию
Сообщение10.02.2013, 17:39 
FireStar в сообщении #682172 писал(а):
Нужно определить, доказуема секвенция. Проще говоря, доказать секвенцию.
Это не одно и то же.

 
 
 
 Re: Доказать секвенцию
Сообщение10.02.2013, 17:44 
Ну, вообще, нужно определить, доказуема ли она. Ну а вообще, логично предположить, что она доказуема, и нужно привести доказательство этой секвенции.

 
 
 
 Re: Доказать секвенцию
Сообщение10.02.2013, 17:46 
FireStar в сообщении #682178 писал(а):
Ну а вообще, логично предположить, что она доказуема, и нужно привести доказательство этой секвенции.
Нелогично — если она не доказуема, то её доказательство привести нельзя.

 
 
 
 Re: Доказать секвенцию
Сообщение10.02.2013, 17:47 
Вы наших преподавателей не знаете.
В любом случае, если она не доказуема, этот факт тоже нужно как-то обосновать.

 
 
 
 Re: Доказать секвенцию
Сообщение10.02.2013, 17:50 
Конечно, надо. Но вы попробуйте для начала. На этом форуме готовые решения без участия спрашивающего запрещены.

-- Вс фев 10, 2013 20:56:32 --

Ах да, тут же самое важное пропущено: какие у вас аксиомы и правила вывода.

 
 
 
 Re: Доказать секвенцию
Сообщение10.02.2013, 17:57 
У меня есть несколько шагов от готовой секвенции к началу:

$ \forall x \forall y [P(x,y) \rightarrow P(y,x)],  P(x,x) \vdash P(y,y)$
$ \forall x \forall y [P(x,y) \rightarrow P(y,x)], \exists x P(x,x) \vdash P(y,y)$
$ \forall x \forall y [P(x,y) \rightarrow P(y,x)], \exists x P(x,x) \vdash \forall y P(y,y)$
Вот, а как быть с тем, что тут имеются две переменные и кванторы всеобщности слева, я не знаю. У нас в правилах добавления слева нет.

 
 
 
 Posted automatically
Сообщение10.02.2013, 18:11 
Аватара пользователя
 i  Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Тема перемещена в Карантин по следующим причинам: оформление формул.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

 
 
 
 Posted automatically
Сообщение11.02.2013, 06:26 
Аватара пользователя
 i  Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»
вернул

 
 
 
 Re: Доказать секвенцию
Сообщение11.02.2013, 09:10 
Собственно, правила:

Изображение
Изображение

 
 
 [ Сообщений: 10 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group