Science de la démonstration qui consiste en l'étude des rapports formels existant entre les propositions, indépendamment de toute interprétation.
Le Formacode® v.13 :