À propos du modèle Manuel du package de notation Principia Mathematica
Ce modèle est le manuel de principia.sty, version 3.4, par Landon D. C. Elkind. Le package compose la notation péanienne des Principia Mathematica, que Whitehead et Russell ont largement empruntée à Peano. L'article de cinq pages présente les macros avec des exemples et charge amsmath, amssymb, graphicx, pifont et setspace. Utilisez-le comme modèle pour rédiger de la logique dans cette notation.
- Macros pour la notation péanienne
- Manuel de package avec exemples
- Mise en page d'article avec titre et date
- Prise en charge de amsmath et amssymb
Comment l’utiliser
- 1Ouvrez-le dans Texeno comme votre propre projet, avec tous les fichiers en place.
- 2
