 Intuitively, the former tells us that we can conclude \((\phi \vee \psi)\) on the basis of \(\phi\) (or of \(\psi\)), while the latter states that \(\theta\) will follow from a disjunction \((\phi \vee \psi)\) if it can be derived from \(\phi\) and also from \(\psi\).