Concerning Formulas of the Types $A \rightarrow B \vee C, A \rightarrow (Ex)B(x)$