The basic propositions $a_i : \mathbb{B}^n \to \mathbb{B}$ are both linear and positive. So these two kinds of propositions, the linear and the positive, may be viewed as two different ways of generalizing the class of basic propositions. | The basic propositions $a_i : \mathbb{B}^n \to \mathbb{B}$ are both linear and positive. So these two kinds of propositions, the linear and the positive, may be viewed as two different ways of generalizing the class of basic propositions. |