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.