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