12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory: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)
Line 249:
Line 249:
|}
|}
−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>
|}
|}
