12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday October 12, 2025
Jump to navigationJump to searchUser:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 20:20, 29 January 2009
, 20:20, 29 January 2009→Proof Schemata: segment
===Proof Schemata===
===Proof Schemata===
====Definition 1====
<br>
<br>
| 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>
|
|
|}
|}
<br>
====Rule 2====
<br>
<br>
|
|
|}
|}
<br>
====Rule 3====
<br>
<br>
| 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>
<math>\text{R3a} \Leftrightarrow \text{R3c}</math>
<math>\text{R3a} \Leftrightarrow \text{R3c}</math>
|}
|}
<br>
====Rule 4====
<br>
<br>
