AT AE

Pipe + ÿ3 sont des types semblables.

1.11. Nous appellerons fype d'une proposition, le type formé par les symboles de variables 2pparentes situés en avant

et

de la proposition normale liée à celle-ci.

Nous allons, d’une manière plus précise, étudier dans ce qui suit, les types des propositions de forme normale, que l’on peut déduire d’une proposition par les règles de passage. Ces types seront dits les fypes attachés à la proposition.