5.514 Si es establecida una notación, entonces hay en ella una regla según la cual todas las proposiciones negadoras de p son construidas, una regla según la cual todas las proposiciones afirmadoras de p son construidas, una regla, según la cual todas las proposiciones afirmadoras de p o q son construidas, etc. Estas reglas son equivalentes a los símbolos y en ellas se refleja su sentido.