main.tex

\documentclass{article}
\usepackage{graphicx} % Required for inserting images
 \usepackage{logicproof}

\title{Dedução natural}

\begin{document}

\maketitle

\section{Logicproof}
$p \to q , p \to \lnot q\vdash \lnot p$ 


\begin{logicproof}{2}
%\label atua nomeando o trecho, portanto ao utilizá-la para demarcar a linha, pode-se utilizar o \ref para que de modo automatico seja indicado qual linha da prova determinada regra de dedução natural está utilizando
    p\to q & premise \label{1}\\ 
    p \lor \lnot q & premise \label{2}\\
    \begin{subproof}
        p & assumption \label{3}\\
        q & $\to\mathrm{i}$ \ref{3} e \ref{1} \label{4}\\
        \lnot q & $\to\mathrm{i}$ \ref{3} e \ref{2} \label{5}\\
        \bot & $\lnot e$ \ref{4} e \ref{5} \label{6}
    \end{subproof}
    \lnot p & $ \lnot i$  \ref{3} -- \ref{6}
\end{logicproof}


\end{document}