4.465 Le produit logique d'une tautologie et d'une proposition dit la même chose que cette proposition. Ce produit est donc identique à la proposition. Car on ne peut altérer ce qui est essentiel à un symbole sans altérer son sens.