Line 2,490: |
Line 2,490: |
| |} | | |} |
| | | |
− | <pre>
| + | 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%" |
| | | | | |
− | | ^ ^
| + | <math>\begin{matrix} |
− | | | |
| + | F^\$ (p, q)(x) & = & \underline{(}~p~,~q~\underline{)}^\$ (x) & \in & \underline\mathbb{B} |
− | | = =
| + | \\ |
− | | | |
| + | \\ |
− | | v v
| + | \Updownarrow & & \Updownarrow |
− | |
| + | \\ |
− | | 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} |
| + | \\ |
| + | \end{matrix}</math> |
| + | |} |
| | | |
| + | <pre> |
| 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 |