12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy (view source)
Revision as of 19:12, 30 October 2009
, 19:12, 30 October 2009→Higher Order Propositions and Logical Operators (''n'' = 2): use \texttt typeface for logical ops
|}
|}
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:
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:
{| align="center" cellpadding="8" style="text-align:center"
{| align="center" cellpadding="8" style="text-align:center"
| <math>X\!</math>
| <math>X\!</math>
| <math>=\!</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>\{ ~ \texttt{(} u \texttt{)(} v \texttt{)} ~,~ \texttt{(} u \texttt{)} ~ v ~,~ u ~ \texttt{(} v \texttt{)} ~,~ u ~ v ~ \}</math>
| <math>\cong\!</math>
| <math>\cong\!</math>
| <math>\mathbb{B}^2,</math>
| <math>\mathbb{B}^2,</math>
|}
|}