12,140
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday November 04, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 18:50, 19 November 2008
, 18:50, 19 November 2008no edit summary
: 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 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:
:: <math>X = \{ (x)(y), (x) y, x (y), x y \} \cong \mathbb{B}^2.</math>
:: <math>X = \{ (\!|x|\!)(\!|y|\!), (\!|x|\!) y, x (\!|y|\!), x y \} \cong \mathbb{B}^2.</math>
: Each point in <math>X\!</math> may also be described by means of its ''coordinates'', that is, by the ordered pair of values in <math>\mathbb{B}</math> that the coordinate propositions <math>x\!</math> and <math>y\!</math> take on that point. This form of representation leads to the following enumeration of points:
: Each point in <math>X\!</math> may also be described by means of its ''coordinates'', that is, by the ordered pair of values in <math>\mathbb{B}</math> that the coordinate propositions <math>x\!</math> and <math>y\!</math> take on that point. This form of representation leads to the following enumeration of points:
