Template:Individual-TLP-paragraph-it-5.1311

5.1311 Se concludiamo da p ∨ q e ~p a q, qui la relazione delle forme proposizionali di «p ∨ q» e «~p» è nascosta dalla modalità di simbolizzazione. Ma se ad es. scriviamo «p | q . | . p | q» invece che «p ∨ q» e «p | p» (dove p | q = né p né q) anziché «~p», allora la connessione interna diviene evidente.

(Che si possa concludere da (x) . f x a f a mostra che la generalità è presente anche nel simbolo «(x) . f x».)