∃u[(u=x∨u=y)∧t∈u]⇔∃u(t∈x∨t∈y)の証明方法どなたかお願いします。
概略だけでいいので。
何の推論規則使うかとかお願いします。