Что-то я у Вас не понимаю про множество

. Это множество из двух функций. Оно не замкнутое, хотя бы потому, что

,
![$x_1\oplus 1 \notin [A]$ $x_1\oplus 1 \notin [A]$](https://dxdy-03.korotkov.co.uk/f/a/e/3/ae376780c0024c156ea86daad1c0dd0d82.png)
. Верно же?
Про незамкнутость - верно (это просто очевидно).
Остальное - нет. Оператор
![$[\ . \ ]$ $[\ . \ ]$](https://dxdy-03.korotkov.co.uk/f/e/f/3/ef3d2959e883f397d6ff0301c7dc71b682.png)
замыкания класса, очевидно, обладает свойством монотонности, то есть
![$A \subseteq [A]$ $A \subseteq [A]$](https://dxdy-03.korotkov.co.uk/f/a/3/a/a3a754d483a7614ffaf555d90b9262fa82.png)
, а дальше, очевидно,
![$[A] = [[A]]$ $[A] = [[A]]$](https://dxdy-01.korotkov.co.uk/f/c/a/c/cacb4ca614e50ba69249c57f1c457f8b82.png)
и т.д.
-- Вс июн 20, 2010 19:20:46 --А если у нечетного кол-ва аргументов сделать существенными только четное кол-во? Доказательства же построены на кол-ве аргументов, если я правильно понял.
Как вы это сделаете? Там все функции, кроме констант существенно зависят от переменных.