Template:Individual-TLP-paragraph-it-5.515
5.515 Deve mostrarsi nei nostri simboli che ciò che è collegato da «∨», «.», ecc. devono essere proposizioni.
Ed è così, poiché il simbolo «p» e «q» presuppone esso stesso «∨», «~» ecc. Se il segno «p» in «p ∨ q» non sta per un segno complesso, allora esso, da solo, non può avere senso; allora però non possono avere senso nemmeno i segni che hanno lo stesso senso di p, come «p ∨ p», «p . p» ecc. Se tuttavia «p ∨ p» non ha senso, allora neanche «p ∨ q» può avere senso.