6.002 Quand est donnée la forme générale selon laquelle une proposition est construite, est déjà donnée du même coup la forme selon laquelle par le moyen d'une opération une proposition en engendre une autre.