CTAN Comprehensive TeX Archive Network

Verzeichnis macros/latex/contrib/begriff

README
begriff.sty - a LaTeX2e package for typesetting begriffsschrift

This style style can be used with LaTeX to typeset material written in
Frege's Begriffsschrift.  It defines eight new LaTeX math mode commands:

\BGassert            - generates an assertion sign
\BGcontent           - generates an assertion sign
\BGnot               - generates a negation sign
\BGquant{v}          - generates a universal quantifier with variable v
\BGconditional{a}{c} - generates a conditional with antecendent
                       a and consequent c. Note that in the Begriffsschrift, 
                       the antecendent is placed below the consequent.

(the following three commands were introduced in version 1.5)

\BGterm{x}           - creates a right-justified terminal node x 
\BGstem{x}           - inserts arbitrary LaTeX maths x into a non-terminal node
\BGbracket{x}        - places the expression x inside brackets

You also have the normal resources of LaTeX math mode, and (if you
have the amssymb package, AMS symbols) at your disposal; so, you can
use \mathfrak{v} to get a fraktur character, \acute{v} to get a
character with a slanting hat, and \alpha (etc.) to get greek letters.

You can also tweak the appearance of the resulting material by
modifying the values of the following lengths:

\BGthickness - the thickness of lines (by default 0.4pt, 
               bigger numbers = bolder)
\BGbeforelen - the length of line inserted before a begriffsschrift symbol
\BGafterlen  - the length of line inserted after a begriffsschrift symbol
\BGspace     - the length of space inserted between begriffsschrift and 
               normal maths

(and, since version 1.5)

\BGlinewidth - the total width of the diagram

This is version 1.6 (20th May 2005)

which includes: 

Changes made in October 2004 by Richard Heck <heck@fas.harvard.edu>
Purpose of changes: To make the format of the formulae closer to how
they are set in Frege's published works.

And some additional changes made by Josh Parsons (May 2005) to fix a problem with linespacing.

The style file is hereby placed under the GNU General Public License.

For more information, see:

http://weka.ucdavis.edu/~ahwiki/bin/view/Main/BegriffsschriftLaTeX

Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (43.7k).

begriff – Typeset Begriffschrift

The package defines maths mode commands for typesetting Frege's Begriffschrift.

Paketbegriff
Version1.6
LizenzenGNU General Public License
BetreuerJosh Parsons
Enthalten inTeX Live als begriff
MiKTeX als begriff
ThemenLogik
Mathematik
Siehe auchgrundgesetze
frege
bguq
...
Gästebuch Seiten-Struktur Impressum Autor kontaktieren