Мат. логика. Свободные и связанные переменные

[Sonic86]

Ankkka в сообщении #823893 писал(а):

Значит просто вынести нельзя? т.е все вынести за скобку а в скобках оставить только дизъюнкцию

Можно Просто это еще обосновать надо.

[Ankkka]

"Законы вынесения кванторов" не подойдут? Я ими пользовалась

Уточнила: Коммутация одноименных кванторов, законы дистрибутивности

[Sonic86]

Ankkka в сообщении #823899 писал(а):

"Законы вынесения кванторов" не подойдут?

Да, подойдут.
Ну остался всего 1 шаг фактически

[Ankkka]

$ \exists a \exists b \exists d ((\neg Q(a,y)) \vee Q(x,b) \vee R(d,y))$

Да?:)

[Sonic86]

Ankkka в сообщении #823904 писал(а):

Да?:)

Ага

(Оффтоп)

Ankkka в сообщении #823899 писал(а):

"Законы вынесения кванторов" не подойдут? Я ими пользовалась

Уточнила: Коммутация одноименных кванторов, законы дистрибутивности

До меня, просто, только сейчас дошло. Я ведь могу и вот так сделать:
$\exists x P(x)\equiv \exists x P(x)\vee \exists y P(y)\equiv \exists x \exists y (P(x)\vee P(y))$.
Фигня какая-то, правда?

[Ankkka]

Спасибо.

(Оффтоп)

А разве так можно? На каком основании выносить квантор за скобку?

[Sonic86]

(Оффтоп)

Ankkka в сообщении #823909 писал(а):

А разве так можно? На каком основании выносить квантор за скобку?

Да можно вроде Просто усложняется выражение...