12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 17:50, 14 December 2008
, 17:50, 14 December 2008→Higher Order Propositions and Logical Operators (''n'' = 2)
|}
|}
Each point in <math>X\!</math> may be described by means of a ''singular proposition'', that is, a proposition that describes it uniquely. This form of representation leads to the following enumeration of points:
Each point in <math>X\!</math> may be indicated by means of a ''singular proposition'', that is, a proposition that describes it uniquely. This form of representation leads to the following enumeration of points, presented in two different styles of typography that are used in this text:
{| align="center" cellpadding="8"
{| align="center" cellpadding="8" style="text-align:center"
| '''<math>X \quad = \quad \{\!</math> <code>(u)(v)</code> , <code>(u)v</code> , <code>u(v)</code> , <code>uv</code> <math>\} \quad \cong \quad \mathbb{B}^2.</math>'''
| <math>X\!</math>
| <math>=\!</math>
| <math>\{\!</math>'''<font size="+1"> <code>(u)(v)</code>, <code>(u)v</code>, <code>u(v)</code>, <code>uv</code> </font>'''<math>\}\!</math>
| <math>\cong\!</math>
| <math>\mathbb{B}^2,</math>
|-
| <math>X\!</math>
| <math>=\!</math>
| <math>\{\ \underline{(u)(v)},\ \underline{(u)v},\ \underline{u(v)},\ \underline{uv}\ \}</math>
| <math>\cong\!</math>
| <math>\mathbb{B}^2.</math>
|}
|}