diff options
author | Norbert Preining <preining@logic.at> | 2006-10-11 18:04:15 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2006-10-11 18:04:15 +0000 |
commit | f38ebc89879be11277f031e411e7515bef2bde47 (patch) | |
tree | 8784fae4fed99391133d18f5f8f8cb1de3c5d758 /Master/texmf-dist/doc/latex/lkproof | |
parent | 4c70bfdd0d0e288cc8e8da5130b5c762a687485e (diff) |
update lkproof
git-svn-id: svn://tug.org/texlive/trunk@2303 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/lkproof')
-rw-r--r-- | Master/texmf-dist/doc/latex/lkproof/proofeg.pdf | bin | 34564 -> 0 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/lkproof/proofeg.tex | 100 |
2 files changed, 50 insertions, 50 deletions
diff --git a/Master/texmf-dist/doc/latex/lkproof/proofeg.pdf b/Master/texmf-dist/doc/latex/lkproof/proofeg.pdf Binary files differdeleted file mode 100644 index 836c62f2b2e..00000000000 --- a/Master/texmf-dist/doc/latex/lkproof/proofeg.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/lkproof/proofeg.tex b/Master/texmf-dist/doc/latex/lkproof/proofeg.tex index 38d6d74d3a1..98020e82eef 100644 --- a/Master/texmf-dist/doc/latex/lkproof/proofeg.tex +++ b/Master/texmf-dist/doc/latex/lkproof/proofeg.tex @@ -1,10 +1,10 @@ -% proofeg.tex (An example file for proof.sty) +% proofeg.tex (An example file for proof.sty) % -% Mar 6, 1997 -% Makoto Tatsuta +% Mar 6, 1997 +% Makoto Tatsuta % -% I hope you can learn how to use proof figure macros easily -% by these examples. +% I hope you can learn how to use proof figure macros easily +% by these examples. \def\imp{\to} \def\land{\mathbin\&} @@ -23,39 +23,39 @@ \noindent (1) $$ \infer{A}{ - \infer{B}{ - B11\land B12\land B13 - & - B21\land B22\land B23 - } - & - C + \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 + \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 - } + C + & + \infer{B}{ + B11\land B12\land B13 + & + B21\land B22\land B23 + } } $$ @@ -64,26 +64,26 @@ You can use also some variations: \noindent (4) $$ \infer[(1)]{A}{ - \infer*{B}{ - B11\land B12\land B13 - & - B21\land B22\land B23 - } - & - C + \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)} + \deduce[{\displaystyle \sum}]{B}{ + B11\land B12\land B13 + & + B21\land B22\land B23 + } + & + \deduce{C}{(2)} } $$ @@ -105,13 +105,13 @@ $$ $$ \infer[(\imp I)]{A \imp B}{ - \infer*{B}{[A]} + \infer*{B}{[A]} } \qquad \infer[(\imp E)]{B}{ - A \imp B - & - A + A \imp B + & + A } $$ @@ -122,9 +122,9 @@ Use \verb|\vcenter| for an equation of proofs. $$ \pi = \vcenter{ \infer{E}{ - A - & - \infer{D}{B & C} + A + & + \infer{D}{B & C} } } $$ @@ -134,9 +134,9 @@ Use \verb|\kern| to adjust the form of a proof. \noindent (9) $$ \infer{E}{ - A - & - \infer{D}{B & C} \kern 0.5cm + A + & + \infer{D}{B & C} \kern 0.5cm } $$ |