12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 18:40, 19 November 2008
, 18:40, 19 November 2008→Higher Order Propositions and Logical Operators (''n'' = 2): sp
:: <math>X = \langle \mathcal{X} \rangle = \langle x, y \rangle = \{ (x, y) \} \cong \mathbb{B}^2.</math>
:: <math>X = \langle \mathcal{X} \rangle = \langle x, y \rangle = \{ (x, y) \} \cong \mathbb{B}^2.</math>
: 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 follwing 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>