6.241. Доказательство суждения 2 × 2 = 4 выглядит следующим образом: (Ωv)υ, x = Ωv × υ, x Def., Ω2×2, x = (Ω2)2, x = (Ω2)1 + 1, x = = Ω2, Ω2, x = Ω1 + 1, Ω1 + 1, x = (Ω’Ω)’(Ω’Ω)’x = = Ω’Ω’Ω’Ω’x = Ω1 + 1 + 1 + 1, x = Ω4, x.