背理法
https://scrapbox.io/files/67ab03fc39df6e59d6505d30.svg
矛盾から否定$ \lnot Pを導くほうも背理法と呼ばれることがあるが、こちらは否定導入と呼んで区別する code:rule.tikz(tex)
\usepackage{fitch}
\begin{document}
$\Large\begin{nd}
\open
\close
\have l{p} {P} \by{RAA}{np-b} \end{nd}$
\end{document}