4

I want to write inference rules like this one: enter image description here where the hypothesis for C are not stated as a sequent depending on a set of hypothesis but with brackets []. This is as far as I got:

\documentclass[a4paper,11pt]{article}
\usepackage{proof}
\usepackage{amsmath,amssymb,amsthm,textcomp}

\begin{document}
\infer{C}{A \lor B & C & C}
\end{document}

How can I put on top of the Cs [A] and [B]

3
  • Please make your code into a minimal compilable document. \infer is not a standard command ans is, I am pretty sure, defined by multiple packages. We don't know what code you've got, so any attempt to help you is very likely pointless right now. A proper example will provide people with the information they need to help.
    – cfr
    May 13, 2017 at 22:16
  • @cfr well the title says that im using proof package but i get your point and i edited the question May 13, 2017 at 23:30
  • I don't really see the problem. I wouldn't particularly recommend proof, although the code isn't as frightening as the documentation, but it seems to work just the same as with ebproof.
    – cfr
    May 13, 2017 at 23:54

1 Answer 1

8

EDIT

In response to the new version of your question, proof also makes it pretty straightforward.

\documentclass{article}
\usepackage{proof}
\begin{document}
\infer{R}{%
    P \lor Q
    & \deduce{R}{[P]}
    & \deduce{R}{[Q]}
}
\end{document}

variable inference syntax

ebproof makes it pretty straightforward.

\documentclass{article}
\usepackage{ebproof}
\begin{document}
\[
  \begin{prooftree}
    \Hypo{P \lor Q}
    \Hypo {[P]}
    \Infer [rule style=no rule] 1 {R}
    \Hypo {[Q]}
    \Infer [rule style=no rule] 1 {R}
    \Infer3{R}
  \end{prooftree}
\]
\end{document}

non-standard variable inference syntax

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .