Additions to sample files.

Speech-Rule-Engine · Oct 26, 2018 · a9a3c1a · a9a3c1a
1 parent 875c2a3
commit a9a3c1a
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 0 deletions.
diff --git a/simons/nd-short b/simons/nd-short
@@ -2,3 +2,6 @@
 
 
 \\begin{prooftree}\\AxiomC{D}\\AxiomC{A}\\AxiomC{B}\\AxiomC{R}\\BinaryInfC{$C \\rightarrow D \\rightarrow Q$}\\BinaryInfC{E}\\BinaryInfC{F}\\end{prooftree}
+
+
+\newcommand\hyp[1]{{\scriptstyle Hyp^{#1}}}\newcommand\imp{\rightarrow}\newcommand\andi{{\wedge_I}}\newcommand\impi{{\imp_I}}\newcommand\impe{{\imp_E}}\newcommand\rit{{\scriptstyle Rit}}\begin{prooftree}  \AXC{}  \RL{$\hyp{1}$}  \UIC{$P$}  \AXC{$P\imp Q$}  \RL{$\impe$}  \BIC{$Q^2$}  \AXC{$Q\imp R$}   \RL{$\impe$}   \BIC{$R$}   \AXC{$Q$}  \RL{$\rit^2$}   \UIC{$Q$}  \RL{$\andi$}  \BIC{$Q\wedge R$}  \RL{$\impi^1$}  \UIC{$P\imp Q\wedge R$}\end{prooftree}
diff --git a/simons/nd-short2 b/simons/nd-short2
@@ -1 +1,3 @@
 \\begin{prooftree}\\LL{HHHHH}\\RL{11111111111111111}\\AxiomC{D}\\AxiomC{A1}\\AxiomC{A2}\\TrinaryInfC{Q}\\RightLabel{AAAA}\\AxiomC{A}\\AxiomC{B}\\AxiomC{R}\\LL{qqqq}\\BinaryInfC{\$C \\rightarrow D \\rightarrow Q\$}\\LeftLabel{BBBB}\\RightLabel{MMM}\\BinaryInfC{E}\\RightLabel{CCCCC}\\LL{WWW}\\BinaryInfC{F}\\RightLabel{QERE}\\AxiomC{M}\\LL{BBB}\\BinaryInfC{\$N \\rightarrow R\$}\\RightLabel{Nowhere}\\end{prooftree}
+
+\begin{prooftree}\LL{HHHHH}\RL{11111111111111111}\AxiomC{D}\AxiomC{A1}\AxiomC{A2}\TrinaryInfC{Q}\RightLabel{AAAA}\AxiomC{A}\AxiomC{B}\AxiomC{R}\LL{qqqq}\BinaryInfC{$C \rightarrow D \rightarrow Q$}\LeftLabel{BBBB}\RightLabel{MMM}\BinaryInfC{E}\RightLabel{CCCCC}\LL{WWW}\BinaryInfC{F}\RightLabel{QERE}\AxiomC{M}\LL{BBB}\BinaryInfC{$N \rightarrow R$}\RightLabel{Nowhere}\end{prooftree}
diff --git a/simons/nd.tex b/simons/nd.tex
@@ -259,3 +259,8 @@
     R$}\RightLabel{Nowhere}\end{prooftree}
 
 \end{document}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End: