title: Typesetting logic proofs in LaTeX
body: <p>I'm trying to typeset some basic logic proofs in LaTeX. I need a multiple column layout, and I need the lines numbered on the right. I want to reset the numbering for each proof. The output should look like this:</p>
  
  <pre><code>1) (x)¬F      A
  
  2) (Ex)F
  
  3) ...
  </code></pre>
  
  <p>What is the easiest way to do this? enumerate doesn't seem a good idea, since it's not going to like the multiple column things. I need everything to be in mathmode as well.</p>
  
  <p>Is there an easy way to do this?</p>
  
  <p>[edit]
  Here is what I've managed to do so far, but it is far from elegant.</p>
  
  <pre><code>\begin{minipage}{\linewidth}
  \boldmath \center{$ \forall x \neg F \to \neg \exists x F $} \unboldmath
  
  \begin{math}
    \begin{array}{llr}
      1. &amp;\forall x \neg F &amp;   \\
      2. &amp;\exists x F &amp; A  \\
      3. &amp;F[\alpha / x ] &amp; ES 2  \\
      4. &amp;\neg F[\alpha / x] &amp; US  \\
      5. &amp;\exists x F \to F[\alpha / x ] &amp; CP 2,4  \\
      6. &amp;\neg \exists x F &amp; TI 4,5 
    \end{array}
  \end{math}
  \end{minipage}
  </code></pre>
  
  <p>Ideally I want something that automatically numbers steps and makes the "title" line easier...</p>