二重否定の除去
論理学、特に命題論理において、二重否定の除去（にじゅうひていのじょきょ、英: double negation elimination）および二重否定の導入（にじゅうひていのどうにゅう、英: double negation introduction）は、いずれも推論の種類の一つである。 形式的には、いわゆる二重否定に相当する「連続した2つの否定作用素」を追加（二重否定の導入）したり削除（二重否定の除去）したりする操作を論理式に施すことである。
論理学、特に命題論理において、二重否定の除去（にじゅうひていのじょきょ、英: double negation elimination）および二重否定の導入（にじゅうひていのどうにゅう、英: double negation introduction）は、いずれも推論の種類の一つである。 形式的には、いわゆる二重否定に相当する「連続した2つの否定作用素」を追加（二重否定の導入）したり削除（二重否定の除去）したりする操作を論理式に施すことである。
論理学、特に命題論理において、二重否定の除去（にじゅうひていのじょきょ、英: double negation elimination）および二重否定の導入（にじゅうひていのどうにゅう、英: double negation introduction）は、いずれも推論の種類の一つである。 形式的には、いわゆる二重否定に相当する「連続した2つの否定作用素」を追加（二重否定の導入）したり削除（二重否定の除去）したりする操作を論理式に施すことである。
出典: Wikipedia「二重否定の除去」 · CC BY-SA 4.0
この記事を共有: X · Bluesky