質問: a のように書いてもokなのでしょうか? それとも,きちんと 【解法2】 x∈(a∪b)∩(a∪b^c) とすると ∩の定義より x∈a∪b かつ x∈a∪b^c : 逆に,x∈a とすると : のように書くべきでしょうか? 作法・習慣がよくわからないのでご教示お願いします.
回答: 解法1で十分かと思います できれば、証明したときの式番号を書くと良いかと (a∪b)∩(a∪b^c) = a∪(b∩b^c) (*より) = a∪φ (**より) = a のように