二重否定除去
二重否定除去(にじゅうひていじょきょ、double negation elimination)
not(
$ \lnot
)を2回適用すると元の状態に戻る推論規則
$ \lnot\lnot P → P
確認用
Q. 二重否定除去
調査用
/pogi-log/Google.icon
二重否定除去
/pogi-log/Wikipedia.icon
二重否定除去 - Wikipedia(日)
二重否定除去(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
二重否定除去 - Wikipedia(英)
二重否定除去(検索) - Wikipedia(英)