Template:Individual-TLP-paragraph-pt-br-5.514

5.514 Fixada uma notação, há nela uma regra pela qual são formadas tôdas as proposições negadoras de p, uma regra pela qual são formadas tôdas as proposições afirmadoras de p, uma regra pela qual são formadas tôdas as proposições afirmadoras de p ou q, e assim por diante. Essas regras são equivalentes aos símbolos e nelas espelha-se o seu sentido.