12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday October 19, 2024
Jump to navigationJump to searchUser:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 15:24, 25 January 2009
, 15:24, 25 January 2009→Box Displays
==Box Displays==
==Box Displays==
===Formal Grammars===
<br>
<br>
\end{array}</math>
\end{array}</math>
|}
|}
<br>
===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>
