MyWikiBiz, Author Your Legacy — Wednesday May 01, 2024
Jump to navigationJump to search
198 bytes added
, 15:18, 29 May 2009
Line 3,801: |
Line 3,801: |
| |} | | |} |
| | | |
| + | Here is a summary of the result, illustrated by means of a digraph picture, where the "no change" element <math>(\operatorname{d}x)(\operatorname{d}y)</math> is drawn as a loop at the point <math>x~y.</math> |
| + | |
| + | {| align="center" cellpadding="6" width="90%" |
| + | | align="center" | |
| <pre> | | <pre> |
− | Here is a summary of the result, illustrated by means of a digraph picture,
| |
− | where the "no change" element (dx)(dy) is drawn as a loop at the point x·y.
| |
− |
| |
| o---------------------------------------o | | o---------------------------------------o |
| | | | | | | |
Line 3,842: |
Line 3,843: |
| | | | | | | |
| o---------------------------------------o | | o---------------------------------------o |
| + | </pre> |
| + | |} |
| | | |
− | We may understand the enlarged proposition Ef | + | We may understand the enlarged proposition <math>\operatorname{E}f</math> as telling us all the different ways to reach a model of the proposition <math>f\!</math> from each point of the universe <math>U.\!</math> |
− | as telling us all the different ways to reach | |
− | a model of f from any point of the universe U. | |
− | </pre> | |
| | | |
| ====Note 6==== | | ====Note 6==== |