5.1311

Si de p ∨ q y p deducimos q, entonces está aquí oculta mediante la forma de designación la relación de las formas proposicionales de «p ∨ q» y «p». Sin embargo, si, por ejemplo, en lugar de «p ∨ q» escribimos «p | q . | . p | q», y en lugar de «~p» [escribimos] «p | p» (p | p = ni p ni q), entonces se vuelve clara la relación interna.