Logic macros.tex

\usepackage{logicproof}

\newcommand{\pli}[1][]{\mathrm{i}#1 \:}
\newcommand{\ple}[1][]{\mathrm{e}#1 \:}
\newcommand{\plande}[1][]{\land \ple[_#1]}
\newcommand{\plandi}{\land \pli}
\newcommand{\plore}{\lor \ple}
\newcommand{\plori}[1][]{\lor \pli[_#1]}
\newcommand{\pltoe}{\to \ple}
\newcommand{\pltoi}{\to \pli}
\newcommand{\plboti}{\bot \pli}
\newcommand{\plbote}{\bot \ple}
\newcommand{\plnegi}{\neg \pli}
\newcommand{\plnege}{\neg \ple}
\newcommand{\plnegde}{\neg \neg \ple}
\newcommand{\plfore}[1][]{\forall #1 \:\ple \,}
\newcommand{\plfori}[1][]{\forall #1 \:\pli \,}
\newcommand{\plexie}[1][]{\exists #1 \:\ple \,}
\newcommand{\plexii}[1][]{\exists #1 \:\pli \,}
\newcommand{\pleqi}{= \pli}
\newcommand{\pleqe}{= \ple}

%usage:
\begin{logicproof}{1}
    p \land (q \land r) & premise \\
    p & $ \plande[1] 1$ \\
    q \land r & $ \plande[2] 1$ \\
    q & $ \plande[1] 3$ \\
    r & $ \plande[2] 3$ \\
    p \land q & $ \plandi 2, 4 $ \\
    (p \land q) \land r & $ \plandi 6, 5 $
\end{logicproof}