summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/lkproof
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2006-10-09 22:53:22 +0000
committerNorbert Preining <preining@logic.at>2006-10-09 22:53:22 +0000
commit2fabbabd551479c72c4ec985868cb9da3e473271 (patch)
treea40f62f9785cb91f53fa629e374b5e153f139102 /Master/texmf-dist/doc/latex/lkproof
parentf74a8364798e9c06b1a8acb62c09833f013da035 (diff)
rename proof to lkproof
git-svn-id: svn://tug.org/texlive/trunk@2289 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/lkproof')
-rw-r--r--Master/texmf-dist/doc/latex/lkproof/proofeg.pdfbin0 -> 34564 bytes
-rw-r--r--Master/texmf-dist/doc/latex/lkproof/proofeg.tex143
2 files changed, 143 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/lkproof/proofeg.pdf b/Master/texmf-dist/doc/latex/lkproof/proofeg.pdf
new file mode 100644
index 00000000000..836c62f2b2e
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/lkproof/proofeg.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/lkproof/proofeg.tex b/Master/texmf-dist/doc/latex/lkproof/proofeg.tex
new file mode 100644
index 00000000000..38d6d74d3a1
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/lkproof/proofeg.tex
@@ -0,0 +1,143 @@
+% proofeg.tex (An example file for proof.sty)
+%
+% Mar 6, 1997
+% Makoto Tatsuta
+%
+% I hope you can learn how to use proof figure macros easily
+% by these examples.
+
+\def\imp{\to}
+\def\land{\mathbin\&}
+
+\documentstyle[proof]{article}
+
+% for LaTeX 2e naitive mode.
+%\documentclass[]{article}
+%\usepackage{proof}
+
+\begin{document}
+\section*{Examples of proof.sty}
+
+\verb|\infer| draws beautiful proof figures easily:
+
+\noindent (1)
+$$
+\infer{A}{
+ \infer{B}{
+ B11\land B12\land B13
+ &
+ B21\land B22\land B23
+ }
+ &
+ C
+}
+$$
+
+\noindent (2)
+$$
+\infer{A1\land A2\land A3\land A4\land A5\land A6}{
+ \infer{B}{
+ B11\land B12\land B13
+ &
+ B21\land B22\land B23
+ }
+ &
+ C
+}
+$$
+
+\noindent (3)
+$$
+\infer{A1\land A2\land A3\land A4\land A5\land A6}{
+ C
+ &
+ \infer{B}{
+ B11\land B12\land B13
+ &
+ B21\land B22\land B23
+ }
+}
+$$
+
+You can use also some variations:
+
+\noindent (4)
+$$
+\infer[(1)]{A}{
+ \infer*{B}{
+ B11\land B12\land B13
+ &
+ B21\land B22\land B23
+ }
+ &
+ C
+}
+$$
+
+\noindent (5)
+$$
+\infer*[(1)]{A1\land A2\land A3\land A4\land A5\land A6}{
+ \deduce[{\displaystyle \sum}]{B}{
+ B11\land B12\land B13
+ &
+ B21\land B22\land B23
+ }
+ &
+ \deduce{C}{(2)}
+}
+$$
+
+\noindent (6)
+$$
+\infer={A}{A \land B \land C}
+$$
+
+Here are more practical examples:
+
+\noindent (7)
+$$
+\infer[(\land I)]{A \land B}{A & B}
+\qquad
+\infer[(\land E_l)]A{A\land B}
+\qquad
+\infer[(\land E_r)]B{A\land B}
+$$
+
+$$
+\infer[(\imp I)]{A \imp B}{
+ \infer*{B}{[A]}
+}
+\qquad
+\infer[(\imp E)]{B}{
+ A \imp B
+ &
+ A
+}
+$$
+
+Some techniques:
+Use \verb|\vcenter| for an equation of proofs.
+
+\noindent (8)
+$$
+\pi = \vcenter{
+\infer{E}{
+ A
+ &
+ \infer{D}{B & C}
+}
+}
+$$
+
+Use \verb|\kern| to adjust the form of a proof.
+
+\noindent (9)
+$$
+\infer{E}{
+ A
+ &
+ \infer{D}{B & C} \kern 0.5cm
+}
+$$
+
+\end{document}