Template:Individual-TLP-paragraph-it-5.514

5.514 Se è stabilita una notazione, allora vi è in essa una regola secondo la quale vengono costruite tutte le proposizioni che negano p, una regola secondo la quale vengono costruite tutte le proposizioni che affermano p, una regola secondo la quale vengono costruite tutte le proposizioni che affermano p o q, e così di seguito. Queste regole sono equivalenti ai simboli e in essi si rispecchia il loro senso.