MyWikiBiz, Author Your Legacy — Thursday May 16, 2024
Jump to navigationJump to search
Differential Logic
ASCII Graphics
Series 1
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
|
Series 2
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 &
\texttt{(} \operatorname{d}p \texttt{)}
\texttt{(} \operatorname{d}q \texttt{)}
\\[4pt]
& + &
p & \cdot & q & \cdot &
\texttt{(} \operatorname{d}p \texttt{)}
\texttt{~} \operatorname{d}q \texttt{~}
\\[4pt]
& + &
p & \cdot & q & \cdot &
\texttt{~} \operatorname{d}p \texttt{~}
\texttt{(} \operatorname{d}q \texttt{)}
\\[4pt]
& + &
p & \cdot & q & \cdot &
\texttt{~} \operatorname{d}p \texttt{~}
\texttt{~} \operatorname{d}q \texttt{~}
\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 &
\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 25-2. Difference Map}~ \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}\)
|
|
| \(\text{Figure 26-1. Tangent Map}~ \operatorname{d}(pq) : \operatorname{E}X \to \mathbb{B}\)
|
|
\(\begin{array}{rcccccc}
\operatorname{d}(pq)
& = & p & \cdot & q & \cdot &
\texttt{(} \operatorname{d}p \texttt{,} \operatorname{d}q \texttt{)}
\\[4pt]
& + & p & \cdot & \texttt{(} q \texttt{)} & \cdot & \operatorname{d}q
\\[4pt]
& + & \texttt{(} p \texttt{)} & \cdot & q & \cdot & \operatorname{d}p
\\[4pt]
& + & \texttt{(} p \texttt{)} & \cdot & \texttt{(}q \texttt{)} & \cdot & 0
\end{array}\)
|
|
| \(\text{Figure 26-2. Remainder Map}~ \operatorname{r}(pq) : \operatorname{E}X \to \mathbb{B}\)
|
|
\(\begin{array}{rcccccc}
\operatorname{r}(pq)
& = & p & \cdot & q & \cdot &
\operatorname{d}p ~ \operatorname{d}q
\\[4pt]
& + & p & \cdot & \texttt{(} q \texttt{)} & \cdot &
\operatorname{d}p ~ \operatorname{d}q
\\[4pt]
& + & \texttt{(} p \texttt{)} & \cdot & q & \cdot &
\operatorname{d}p ~ \operatorname{d}q
\\[4pt]
& + & \texttt{(} p \texttt{)} & \cdot & \texttt{(}q \texttt{)} & \cdot &
\operatorname{d}p ~ \operatorname{d}q
\end{array}\)
|
