Changes

|}

|}

As a result, the application of the proposition <math>F^\$ (p, q)</math> to each <math>x \in X</math> returns a logical value in <math>\underline\mathbb{B},</math> all in accord with the following equations:

As a result, the application of the proposition F^$ (p, q) to each x in X

yields a logical value in %B%, all in accord with the following equations:

| F^$ (p, q)(x)  =   -(p, q)-^$ (x)  in  %B%

{| align="center" cellpadding="8" width="90%"

|

|

|  ^                         ^

F^\$ (p, q)(x) & = & \underline{(}~p~,~q~\underline{)}^\$ (x) & \in & \underline\mathbb{B}

| F(p(x), q(x))   =   -(p(x), q(x))- in %B%

F(p(x), q(x)) & = & \underline{(}~p(x)~,~q(x)~\underline{)} & \in & \underline\mathbb{B}

For each choice of propositions p and q about things in X, the stretch of

For each choice of propositions p and q about things in X, the stretch of

F to p and q on X is just another proposition about things in X, a simple

F to p and q on X is just another proposition about things in X, a simple