Template:Individual-TLP-paragraph-es-5.1311
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.
(Que de (x) . fx se pueda deducir fa, eso muestra que la generalidad está contenida también en el símbolo «(x) . fx»).