Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
(view source)
Revision as of 15:38, 20 June 2009
563 bytes removed
,
15:38, 20 June 2009
→Note 2
:
convert graphics
Line 73:
Line 73:
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.
−
{| align="center"
cellpadding
="
6
" width="90%"
+
{| align="center"
cellspacing
="
10
" width="90%"
| align="center" |
| align="center" |
−
<math>p ~\operatorname{and}~ q \
quad
\xrightarrow{~\operatorname{Diff}~} \
quad
\operatorname{d}p ~\operatorname{or}~ \operatorname{d}q</math>
+
<math>p ~\operatorname{and}~ q \
qquad
\xrightarrow{~\operatorname{Diff}~} \
qquad
\operatorname{d}p ~\operatorname{or}~ \operatorname{d}q</math>
−
|
-
+
|
}
−
| align="center"
|
+
−
<pre>
+
{
| align="center"
cellspacing="10"
−
o-------------------------------------------------o
+
|
[[Image:Cactus Graph PQ
Diff ((
dP
)(
dQ
))
.jpg
|
500px]]
−
| |
−
| dp dq |
−
|
o o |
−
| \ / |
−
| o |
−
| p q | |
−
| @ --
Diff
--> @ |
−
| |
−
o-------------------------------------------------o
−
| p q --Diff-->
((
dp
) (
dq
))
|
−
o-------------------------------------------------o
−
</pre>
|}
|}
Jon Awbrey
12,080
edits