109
правок
Изменения
м
→Доказательство: is even -> \vdots 2
Доказательство аналогично доказательству предыдущего утверждения.
<math>L=\left\{\varphi | \mid \varphi \in SAT \and f(|\varphi|) \text{ is even}, \vdots \, 2\right\}</math>
<math>A=\left\{x | \mid f(|x|) \text{ is even}, \vdots \, 2 \right\}</math>
<math>f(0) = f(1) = 0</math>
