18/01/30 16:27:06.64 R3FSieGV.net
>>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