1

Following code produces something like this:

enter image description here

\usepackage{proof}

\infer[(\implies I)]
{
 (q \land r \land ¬s ) \implies ( u \lor r )
}
{
 \infer[(\lor I r)]
 {
  \\u \lor r
 }
 {
  \infer[(\land E_{2} r)]
  {
   r
  }
  {
   q \land r
  }
 }
}

Please help me to make it more readable, so lines are not grouped so much and there is bigger offset between lines. Like this:

enter image description here

Or the upper two lines are longer, like the botton one. Thank you.

1

There are two adjustments that can be made:

(1) the vertical line separation, and

(2) the horizontal labels space.

b

% !TeX TS-program = pdflatex

\documentclass[12pt,a4paper]{article}

\usepackage{amsmath}
\usepackage{proof}

\begin{document}
\noindent Original setup \\ 
    
\infer[(\implies I)]
{
    (q \land r \land ¬s ) \implies ( u \lor r )
}
{
    \infer[(\lor I r)]
    {
        \\u \lor r
    }
    {
        \infer[(\land E_{2} r)]
        {
            r
        }
        {
            q \land r
        }
    }
}       
\vspace*{50pt}  
\noindent Increase the line separation \\
        
\setlength{\inferLineSkip}{6pt}  % increase the lines skip added <<<<<<

\infer[(\implies I)]
{
    (q \land r \land ¬s ) \implies ( u \lor r )
}
{
    \infer[(\lor I r)]
    {
        \\u \lor r
    }
    {
        \infer[(\land E_{2} r)]
        {
            r
        }
        {
            q \land r
        }
    }
}   

\vspace*{50pt}

\noindent And also  increase the labels separation \\

\setlength{\inferLabelSkip}{20pt} % <<<<<<< added

\infer[(\implies I)]
{
    (q \land r \land ¬s ) \quad \implies \quad ( u \lor r ) %changed <<<<<<<<<<<<
}
{
    \infer[(\lor I r)]
    {
        \\u \lor r
    }
    {
        \infer[(\land E_{2} r)]
        {
            r
        }
        {
            q \land r
        }
    }
}   


    
\end{document
1

With bussproofs:

\documentclass{article}
\usepackage{bussproofs}

\begin{document}

\begin{prooftree}
\AxiomC{$q\land r\mathstrut$}     \RightLabel{$(\land E_2r)$}
\UnaryInfC{$rr\mathstrut$}        \RightLabel{$(\lor Ir)$}
\UnaryInfC{$u\lor r\mathstrut$}   \RightLabel{($\Rightarrow I$)}
\UnaryInfC{$(q\land r\land \lnot s)\Rightarrow(u\lor r)$}
\end{prooftree}

\end{document}

enter image description here

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.