Template:Individual-TLP-paragraph-fr-5.1311

5.1311 Quand nous déduisons q de p v q et ~p, la relation entre les formes des propositions « p v q » et « ~p » est masquée par le mode de description. Mais si nous écrivons, par exemple, au lieu de « p v q », « p | q .|. p | q », et au lieu de « ~p », « p | p » (p | q = ni p ni q), alors l'interdépendance interne devient évidente.

(Que l'on puisse déduire fa de (x). fx montre que la généralité est déjà comprise dans le symbole « (x). fx ».)