\end{equation*}を妥当と定めます。instantiation)などと呼ばれる推論規則です。全称除去は、すべてのものに当てはまることは、そのカテゴリーに属する特定のものにも当てはまることを保証する推論規則です。例(全称除去)以下の推論について考えます。\\&&\text{アリストテレスは人間である。}\end{eqnarray*}変数\(X\)の定義域\(X\)はすべての人間からなる集合であるものとします。持っている}\end{equation*}と定義します。\overline{x}\right)\end{equation*}と定式化できます。持っており、なおかつアリストテレスは人間ですから、全称例化より上の推論は妥当です。\overline{x}\right)\end{equation*}は真です。\tag{2}\end{equation}という論理式が導かれます。\)でそれぞれ表記します。\)とそれぞれ表記します。\end{equation*}について考えます。\)がともに真であるような解釈を任意に選びます。