これは連言除去と呼ばれる推論規則です。命題(連言除去)任意の論理式\(A,B\)に対して以下が成り立つ。B\end{eqnarray*}がともに成立します。B\)が真であるような任意の解釈のもとで\(A\)や\(B\)は必ず真になります。elimination)などと呼ばれる推論規則です。例(連言除去)以下の推論について考えます。\begin{eqnarray*}&&\text{今日は}x\text{曜日であると同時に店}y\text{は閉店中だ。\\&&\text{ゆえに、今日は}x\text{曜日である。}\end{eqnarray*}変数\(x\)の定義域\(X\)はすべての曜日からなる集合、変数\(y\)の定義域\(Y\)は問題としているすべての店からなる集合であるものとします。x\right)\end{equation*}と定式化されます。連言除去よりこれは妥当な推論です。次回は選言導入と呼ばれる推論規則について学びます。>選言導入ワイズをさらに活用するための会員サービスユーザー名とメールアドレスを入力して一般会員に無料登録すれば、質問やコメントを投稿できるようになります。有料(500円/月)のプレミアム会員へアップグレードすることにより、プレミアムコンテンツ(命題の証明や演習問題、解答など)にアクセスできます。会員サービスの詳細を見る会員サービスディスカッションに参加しますか?質問やコメントを投稿するためにはログインが必要ですログイン会員登録コメント投稿に際するお願い返信をキャンセルする。>有料会員には様々な特典があります。理解を深めるための演習問題と解答の閲覧、テキストに登場した命題の証明の閲覧、演習や証明に関する質問の投稿など。>皆さまからよく頂く質問への回答をまとめました。こちらに解決方法が見つからない場合にはお問い合わせください。