MyWikiBiz, Author Your Legacy — Sunday June 16, 2024
Jump to navigationJump to search
104 bytes added
, 02:00, 1 March 2009
Line 156: |
Line 156: |
| Thus, we may speak of the universe of discourse <math>X^\circ</math> as being an ordered pair <math>(X, X^\uparrow),</math> with <math>2^n\!</math> points in the underlying space <math>X\!</math> and <math>2^{2^n}</math> propositions in the function space <math>X^\uparrow.</math> | | Thus, we may speak of the universe of discourse <math>X^\circ</math> as being an ordered pair <math>(X, X^\uparrow),</math> with <math>2^n\!</math> points in the underlying space <math>X\!</math> and <math>2^{2^n}</math> propositions in the function space <math>X^\uparrow.</math> |
| | | |
− | A more complete table setting out these notations can be found here: | + | A more complete discussion of these notations can be found here: |
| | | |
− | :* [http://stderr.org/pipermail/inquiry/2003-May/000480.html DLOG D2] | + | :* [[Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0#A_Functional_Conception_of_Propositional_Calculus|A Functional Conception of Propositional Calculus]] |
| | | |
| Now, to the Example. | | Now, to the Example. |