Om mallen Principia Mathematica, lista över definitioner
Detta dokument använder paketet principia, som stöder den logiska Peano-notationen från volym I till III i Whitehead och Russells Principia Mathematica från 1910. Det åttasidiga exemplet är en lista med definitioner numrerade i bokens stil (till exempel *1·01), med symboler för implikation, negation, beskrivningar och klasser. Den är byggd som en bok med amsmath, amssymb, mathrsfs, enumitem och hyperref.
- Principia-numrering såsom *14·01
- Logiska symboler i Peano-notation
- Layout för bokklass
- Hyperref-länkar
Så använder du den
- 1Öppna den i Texeno som ditt eget projekt, med alla filer på plats.
- 2Skriv i webbläsaren. Den kompilerar med pdfLaTeX medan du skriver och förklarar fel i klartext.
