エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
二重否定の除去 - Wikipedia
論理学、特に命題論理において、二重否定の除去(にじゅうひていのじょきょ、英: double negation elimi... 論理学、特に命題論理において、二重否定の除去(にじゅうひていのじょきょ、英: double negation elimination)および二重否定の導入(にじゅうひていのどうにゅう、英: double negation introduction)は、いずれも推論の種類の一つである。形式的には、いわゆる二重否定に相当する「連続した2つの否定作用素」を追加(二重否定の導入)したり削除(二重否定の除去)したりする操作を論理式に施すことである。古典論理においてはいずれも妥当な推論であるが、直観主義論理において二重否定を除去できない場合があるように、他の論理体系の下では妥当とは限らない。 例えば、 「雨が降っている」 「雨が降っていないのではない」 という2つの命題について、前者から後者を推論するのが二重否定の導入、後者から前者を推論するのが二重否定の除去である。 二重否定の除去を自然演繹の形式で