18/01/30 16:46:51.81 FUGxxzq8.net
>>226
＞x ∧ (x ∨ (x ∧ x)) = x ∧ (x ∨ y) = x
これは、何を使って示したのですか？
∧∨は特定の関係（たとえば ∩∪）を仮定していませんか？
18/01/30 16:46:51.81 FUGxxzq8.net
>>226
＞x ∧ (x ∨ (x ∧ x)) = x ∧ (x ∨ y) = x
これは、何を使って示したのですか？
∧∨は特定の関係（たとえば ∩∪）を仮定していませんか？
18/01/30 16:46:51.81 FUGxxzq8.net
>>226
＞x ∧ (x ∨ (x ∧ x)) = x ∧ (x ∨ y) = x
これは、何を使って示したのですか？
∧∨は特定の関係（たとえば ∩∪）を仮定していませんか？