したがって先の推論は妥当です。ponents)などと呼びます。例(全称含意除去)先の推論について再考します。\\&&\text{アリストテレスは人間である。}\end{eqnarray*}変数\(x\)の定義域\(X\)は任意です。持っている}\end{eqnarray*}と定義します。\overline{x}\right)\end{equation*}と定式化できます。\)でそれぞれ表記します。\)とそれぞれ表記します。\end{equation*}について考えます。\)がともに真であるような解釈を任意に選びます。