12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday April 12, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems (view source)
Revision as of 02:36, 18 August 2007
, 02:36, 18 August 2007→Differential of Conjunction: sub [gif images/ascii graphics]
Line 4,058:
Line 4,058:
o---------------------------------------o+| o |
−| / \ |
−| / \ |
−| / \ |
−| o o |
−| /%\ /%\ |
−| /%%%\ /%%%\ |
−| /%%%%%\ /%%%%%\ |
−| o%%%%%%%o%%%%%%%o |
−| /%\%%%%%/ \%%%%%/%\ |
−| /%%%\%%%/ \%%%/%%%\ |
−| /%%%%%\%/ \%/%%%%%\ |
−| o%%%%%%%o o%%%%%%%o |
−| / \%%%%%/%\ /%\%%%%%/ \ |
−| / \%%%/%%%\ /%%%\%%%/ \ |
−| / \%/%%%%%\ /%%%%%\%/ \ |
−| o o%%%%%%%o%%%%%%%o o |
−| |\ / \%%%%%/ \%%%%%/ \ /| |
−| | \ / \%%%/ \%%%/ \ / | |
−| | \ / \%/ \%/ \ / | |
−| | o o o o | |
−| | |\ / \ / \ /| | |
−| | | \ / \ / \ / | | |
−| | u | \ / \ / \ / | v | |
−| o---+---o o o---+---o |
−| | \ / \ / | |
−| | \ / \ / | |
−| | du \ / \ / dv | |
−| o-------o o-------o |
−| \ / |
−| \ / |
−| \ / |
−| o |
−| |
−o---------------------------------------o
− o-----------------------------o+ | |+ | o-----o o-----o |
− | / \ / \ |
− | / o \ |
− | / / \ \ |
− | o o o o |
− @ | du | | dv | |
− /| o o o o |
− / | \ \ / / |
− / | \ o / |
− / | \ / \ / |
− / | o-----o o-----o |
− / | |
− / o-----------------------------o
− /
−o----------------------------------------/----o o-----------------------------o
−| / | | |
−| @ | | o-----o o-----o |
−| | | /%%%%%%%\ / \ |
−| o---------o o---------o | | /%%%%%%%%%o \ |
−| / \ / \ | | /%%%%%%%%%/%\ \ |
−| / o \ | | o%%%%%%%%%o%%%o o |
−| / /`\ @------\-----------@ |%% du %%%|%%%| dv | |
−| / /```\ \ | | o%%%%%%%%%o%%%o o |
−| / /`````\ \ | | \%%%%%%%%%\%/ / |
−| / /```````\ \ | | \%%%%%%%%%o / |
−| o o`````````o o | | \%%%%%%%/ \ / |
−| | |````@````| | | | o-----o o-----o |
−| | |`````\```| | | | |
−| | |``````\``| | | o-----------------------------o
−| | u |```````\`| v | |
−| | |````````\| | | o-----------------------------o
−| | |`````````| | | | |
−| | |`````````|\ | | | o-----o o-----o |
−| o o`````````o \ o | | / \ /%%%%%%%\ |
−| \ \```````/ \ / | | / o%%%%%%%%%\ |
−| \ \`````/ \ / | | / /%\%%%%%%%%%\ |
−| \ \```/ \ / | | o o%%%o%%%%%%%%%o |
−| \ @------\-/---------\---------------@ | du |%%%|%%% dv %%| |
−| \ o \ / | | o o%%%o%%%%%%%%%o |
−| \ / \ / | | \ \%/%%%%%%%%%/ |
−| o---------o o---------o \ | | \ o%%%%%%%%%/ |
−| \ | | \ / \%%%%%%%/ |
−| \ | | o-----o o-----o |
−| \ | | |
−o----------------------------------------\----o o-----------------------------o
− \
− \ o-----------------------------o
− \ | |
− \ | o-----o o-----o |
− \ | /%%%%%%%\ /%%%%%%%\ |
− \ | /%%%%%%%%%o%%%%%%%%%\ |
− \ | /%%%%%%%%%/ \%%%%%%%%%\ |
− \| o%%%%%%%%%o o%%%%%%%%%o |
− @ |%% du %%%| |%%% dv %%| |
− | o%%%%%%%%%o o%%%%%%%%%o |
− | \%%%%%%%%%\ /%%%%%%%%%/ |
− | \%%%%%%%%%o%%%%%%%%%/ |
− | \%%%%%%%/ \%%%%%%%/ |
− | o-----o o-----o |
− | |
− o-----------------------------o
−o---------------------------------------------------------------------o+| |
−| o-------------------o o-------------------o |
−| / \ / \ |
−| / o \ |
−| / / \ \ |
−| / / \ \ |
−| / / \ \ |
−| / / @ \ \ |
−| / / ^ ^ \ \ |
−| o o / \ o o |
−| | | / \ | | |
−| | | / \ | | |
−| | |/ \| | |
−| | u (du)/ dv du \(dv) v | |
−| | /| |\ | |
−| | / | | \ | |
−| | / | | \ | |
−| o / o o \ o |
−| \ / \ / \ / |
−| \ v \ du dv / v / |
−| \ @<----------------------->@ / |
−| \ \ / / |
−| \ \ / / |
−| \ o / |
−| \ / \ / |
−| o-------------------o o-------------------o |
−| |
−| |
−o---------------------------------------------------------------------o
−o-----------------------------------------------------------o+| u v |
−| @ |
−| ^ ^ |
−| / \ |
−| / \ |
−| / \ |
−| / \ |
−| (du) dv / \ du (dv) |
−| / \ |
−| / \ |
−| / \ |
−| / \ |
−| v v |
−| u (v) @<--------------------->@ (u) v |
−| du dv |
−| |
−| |
−| |
−| |
−| |
−| |
−| |
−| |
−| |
−| |
−| @ |
−| (u) (v) |
−| |
−o-----------------------------------------------------------o
−
Figures 46-a through 46-d illustrate the proposition d''J'', rounded out in our usual array of prospects. This proposition of E''U''<sup> •</sup> is what we refer to as the (first order) differential of ''J'', and normally regard as ''the'' differential proposition corresponding to ''J''.
Figures 46-a through 46-d illustrate the proposition d''J'', rounded out in our usual array of prospects. This proposition of E''U''<sup> •</sup> is what we refer to as the (first order) differential of ''J'', and normally regard as ''the'' differential proposition corresponding to ''J''.
−<pre>
+<br>
−<p>[[Image:Diff Log Dyn Sys -- Figure 46-a -- Differential of J.gif|center]]</p>
−| |
+<p><center><font size="+1">'''Figure 46-a. Differential of ''J'' (Areal)'''</font></center></p>
−Figure 46-a. Differential of J (Areal)
−</pre>
−<pre>
+<br>
−<p>[[Image:Diff Log Dyn Sys -- Figure 46-b -- Differential of J.gif|center]]</p>
−<p><center><font size="+1">'''Figure 46-b. Differential of ''J'' (Bundle)'''</font></center></p>
−Figure 46-b. Differential of J (Bundle)
−</pre>
−<pre>
+<br>
−<p>[[Image:Diff Log Dyn Sys -- Figure 46-c -- Differential of J.gif|center]]</p>
−| |
+<p><center><font size="+1">'''Figure 46-c. Differential of ''J'' (Compact)'''</font></center></p>
−Figure 46-c. Differential of J (Compact)
−</pre>
−<pre>
+<br>
−<p>[[Image:Diff Log Dyn Sys -- Figure 46-d -- Differential of J.gif|center]]</p>
−| |
+<p><center><font size="+1">'''Figure 46-d. Differential of ''J'' (Digraph)'''</font></center></p>
−Figure 46-d. Differential of J (Digraph)
−</pre>
=====Remainder of Conjunction=====
=====Remainder of Conjunction=====
