Dans le cadre de mes études à l’Ecole d’Ingénieurs du canton de Vaud, je suis un cours qui se prénomme Logique Mathématique (LMA). C’est un cours sur de la logique élémentaire, mais finalement c’est très basique vu que ça ne dure que trois mois.

Pour l’examens, nous avons droit à un formulaire de 2 pages, je me suis donc amusé avec Latex pour faire un tel formulaire. J’ai trouvé sur Internet une page concernant l’utilisation de Latex dans le cadre de la logique (Latex for Logicians). Sur cette page j’ai trouvé un paquetage Latex pour mettre en forme de manière jolie les déductions naturelles. J’ai ensuite complété mon formulaire avec le reste de la matière, il est donc disponible içi. Je poste ce message en éspérant que mon pote Google se chargera de l’indéxer pour les suivants.

En ce qui concerne ce formulaire, il est bien évidemment disponible sous licence FDL.