Menu
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:
1) (x)¬F A
2) (Ex)F
3) ...
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.
Is there an easy way to do this?
[edit] Here is what I've managed to do so far, but it is far from elegant.
\begin{minipage}{\linewidth}
\boldmath \center{$ \forall x \neg F \to \neg \exists x F $} \unboldmath
\begin{math}
\begin{array}{llr}
1. &\forall x \neg F & \\
2. &\exists x F & A \\
3. &F[\alpha / x ] & ES 2 \\
4. &\neg F[\alpha / x] & US \\
5. &\exists x F \to F[\alpha / x ] & CP 2,4 \\
6. &\neg \exists x F & TI 4,5
\end{array}
\end{math}
\end{minipage}
Ideally I want something that automatically numbers steps and makes the "title" line easier...
880
Like most proofs, logic proofs usually begin with premises --- statements that you're allowed to assume. The conclusion is the statement that you need to prove. The idea is to operate on the premises using rules of inference until you arrive at the conclusion.
In AMS-LaTeX, the symbol is automatically appended at the end of a proof environment \begin{proof} ... \end{proof} . It can also be obtained from the commands \qedsymbol , \qedhere or \qed (the latter causes the symbol to be right aligned).
proof, in logic, an argument that establishes the validity of a proposition. Although proofs may be based on inductive logic, in general the term proof connotes a rigorous deduction.
See the packages for Fitch-style proofs here. You simply don't need any subproofs. LaTeX for Logicians also covers other proof styles, logical symbols, etc.
162
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
