Difference between revisions of "User:Jon Awbrey/GRAPHICS"
Jon Awbrey (talk | contribs) (→Series 1: use \texttt{...} font for logical ops) |
Jon Awbrey (talk | contribs) (→Series 1: use \texttt{...} for logical ops) |
||
| Line 463: | Line 463: | ||
<math>\begin{array}{rcccccc} | <math>\begin{array}{rcccccc} | ||
\operatorname{D}(pq) | \operatorname{D}(pq) | ||
| − | & = & | + | & = & |
| + | p | ||
| + | & \cdot & | ||
| + | q | ||
| + | & \cdot & | ||
| + | \texttt{(} | ||
| + | \texttt{(} \operatorname{d}p \texttt{)} | ||
| + | \texttt{(} \operatorname{d}q \texttt{)} | ||
| + | \texttt{)} | ||
\\[4pt] | \\[4pt] | ||
| − | & + & | + | & + & |
| + | p | ||
| + | & \cdot & | ||
| + | \texttt{(} q \texttt{)} | ||
| + | & \cdot & | ||
| + | \texttt{~} | ||
| + | \texttt{(} \operatorname{d}p \texttt{)} | ||
| + | \texttt{~} \operatorname{d}q \texttt{~} | ||
| + | \texttt{~} | ||
\\[4pt] | \\[4pt] | ||
| − | & + & (p) & \cdot & | + | & + & |
| + | \texttt{(} p \texttt{)} | ||
| + | & \cdot & | ||
| + | q | ||
| + | & \cdot & | ||
| + | \texttt{~} | ||
| + | \texttt{~} \operatorname{d}p \texttt{~} | ||
| + | \texttt{(} \operatorname{d}q \texttt{)} | ||
| + | \texttt{~} | ||
\\[4pt] | \\[4pt] | ||
| − | & + & (p) & \cdot & (q) & \cdot & ~~\operatorname{d}p~~\operatorname{d}q~~ | + | & + & |
| + | \texttt{(} p \texttt{)} | ||
| + | & \cdot & | ||
| + | \texttt{(}q \texttt{)} | ||
| + | & \cdot & | ||
| + | \texttt{~} | ||
| + | \texttt{~} \operatorname{d}p \texttt{~} | ||
| + | \texttt{~} \operatorname{d}q \texttt{~} | ||
| + | \texttt{~} | ||
\end{array}</math> | \end{array}</math> | ||
|} | |} | ||
Revision as of 15:50, 17 June 2009
Differential Logic
ASCII Graphics
o-------------------------------------------------o | | | | | o-------------o o-------------o | | / \ / \ | | / o \ | | / /%\ \ | | / /%%%\ \ | | o o%%%%%o o | | | |%%%%%| | | | | P |%%%%%| Q | | | | |%%%%%| | | | o o%%%%%o o | | \ \%%%/ / | | \ \%/ / | | \ o / | | \ / \ / | | o-------------o o-------------o | | | | | o-------------------------------------------------o | f = p q | o-------------------------------------------------o Figure 22-a. Conjunction pq : X -> B |
o-------------------------------------------------o | | | | | o-------------o o-------------o | | / \ / \ | | / P o Q \ | | / /%\ \ | | / /%%%\ \ | | o o.->-.o o | | | p(q)(dp)dq |%\%/%| (p)q dp(dq) | | | | o---------------|->o<-|---------------o | | | | |%%^%%| | | | o o%%|%%o o | | \ \%|%/ / | | \ \|/ / | | \ o / | | \ /|\ / | | o-------------o | o-------------o | | | | | | | | | | | o | | (p)(q) dp dq | | | o-------------------------------------------------o | f = p q | o-------------------------------------------------o | | | Ef = p q (dp)(dq) | | | | + p (q) (dp) dq | | | | + (p) q dp (dq) | | | | + (p)(q) dp dq | | | o-------------------------------------------------o Figure 22-b. Enlargement E[pq] : EX -> B |
o-------------------------------------------------o | | | | | o-------------o o-------------o | | / \ / \ | | / P o Q \ | | / /%\ \ | | / /%%%\ \ | | o o%%%%%o o | | | (dp)dq |%%%%%| dp(dq) | | | | o<--------------|->o<-|-------------->o | | | | |%%^%%| | | | o o%%|%%o o | | \ \%|%/ / | | \ \|/ / | | \ o / | | \ /|\ / | | o-------------o | o-------------o | | | | | | | | v | | o | | dp dq | | | o-------------------------------------------------o | f = p q | o-------------------------------------------------o | | | Df = p q ((dp)(dq)) | | | | + p (q) (dp) dq | | | | + (p) q dp (dq) | | | | + (p)(q) dp dq | | | o-------------------------------------------------o Figure 22-c. Difference D[pq] : EX -> B |
o---------------------------------------------------------------------o | | | X | | o-------------------o | | / \ | | / \ | | / \ | | / \ | | / \ | | / \ | | / \ | | o o | | | | | | | | | | | | | | | G | | | | | | | | | | | | | | | o o | | \ / | | \ / | | \ T / | | \ o<------------/-------------o | | \ / | | \ / | | \ / | | o-------------------o | | | | | o---------------------------------------------------------------------o Figure 23. Elements of a Cybernetic System |
o---------------------------------------------------------------------o | | | X | | o-------------------o o-------------------o | | / \ / \ | | / o \ | | / /%\ \ | | / /%%%\ \ | | / /%%%%%\ \ | | / /%%%%%%%\ \ | | / /%%%%%%%%%\ \ | | o o%%%%%%%%%%%o o | | | |%%%%%%%%%%%| | | | | |%%%%%%%%%%%| | | | | |%%%%%%%%%%%| | | | | P |%%%%%%%%%%%| Q | | | | |%%%%%%%%%%%| | | | | |%%%%%%%%%%%| | | | | |%%%%%%%%%%%| | | | o o%%%%%%%%%%%o o | | \ \%%%%%%%%%/ / | | \ \%%%%%%%/ / | | \ \%%%%%/ / | | \ \%%%/ / | | \ \%/ / | | \ o / | | \ / \ / | | o-------------------o o-------------------o | | | | | o---------------------------------------------------------------------o Figure 24-1. Proposition pq : X -> B |
o---------------------------------------------------------------------o | | | X | | o-------------------o o-------------------o | | / \ / \ | | / P o Q \ | | / / \ \ | | / / \ \ | | / / \ \ | | / / \ \ | | / / \ \ | | o o (dp) (dq) o o | | | | o-->--o | | | | | | \ / | | | | | (dp) dq | \ / | dp (dq) | | | | o<-----------------o----------------->o | | | | | | | | | | | | | | | | | | | | | | | | o o | o o | | \ \ | / / | | \ \ | / / | | \ \ | / / | | \ \ | / / | | \ \|/ / | | \ | / | | \ /|\ / | | o-------------------o | o-------------------o | | | | | dp | dq | | | | | v | | o | | | o---------------------------------------------------------------------o Figure 24-2. Tacit Extension !e![pq] : EX -> B |
o---------------------------------------------------------------------o | | | X | | o-------------------o o-------------------o | | / \ / \ | | / P o Q \ | | / / \ \ | | / / \ \ | | / / \ \ | | / / \ \ | | / / \ \ | | o o (dp) (dq) o o | | | | o-->--o | | | | | | \ / | | | | | (dp) dq | \ / | dp (dq) | | | | o----------------->o<-----------------o | | | | | ^ | | | | | | | | | | | | | | | | | | o o | o o | | \ \ | / / | | \ \ | / / | | \ \ | / / | | \ \ | / / | | \ \|/ / | | \ | / | | \ /|\ / | | o-------------------o | o-------------------o | | | | | dp | dq | | | | | | | | o | | | o---------------------------------------------------------------------o Figure 25-1. Enlargement E[pq] : EX -> B |
o---------------------------------------------------------------------o | | | X | | o-------------------o o-------------------o | | / \ / \ | | / P o Q \ | | / / \ \ | | / / \ \ | | / / \ \ | | / / \ \ | | / / \ \ | | o o o o | | | | | | | | | | | | | | | (dp) dq | | dp (dq) | | | | o<---------------->o<---------------->o | | | | | ^ | | | | | | | | | | | | | | | | | | o o | o o | | \ \ | / / | | \ \ | / / | | \ \ | / / | | \ \ | / / | | \ \|/ / | | \ | / | | \ /|\ / | | o-------------------o | o-------------------o | | | | | dp | dq | | | | | v | | o | | | o---------------------------------------------------------------------o Figure 25-2. Difference Map D[pq] : EX -> B |
o---------------------------------------------------------------------o | | | X | | o-------------------o o-------------------o | | / \ / \ | | / P o Q \ | | / / \ \ | | / / \ \ | | / / \ \ | | / / o \ \ | | / / ^ ^ \ \ | | o o / \ o o | | | | / \ | | | | | | / \ | | | | | |/ \| | | | | (dp)/ dq dp \(dq) | | | | /| |\ | | | | / | | \ | | | | / | | \ | | | o / o o \ o | | \ v \ dp dq / v / | | \ o<--------------------->o / | | \ \ / / | | \ \ / / | | \ \ / / | | \ o / | | \ / \ / | | o-------------------o o-------------------o | | | | | o---------------------------------------------------------------------o Figure 26-1. Differential or Tangent d[pq] : EX -> B |
o---------------------------------------------------------------------o | | | X | | o-------------------o o-------------------o | | / \ / \ | | / P o Q \ | | / / \ \ | | / / \ \ | | / / \ \ | | / / \ \ | | / / \ \ | | o o o o | | | | | | | | | | | | | | | | dp dq | | | | | o<------------------------------->o | | | | | | | | | | | | | | | | | o | | | | o o ^ o o | | \ \ | / / | | \ \ | / / | | \ \ | / / | | \ \ | / / | | \ \|/ / | | \ dp | dq / | | \ /|\ / | | o-------------------o | o-------------------o | | | | | | | | | | | v | | o | | | o---------------------------------------------------------------------o Figure 26-2. Remainder r[pq] : EX -> B |
JPEG Graphics
Series 1
|
| \(\text{Figure 22-a. Conjunction}~ pq : X \to \mathbb{B}\) |
|
| \(\text{Figure 22-b. Enlargement}~ \operatorname{E}(pq) : \operatorname{E}X \to \mathbb{B}\) |
|
\(\begin{array}{rcccccc} \operatorname{E}(pq) & = & p & \cdot & q & \cdot & \texttt{(} \operatorname{d}p \texttt{)} \texttt{(} \operatorname{d}q \texttt{)} \\[4pt] & + & p & \cdot & \texttt{(} q \texttt{)} & \cdot & \texttt{(} \operatorname{d}p \texttt{)} \texttt{~} \operatorname{d}q \texttt{~} \\[4pt] & + & \texttt{(} p \texttt{)} & \cdot & q & \cdot & \texttt{~} \operatorname{d}p \texttt{~} \texttt{(} \operatorname{d}q \texttt{)} \\[4pt] & + & \texttt{(} p \texttt{)} & \cdot & \texttt{(} q \texttt{)} & \cdot & \texttt{~} \operatorname{d}p \texttt{~} \texttt{~} \operatorname{d}q \texttt{~} \end{array}\) |
|
| \(\text{Figure 22-c. Difference}~ \operatorname{D}(pq) : \operatorname{E}X \to \mathbb{B}\) |
|
\(\begin{array}{rcccccc} \operatorname{D}(pq) & = & p & \cdot & q & \cdot & \texttt{(} \texttt{(} \operatorname{d}p \texttt{)} \texttt{(} \operatorname{d}q \texttt{)} \texttt{)} \\[4pt] & + & p & \cdot & \texttt{(} q \texttt{)} & \cdot & \texttt{~} \texttt{(} \operatorname{d}p \texttt{)} \texttt{~} \operatorname{d}q \texttt{~} \texttt{~} \\[4pt] & + & \texttt{(} p \texttt{)} & \cdot & q & \cdot & \texttt{~} \texttt{~} \operatorname{d}p \texttt{~} \texttt{(} \operatorname{d}q \texttt{)} \texttt{~} \\[4pt] & + & \texttt{(} p \texttt{)} & \cdot & \texttt{(}q \texttt{)} & \cdot & \texttt{~} \texttt{~} \operatorname{d}p \texttt{~} \texttt{~} \operatorname{d}q \texttt{~} \texttt{~} \end{array}\) |
Series 2
|
|
| \(\text{Figure 24-1. Proposition}~ pq : X \to \mathbb{B}\) |
|
| \(\text{Figure 24-2. Tacit Extension}~ \varepsilon (pq) : \operatorname{E}X \to \mathbb{B}\) |
|
\(\begin{array}{rcccccc} \varepsilon (pq) & = & p & \cdot & q & \cdot & (\operatorname{d}p)(\operatorname{d}q) \\[4pt] & + & p & \cdot & q & \cdot & (\operatorname{d}p)~\operatorname{d}q~ \\[4pt] & + & p & \cdot & q & \cdot & ~\operatorname{d}p~(\operatorname{d}q) \\[4pt] & + & p & \cdot & q & \cdot & ~\operatorname{d}p~~\operatorname{d}q~ \end{array}\) |
|
|
| \(\text{Figure 25-1. Enlargement Map}~ \operatorname{E}(pq) : \operatorname{E}X \to \mathbb{B}\) |
|
\(\begin{array}{rcccccc} \operatorname{E}(pq) & = & p & \cdot & q & \cdot & (\operatorname{d}p)(\operatorname{d}q) \\[4pt] & + & p & \cdot & (q) & \cdot & (\operatorname{d}p)~\operatorname{d}q~ \\[4pt] & + & (p) & \cdot & q & \cdot & ~\operatorname{d}p~(\operatorname{d}q) \\[4pt] & + & (p) & \cdot & (q) & \cdot & ~\operatorname{d}p~~\operatorname{d}q~ \end{array}\) |
|
|
| \(\text{Figure 25-2. Difference Map}~ \operatorname{D}(pq) : \operatorname{E}X \to \mathbb{B}\) |
|
\(\begin{array}{rcccccc} \operatorname{D}(pq) & = & p & \cdot & q & \cdot & ((\operatorname{d}p)(\operatorname{d}q)) \\[4pt] & + & p & \cdot & (q) & \cdot & ~(\operatorname{d}p)~\operatorname{d}q~~ \\[4pt] & + & (p) & \cdot & q & \cdot & ~~\operatorname{d}p~(\operatorname{d}q)~ \\[4pt] & + & (p) & \cdot & (q) & \cdot & ~~\operatorname{d}p~~\operatorname{d}q~~ \end{array}\) |
