>>166
結論が「…または…」の場合は片方を否定した場合で考えれば良い
たとえば、(A≠{a})∧({a}⊂A⊂{a,b})⇒A={a,b} を証明する
A={a}⇔(a∈A)∧(∀x∈A[x=a]) だから A≠{a}⇔(a∉A)∨(∃x∈A[x≠a])
従って
(A≠{a})∧({a}⊂A⊂{a,b})⇒(a∈A)∧(∃x∈A[x≠a])∧(A⊂{a,b})
⇒(a∈A)∧(b∈A)∧(A⊂{a,b})⇒A={a,b}
となる