Changes

MyWikiBiz, Author Your Legacy — Friday November 07, 2025
Jump to navigationJump to search

User:Jon Awbrey/SCRATCHPAD (view source)

Revision as of 18:16, 25 January 2009

130 bytes added ,  18:16, 25 January 2009
→‎Proof Schemata
Line 732: Line 732:     
<br>
 
<br>
 +
 +
<pre>
 +
Rule 1
 +
 +
If X c U,
 +
 +
then {X} : U -> B,
 +
 +
and if u C U,
 +
 +
then the following are equivalent:
 +
 +
R1a. u C X.
 +
 +
R1b. {X}(u).
 +
</pre>
Jon Awbrey
12,145

edits

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

Navigation menu