MyWikiBiz, Author Your Legacy — Saturday October 05, 2024
Jump to navigationJump to search
221 bytes added
, 14:28, 24 January 2009
Line 2,505: |
Line 2,505: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |} | | |} |
| + | |
| + | For each choice of propositions <math>p\!</math> and <math>q\!</math> about things in <math>X,\!</math> the stretch of <math>F\!</math> to <math>p\!</math> and <math>q\!</math> on <math>X\!</math> is just another proposition about things in <math>X,\!</math> a simple proposition in its own right, no matter how complex its current expression or its present construction as <math>F^\$ (p, q) = \underline{(}~p~,~q~\underline{)}^\$</math> makes it appear in relation to <math>p\!</math> and <math>q.\!</math> Like any other proposition about things in <math>X,\!</math> it indicates a subset of <math>X,\!</math> namely, the fiber that is variously described in the following ways: |
| | | |
| <pre> | | <pre> |
− | For each choice of propositions p and q about things in X, the stretch of
| |
− | F to p and q on X is just another proposition about things in X, a simple
| |
− | proposition in its own right, no matter how complex its current expression
| |
− | or its present construction as F^$ (p, q) = -(p, q)^$ makes it appear in
| |
− | relation to p and q. Like any other proposition about things in X, it
| |
− | indicates a subset of X, namely, the fiber that is variously described
| |
− | in the following ways:
| |
− |
| |
| [| F^$ (p, q) |] = [| -(p, q)-^$ |] | | [| F^$ (p, q) |] = [| -(p, q)-^$ |] |
| | | |