TD2 : Syntaxe de la logique des propositions - Lirmm

son statut vis-à-vis de la logique des propositions : est-elle ou non une proposition (i.e. une formule bien .... Affichage (infixé) d'une formule (exercice optionnel).


Un extrait du document