Template:Individual-TLP-paragraph-pt-br-5.515

5.515 É preciso indicar que, em nossos símbolos, o que é ligado mùtuamente por “∨”, “.”, etc., deve ser proposições.

E isto ocorre, pois o símbolo “p” e “q” já pressupõem “∨”, “∼”, etc. Se o signo “p” em “p ∨ q” não substituir um signo complexo, não pode possuir sentido sozinho; mas então também os signos “p ∨ p”, “p . p”, que têm o mesmo sentido que “p”, não teriam sentido. Se entretanto “p ∨ p” não tiver sentido, então do mesmo modo “p ∨ q” não terá sentido.