【専門書】数学の本第75巻【啓蒙書】

[0226 １３２人目の素数さん 2018/01/30(火) 16:27:06.64 ID:R3FSieGV]

>>225

y := x ∧ x とおく。
z := x ∨ (x ∧ x) とおく。

x ∧ (x ∨ (x ∧ x)) = x ∧ (x ∨ y) = x

z = x だから、、
x ∧ (x ∨ (x ∧ x)) = x ∧ x

よって、

x ∧ x = x



y := x ∨ x とおく。
z := x ∧ (x ∨ x) とおく。

x ∨ (x ∧ (x ∨ x)) = x ∨ (x ∧ y) = x

z = x だから、、
x ∨ (x ∧ (x ∨ x)) = x ∨ x

よって、

x ∨ x = x