замкнутость ФАЛ

[Mathusic]

Для доказательства остальных примеров -нет.

[cyb12]

Ok, согласен.

[Spook]

Mathusic писал(а):

Дайте их.

Думаю, нет смысла печатать сюда определения.

Mathusic писал(а):

Ещё проще видеть, что сам класс конечен, а его замыкание - счётно.

Замыкание конечно, ведь кол-во переменных конечно.

cyb12 писал(а):

И этого я тоже не понимаю.

Это относилось к другим доказательствам, а не к первому пункту.

В общем, остался последний пункт. У меня по нему такая мысль: подставив вместо последнего аргумента нуль, мы получим функцию, зависящую от четного числа аргументов. Значит, класс незамкнут.

[cyb12]

Spook в сообщении #333205 писал(а):

Замыкание конечно, ведь кол-во переменных конечно.

Как так конечно? $n=1,2,3,\ldots$?

[Spook]

А что? Любое натуральное число. Но мне кажется, решение от этого не должно зависеть.

[cyb12]

Но натуральных чисел же не конечно, а счетно!

[Spook]

Я не вижу противоречия. Для меня всегда такие записи обозначают произвольное конечное число. Но спорить по этому поводу - это так важно в данной теме? Лучше скажите, как Вам моё решение последнего пункта

[cyb12]

Spook в сообщении #333214 писал(а):

Лучше скажите, как Вам моё решение последнего пункта

Согласен с Вашим решением).

[Mathusic]

Spook в сообщении #333205 писал(а):

Mathusic писал(а):

Дайте их.

Думаю, нет смысла печатать сюда определения.

Mathusic писал(а):

Ещё проще видеть, что сам класс конечен, а его замыкание - счётно.

Замыкание конечно, ведь кол-во переменных конечно.

Теперь всё окончательно ясно. Определений вы не знаете. Так зачем людям 3 страницы голову морочить? Разберитесь с определениями.

[Spook]

cyb12, на том и порешим)

Mathusic, я как раз хотел попросить Вас высказаться по поводу моих знаний Напомню, что Вы предложили искать в замыкании множества в четвертом пункте константную единицу

Всем спасибо за обсуждение. Если кто-то захочет написать свое решение - буду рад.

[Mathusic]

Описался, а потом исправился. Единицы там нет.
А определения всё-таки выучите.

-- Вс июн 20, 2010 20:57:23 --

9) $A=\{0,x_1\oplus...\oplus x_{2n-1},n=1,2,...\}$
Фиксируем $n$. Полагаем все переменные, акромя первой и второй равными $0$ $\Rightarrow$ $x\oplus y \in [A]$, но $x\oplus y \not \in A$. Что хотели.