二重否定除去
二重論理否定の除去規則
直観論理では採用されない
https://scrapbox.io/files/6602150920aa80002406cfd9.svg
code:rule.tikz(tex)
\usepackage{fitch}
\begin{document}
$\Large\begin{nd}
\have m{nnp} {\lnot\lnot P}
\have \vdots{v} {\vdots}
\have n{p} {P} \by{$\lnot\lnot$E}{nnp}
\end{nd}$
\end{document}
Double Negative Elimination #¬¬E #¬¬除去
#2024-03-26 09:21:21
#2021-03-08 02:26:18