MyWikiBiz, Author Your Legacy — Saturday October 19, 2024
Jump to navigationJump to search
117 bytes removed
, 17:07, 25 January 2009
Line 679: |
Line 679: |
| | | |
| ===Proof Schemata=== | | ===Proof Schemata=== |
− |
| |
− | <br>
| |
− |
| |
− | <pre>
| |
− | Definition 1
| |
− |
| |
− | If X c U,
| |
− |
| |
− | then {X} : U -> B
| |
− |
| |
− | such that, for all u C U:
| |
− |
| |
− | D1a. {X}(u) <=> u C X.
| |
− | </pre>
| |
− |
| |
− | <br>
| |
| | | |
| <br> | | <br> |
Line 705: |
Line 689: |
| | colspan="2" style="border-left:1px solid black; border-right:1px solid black; border-top:1px solid black" | | | | colspan="2" style="border-left:1px solid black; border-right:1px solid black; border-top:1px solid black" | |
| <math>\begin{array}{ll} | | <math>\begin{array}{ll} |
− | \text{If} & Q \subseteq X, | + | \text{If} & Q \subseteq X |
| \\ | | \\ |
| \\ | | \\ |
Line 721: |
Line 705: |
| <math>\forall x \in X</math> | | <math>\forall x \in X</math> |
| |} | | |} |
| + | |
| + | <br> |