おいても二重否定導入が成り立ちます。任意の論理式Aから二重否定¬¬Aを導くことができます。A\end{equation*}が成り立つことが示されるため、ここから以下の推論規則を得ます。A\end{equation*}が成り立つ。A\)から得られる命題もまた真になることが保証されます。introduction)と呼びます。x\right)\end{equation*}が成り立ちます。例(二重否定導入)以下の推論について考えます。x\right)\end{equation*}と定式化されます。c\right)\end{equation*}を得ます。c\right)\end{equation*}を得ます。x\right)\end{equation*}を得るため、推論が妥当であることが示されました。B\end{equation*}について考えます。B\end{equation*}の妥当性を示しても問題ありません。B\)がともに真であるものとします。A\)が真であるとき、\(A\)は偽です。B\)が真であるとき、\(A\)と\(B\)の少なくとも一方が真です。B\)は真であり、先の推論が妥当であることが示されました。B\end{equation*}が成り立ちます。A\end{equation*}が成り立ちます。A\end{equation*}を得ます。以降についても同様です。B\end{equation*}について考えます。B\end{equation*}の妥当性を示しても問題ありません。\)がともに真であるものとします。B\)の少なくとも一方は真です。