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