Elimination of the quantifier ∃ in ∃x ∈ ]a, b[ , φ

• If φ is a conjunction, click here.

• If not, we are going to split φ in DNF.