e/Independence of premise

Information
has gloss	eng: In proof theory and constructive mathematics, the principle of independence of premise states that if φ and ∃ x θ are sentences in a formal theory and is provable, then is provable. Here x cannot be a free variable of φ.
lexicalization	eng: independence of premise
instance of	e/Rule of inference