 Below are some of the principles involving disjunction that classical logic validates. In the list we adopt the model-theoretic notation (\(\models\)) because such perspective will be more prominent in the following section. \(\models \phi\) means \(\phi\) is true in all interpretations. The last two principles in the list are model-theoretic analogues of disjunction introduction and elimination, respectively.