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.