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]

  • 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 '17 at 22:16
  • @cfr well the title says that im using proof package but i get your point and i edited the question – Javier May 13 '17 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 '17 at 23:54
4

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

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.