MyWikiBiz

Changes

User:Jon Awbrey/SCRATCHPAD (view source)

Revision as of 20:20, 29 January 2009

137 bytes added ,  20:20, 29 January 2009
→‎Proof Schemata: segment
Line 747: Line 747:     
===Proof Schemata===
 
===Proof Schemata===
 +
 +
====Definition 1====
    
<br>
 
<br>
Line 777: Line 779:  
| align="center" style="border-top:1px solid black" | <math>\forall x \in X</math>
 
| align="center" style="border-top:1px solid black" | <math>\forall x \in X</math>
 
|}
 
|}
 +
 +
<br>
 +
 +
====Rule 1====
    
<br>
 
<br>
Line 817: Line 823:  
| &nbsp;
 
| &nbsp;
 
|}
 
|}
 +
 +
<br>
 +
 +
====Rule 2====
    
<br>
 
<br>
Line 852: Line 862:  
| &nbsp;
 
| &nbsp;
 
|}
 
|}
 +
 +
<br>
 +
 +
====Rule 3====
    
<br>
 
<br>
Line 900: Line 914:  
| align="center" style="border-left:1px solid black" | <math>\text{R3c : R2b}\!</math>
 
| align="center" style="border-left:1px solid black" | <math>\text{R3c : R2b}\!</math>
 
|}
 
|}
 +
 +
<br>
 +
 +
====Corollary 1====
    
<br>
 
<br>
Line 933: Line 951:  
<math>\text{R3a} \Leftrightarrow \text{R3c}</math>
 
<math>\text{R3a} \Leftrightarrow \text{R3c}</math>
 
|}
 
|}
 +
 +
<br>
 +
 +
====Rule 4====
    
<br>
 
<br>
Jon Awbrey
12,089

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/78059"