Über die Vorlage Principia Mathematica Liste der Definitionen
Dieses Dokument verwendet das Paket principia, das die logische Peano-Notation der Bände I bis III von Whitehead und Russells Principia Mathematica von 1910 unterstützt. Das achtseitige Beispiel ist eine Liste von Definitionen, die im Stil des Buches nummeriert sind (zum Beispiel *1·01), mit Symbolen für Implikation, Negation, Beschreibungen und Klassen. Es ist als Buch mit amsmath, amssymb, mathrsfs, enumitem und hyperref aufgebaut.
- Principia-Nummerierung wie *14·01
- Logische Symbole in Peano-Notation
- Layout der Klasse book
- Hyperref-Links
So verwendest du sie
- 1Öffne sie in Texeno als eigenes Projekt, mit allen Dateien an ihrem Platz.
- 2Schreib im Browser. Sie kompiliert laufend mit pdfLaTeX und erklärt Fehler in klaren Worten.
