Template:Individual-TLP-paragraph-fr-5.514

5.514 Quand une notation est fixée, elle comporte une règle selon laquelle toutes les propositions qui nient p sont construites ; une règle selon laquelle toutes les propositions affirmant p sont construites ; une règle selon laquelle toutes les propositions affirmant p ou q sont construites, et ainsi de suite. Ces règles sont équivalentes aux symboles, et en elles se reflète leur sens.