Once a notation has been established, there will be in it a rule governing the construction of all propositions that negate, a rule governing the construction of all propositions that affirm, and a rule governing the construction of all propositions that affirm or q; and so on.