diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/frege/README')
-rw-r--r-- | Master/texmf-dist/doc/latex/frege/README | 111 |
1 files changed, 111 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/frege/README b/Master/texmf-dist/doc/latex/frege/README new file mode 100644 index 00000000000..cac3957a85e --- /dev/null +++ b/Master/texmf-dist/doc/latex/frege/README @@ -0,0 +1,111 @@ +frege.sty - a LaTeX2e package for typesetting begriffsschrift + +This package is based on begriff.sty released under the GNU General Public License. +Copyright (C) 2003 by Josh Parsons <josh@coombs.anu.edu.au> + +Changes with respect to begriff.sty + +correct relative lengths of the content stroke with respect to other strokes attached +to it; +content strokes point at the middle of the following symbols, rather than the bottom; +greater width for the assertion stroke as compared to the content stroke; +a more intuitive structure for the conditional (arguments are now given in the same +order as they appear on the left of a completed formula); +the command for the conditional with empty arguments now results in a vertical line +(conditional stroke) on it's own the other strokes are added as the arguments; +the linewidth is properly accounted for so that things remain properly centered when +scaled; + +frege.sty defines the following basic commands: +\Fcontent[1] - plain content stroke +\Fncontent[1] - negated content stroke +\Fnncontent[1] - twice negated content stroke +\Faconten[1] - asserted content stroke +\Fancontent[1] - asserted negated content stroke +\Fanncontent[1] - asserted twice negated content stroke +\Fquant[1]{a} - content stroke with quantifier +\Fnquant[1]{a} - negated quantifier +\Fnnquant[1]{a} - twice negated quantifier +\Fquantn[1]{a} - quantifier with negated content +\Fquantnn[1]{a} - quantifier with twice negated content +\Fnquantn[1]{a} - negated quantifier with negated content +\Fnquantnn[1]{a} - negated quantifier with twice negated content +\Fnnquantn[1]{a} - twice negated quantifier with negated content +\Fnnquantnn[1]{a} - twice negated quantifier with twice negated content +\Faquant[1]{a} - asserted content stroke with quantifier +\Fanquant[1]{a} - asserted negated quantifier +\Fannquant[1]{a} - asserted twice negated quantifier +\Faquantn[1]{a} - asserted quantifier with negated content +\Faquantnn[1]{a} - asserted quantifier with twice negated content +\Fanquantn[1]{a} - asserted negated quantifier with negated content +\Fanquantnn[1]{a} - asserted negated quantifier with twice negated content +\Fannquantn[1]{a} - asserted twice negated quantifier with negated content +\Fannquantnn[1]{a} - asserted twice negated quantifier with twice negated content + +while this may look like a daunting list think of it as just two commands: +\Fcontent[1] - generates a content stroke +\Fquant[1]{a} - generates a quantifier with variable a + +Adding an "a" after the "\F" adds an assertion stroke to the front of the command, +this may be followed by one two or no "n" to add one two or no negations to the +stroke. Next comes the name of the command either "content" or "quant". "quant" may +then be followed by another one two or no "n" which will add one two or no negations +after the quantifier to it's content stroke. All commands may be used in either text +or math mode. All the above commands produce output of the same length and may be +arbitrarly combined to produce longer composite formulas. Since version 1.1 each of +the basic strokes also has an optional argument with default value one, that scales +the total length of the stroke (\Fbaselength), so that an optional argument of [.5] +will produce a stroke half as long. Warning: setting a length shorter than what is +needed to fit all the options of a stroke leads to negative lengths and hence +unpredictable results. + +frege.sty defines the following more complex commands: +\Fconditional[<option>]{<consequent>}{<antecedent>} +\Fbox{<begriffsschrift formula with at least one conditional>} +\Fbracket{<begriffsschrift formula with at least one conditional>} +\Fargument[<premise 0>]{<premise 1>}{<premise 2>}{<conclusion>} +\Fstrut[1] + +The final two have been added in version 1.2. + +The "Fconditional" command requires a mixture of the commands defined by frege.sty +and normal mathmode input to produce begriffsschrift. A implies B would be written +like this: + +\Fconditional[\Facontent]{\Fcontent B}{\Fcontent A} + +This produces the two dimensional fregean conditional symbol with B lined up above A. +In addition the "Fconditional" command may be arbitrarily nested to produce any +begriffsschrift formula possible. Only the unnested conditional requires the optional +argument. + +"Fbracket" is just the same as "\left(\Fbox\right)" everything said about "Fbox" +applies equally to "Fbracket". A completed formula of begriffsschrift that includes +at least one conditional, should always be placed in an "Fbox" this ensures it is +given enough space in the output behaves correctly with respect to the text around it +and works correctly within environments such as align*. + +"Fargument" arranges two begriffsschrift formulas above each other and seperates them +from a third by a horizontal line. The option is for the name of a premise written +elsewhere and will outout (name): to the left of the horizontal line. + +"Fstrut" is like a invisible content stroke. Like all other basic strokes, it may be +scaled using it's optional argument. Fstrut is to be used in conjunction with +Fargument to ensure the formulas line up properly. + +The final result may also be modified by changing the following lengths using the +\setlength{<lengthname>}{<value>} command. The lengths and there default values are +given as follows: + +length: default value: description: +\Fbaselength 20pt the length of a single basic stroke +\Flinewidth 0.5pt the width of all lines other than the assert stroke +\Fspace 2pt seperation between begriffsschrift and text/formula +\Fassertwidth 3\Flinewidth the width of the assert stroke +\Fraiseheight 1ex-\Flinewidth the height of content strokes above the baseline +\Fnegsep 3\Flinewidth the sepparation between a double negation +\Fnegshort 2\Flinewidth the space between negation stroke and baseline +\Fquantwidth 6pt width of the semi circular quantifier depression + +For more examples see accompanying manual (Frege.pdf or Frege.tex) +Everything released under GNU General Public License. |