Template:Individual-TLP-paragraph-es-5.515
5.515 Se debe mostrar en nuestros símbolos, que lo que está conectado mutuamente mediante «∨», «.», etc. deben ser proposiciones.
Y este es también el caso, pues el símbolo «p» y «q» presuponen ya en sí mismos el «∨», «~», etc. Cuando el signo «p» en «p ∨ q» no representa un signo complejo, entonces no puede tener sentido solo; pero entonces no podrían tampoco tener ningún sentido los signos «p ∨ p», «p . p», etc., con el mismo sentido que «p».