Template:Individual-TLP-paragraph-fr-5.515

5.515 Il doit se montrer dans nos symboles que ce qui est combiné par « ∨ », « . », etc., ce doit être des propositions.

Et c'est en effet le cas, car le symbole « p » et le symbole « q » présupposent d'eux-mêmes les « ∨ », « ~ », etc. Si le signe « p » dans « p ∨ q » ne tient pas lieu d'un signe complexe, il ne peut avoir de sens pris isolément ; et les signes « p ∨ p », « p . p » équivalents à « p » ne peuvent non plus avoir aucun sens. Mais si « p ∨ p » n'a aucun sens, « p ∨ q » ne peut en avoir un.