271
правка
Изменения
Нет описания правки
<tex>
L(g_{i,x}) = \begin{cases}
X, & U(i, x) = 1 ; \\ \varnothing, & U(i, x) \neq 1 ; \\
\end{cases}
</tex>
Следовательно, <br/> <tex>
US(\langle i, x \rangle ) = p_A(g_{i,x}) = \begin{cases}
p_A(p_X), & U(i, x) = 1 ; \\ p_A(p_\varnothing ), & U(i, x) \neq 1 ; \\
\end{cases} = \begin{cases}
1, & U(i, x) = 1 ; \\ 0, & U(i, x) \neq 1 ; \\
\end{cases}
</tex> {{---}} программа, разрешающая универсальное множество. Получили противоречие.
}}
