12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday May 01, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 19:32, 27 May 2009
, 19:32, 27 May 2009→Differential Logic: markup
====Note 2====
====Note 2====
We have just met with the fact that the differential of the '''''and''''' is the '''''or''''' of the differentials.
We have just met with the fact that
the differential of the "and" is
the "or" of the differentials.
x and y --Diff--> dx or dy.
{| align="center" cellpadding="6" style="text-align:center" width="90%"
| <math>x ~\operatorname{and}~ y \quad \xrightarrow{~\operatorname{Diff}~} \quad dx ~\operatorname{or}~ dy</math>
|}
{| align="center" cellpadding="6" style="text-align:center" width="90%"
|
<pre>
o---------------------------------------o
o---------------------------------------o
| |
| |
| x y --Diff--> ((dx)(dy)) |
| x y --Diff--> ((dx)(dy)) |
o---------------------------------------o
o---------------------------------------o
</pre>
|}
<pre>
It will be necessary to develop a more refined analysis of
It will be necessary to develop a more refined analysis of
this statement directly, but that is roughly the nub of it.
this statement directly, but that is roughly the nub of it.
