Changes

MyWikiBiz, Author Your Legacy — Tuesday April 30, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Dynamics And Logic (view source)

Revision as of 14:14, 22 June 2009

3,164 bytes removed ,  14:14, 22 June 2009
→‎Note 6: convert graphics
Line 345: Line 345:  
A suitably generic definition of the extended universe of discourse is afforded by the following set-up:
 
A suitably generic definition of the extended universe of discourse is afforded by the following set-up:
   −
{| align="center" cellpadding="6" width="90%"
+
{| align="center" cellspacing="20" width="90%"
 
|
 
|
 
<math>\begin{array}{lccl}
 
<math>\begin{array}{lccl}
Line 370: Line 370:  
For a proposition of the form <math>f : X_1 \times \ldots \times X_k \to \mathbb{B},</math> the ''(first order) enlargement'' of <math>f\!</math> is the proposition <math>\operatorname{E}f : \operatorname{E}X \to \mathbb{B}</math> that is defined by the following equation:
 
For a proposition of the form <math>f : X_1 \times \ldots \times X_k \to \mathbb{B},</math> the ''(first order) enlargement'' of <math>f\!</math> is the proposition <math>\operatorname{E}f : \operatorname{E}X \to \mathbb{B}</math> that is defined by the following equation:
   −
{| align="center" cellpadding="6" width="90%"
+
{| align="center" cellspacing="20" width="90%"
 
|
 
|
 
<math>\begin{array}{l}
 
<math>\begin{array}{l}
Line 385: Line 385:  
In the example of logical conjunction, <math>f(p, q) = pq,\!</math> the enlargement <math>\operatorname{E}f</math> is formulated as follows:
 
In the example of logical conjunction, <math>f(p, q) = pq,\!</math> the enlargement <math>\operatorname{E}f</math> is formulated as follows:
   −
{| align="center" cellpadding="6" width="90%"
+
{| align="center" cellspacing="20" width="90%"
 
|
 
|
 
<math>\begin{array}{l}
 
<math>\begin{array}{l}
Line 398: Line 398:  
Given that this expression uses nothing more than the boolean ring operations of addition and multiplication, it is permissible to "multiply things out" in the usual manner to arrive at the following result:
 
Given that this expression uses nothing more than the boolean ring operations of addition and multiplication, it is permissible to "multiply things out" in the usual manner to arrive at the following result:
   −
{| align="center" cellpadding="6" width="90%"
+
{| align="center" cellspacing="20" width="90%"
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 415: Line 415:  
To understand what the ''enlarged'' or ''shifted'' proposition means in logical terms, it serves to go back and analyze the above expression for <math>\operatorname{E}f</math> in the same way that we did for <math>\operatorname{D}f.</math>  Toward that end, the value of <math>\operatorname{E}f_x</math> at each <math>x \in X</math> may be computed in graphical fashion as shown below:
 
To understand what the ''enlarged'' or ''shifted'' proposition means in logical terms, it serves to go back and analyze the above expression for <math>\operatorname{E}f</math> in the same way that we did for <math>\operatorname{D}f.</math>  Toward that end, the value of <math>\operatorname{E}f_x</math> at each <math>x \in X</math> may be computed in graphical fashion as shown below:
   −
{| align="center" cellpadding="6" width="90%"
+
{| align="center" cellspacing="20" style="text-align:center"
−
| align="center" |
+
| [[Image:Cactus Graph Ef = (P,dP)(Q,dQ).jpg|500px]]
−
<pre>
  −
o-------------------------------------------------o
  −
|                                                |
  −
|                  p  dp q  dq                  |
  −
|                  o---o o---o                  |
  −
|                    \  | |  /                    |
  −
|                    \ | | /                    |
  −
|                      \| |/                      |
  −
|                      @=@                      |
  −
|                                                |
  −
o-------------------------------------------------o
  −
| Ef =           (p, dp) (q, dq)                 |
  −
o-------------------------------------------------o
  −
</pre>
   
|-
 
|-
−
| align="center" |
+
| [[Image:Cactus Graph Ef@PQ = (dP)(dQ).jpg|500px]]
−
<pre>
  −
o-------------------------------------------------o
  −
|                                                |
  −
|                      dp    dq                  |
  −
|                  o---o o---o                  |
  −
|                    \  | |  /                    |
  −
|                    \ | | /                    |
  −
|                      \| |/                      |
  −
|                      @=@                      |
  −
|                                                |
  −
o-------------------------------------------------o
  −
| Ef|pq =            (dp) (dq)                   |
  −
o-------------------------------------------------o
  −
</pre>
   
|-
 
|-
−
| align="center" |
+
| [[Image:Cactus Graph Ef@P(Q) = (dP)dQ.jpg|500px]]
−
<pre>
  −
o-------------------------------------------------o
  −
|                                                |
  −
|                        o                      |
  −
|                      dp |  dq                  |
  −
|                  o---o o---o                  |
  −
|                    \  | |  /                    |
  −
|                    \ | | /                    |
  −
|                      \| |/                      |
  −
|                      @=@                       |
  −
|                                                |
  −
o-------------------------------------------------o
  −
| Ef|p(q) =         (dp) dq                    |
  −
o-------------------------------------------------o
  −
</pre>
   
|-
 
|-
−
| align="center" |
+
| [[Image:Cactus Graph Ef@(P)Q = dP(dQ).jpg|500px]]
−
<pre>
  −
o-------------------------------------------------o
  −
|                                                |
  −
|                  o                            |
  −
|                  |  dp    dq                  |
  −
|                  o---o o---o                  |
  −
|                    \  | |  /                    |
  −
|                    \ | | /                    |
  −
|                      \| |/                      |
  −
|                      @=@                       |
  −
|                                                |
  −
o-------------------------------------------------o
  −
| Ef|(p)q =           dp  (dq)                   |
  −
o-------------------------------------------------o
  −
</pre>
   
|-
 
|-
−
| align="center" |
+
| [[Image:Cactus Graph Ef@(P)(Q) = dP dQ.jpg|500px]]
−
<pre>
  −
o-------------------------------------------------o
  −
|                                                |
  −
|                  o    o                      |
  −
|                  |  dp |  dq                  |
  −
|                  o---o o---o                  |
  −
|                    \  | |  /                    |
  −
|                    \ | | /                    |
  −
|                      \| |/                      |
  −
|                      @=@                      |
  −
|                                                |
  −
o-------------------------------------------------o
  −
| Ef|(p)(q) =         dp  dq                    |
  −
o-------------------------------------------------o
  −
</pre>
   
|}
 
|}
    
Given the data that develops in this form of analysis, the disjoined ingredients can now be folded back into a boolean expansion or a disjunctive normal form (DNF) that is equivalent to the enlarged proposition <math>\operatorname{E}f.</math>
 
Given the data that develops in this form of analysis, the disjoined ingredients can now be folded back into a boolean expansion or a disjunctive normal form (DNF) that is equivalent to the enlarged proposition <math>\operatorname{E}f.</math>
   −
{| align="center" cellpadding="6" width="90%"
+
{| align="center" cellspacing="20" width="90%"
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 519: Line 446:  
Here is a summary of the result, illustrated by means of a digraph picture, where the "no change" element <math>(\operatorname{d}p)(\operatorname{d}q)</math> is drawn as a loop at the point <math>p~q.</math>
 
Here is a summary of the result, illustrated by means of a digraph picture, where the "no change" element <math>(\operatorname{d}p)(\operatorname{d}q)</math> is drawn as a loop at the point <math>p~q.</math>
   −
{| align="center" cellpadding="10"
+
{| align="center" cellspacing="20" style="text-align:center"
 
| [[Image:Directed Graph PQ Enlargement Conj.jpg|500px]]
 
| [[Image:Directed Graph PQ Enlargement Conj.jpg|500px]]
−
|}
+
|-
−
 
  −
{| align="center" cellpadding="10"
   
|
 
|
 
<math>\begin{array}{rcccccc}
 
<math>\begin{array}{rcccccc}
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/88536"

Navigation menu