[Inquiry] Re: Dynamics And Logic

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

DAL.  Note 9

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Table 9-a.  Ef Expanded Over Differential Features
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| ` ` `| ` ` f ` ` `| ` T_11 f` `| ` T_10 f` `| ` T_01 f` `| ` T_00 f` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| ` ` `| ` ` ` ` ` `| Ef| dp dq `| Ef| dp(dq) | Ef| (dp)dq | Ef|(dp)(dq)|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_0 `| ` ` ()` ` `| ` ` ()` ` `| ` ` ()` ` `| ` ` ()` ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_1 `| ` (p)(q)` `| ` `p` q ` `| ` `p (q)` `| ` (p) q ` `| ` (p)(q)` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_2 `| ` (p) q ` `| ` `p (q)` `| ` `p` q ` `| ` (p)(q)` `| ` (p) q ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_4 `| ` `p (q)` `| ` (p) q ` `| ` (p)(q)` `| ` `p` q ` `| ` `p (q)` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_8 `| ` `p` q ` `| ` (p)(q)` `| ` (p) q ` `| ` `p (q)` `| ` `p` q ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_3 `| ` (p) ` ` `| ` `p` ` ` `| ` `p ` ` ` | ` (p) ` ` `| ` (p) ` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_12 | ` `p` ` ` `| ` (p) ` ` `| ` (p) ` ` `| ` `p` ` ` `| ` `p` ` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_6 `| ` (p, q)` `| ` (p, q)` `| `((p, q)) `| `((p, q)) `| ` (p, q)` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_9 `| `((p, q)) `| `((p, q)) `| ` (p, q)` `| ` (p, q)` `| `((p, q)) `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_5 `| ` ` `(q)` `| ` ` ` q ` `| ` ` `(q)` `| ` ` ` q ` `| ` ` `(q)` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_10 | ` ` ` q ` `| ` ` `(q)` `| ` ` ` q ` `| ` ` `(q)` `| ` ` ` q ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_7 `| ` (p` q)` `| `((p)(q)) `| `((p) q)` `| ` (p (q)) `| ` (p` q)` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_11 | ` (p (q)) `| `((p) q)` `| `((p)(q)) `| ` (p` q)` `| ` (p (q)) `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_13 | `((p) q)` `| ` (p (q)) `| ` (p` q)` `| `((p)(q)) `| `((p) q)` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_14 | `((p)(q)) `| ` (p` q)` `| ` (p (q)) `| `((p) q)` `| `((p)(q)) `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_15 | ` `(()) ` `| ` `(()) ` `| ` `(()) ` `| ` `(()) ` `| ` `(()) ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| Fiped Point Total | ` ` `4` ` `| ` ` `4` ` `| ` ` `4` ` `| ` ` 16` ` `|
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o-------------------o------------o------------o------------o------------o

Table 9-b.  Df Expanded Over Differential Features
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| ` ` `| ` ` f ` ` `| Df| dp dq `| Df| dp(dq) | Df| (dp)dq | Df|(dp)(dq)|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_0 `| ` ` ()` ` `| ` ` ()` ` `| ` ` ()` ` `| ` ` ()` ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_1 `| ` (p)(q)` `| `((p, q)) `| ` `(q)` ` `| ` `(p)` ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_2 `| ` (p) q ` `| ` (p, q)` `| ` ` q ` ` `| ` `(p)` ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_4 `| ` `p (q)` `| ` (p, q)` `| ` `(q)` ` `| ` ` p ` ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_8 `| ` `p` q ` `| `((p, q)) `| ` ` q ` ` `| ` ` p ` ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_3 `| ` (p) ` ` `| ` `(()) ` `| ` `(()) ` `| ` ` ()` ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_12 | ` `p` ` ` `| ` `(()) ` `| ` `(()) ` `| ` ` ()` ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_6 `| ` (p, q)` `| ` ` ()` ` `| ` `(()) ` `| ` `(()) ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_9 `| `((p, q)) `| ` ` ()` ` `| ` `(()) ` `| ` `(()) ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_5 `| ` ` `(q)` `| ` `(()) ` `| ` ` ()` ` `| ` `(()) ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_10 | ` ` ` q ` `| ` `(()) ` `| ` ` ()` ` `| ` `(()) ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_7 `| ` (p` q)` `| `((p, q)) `| ` ` q ` ` `| ` ` p ` ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_11 | ` (p (q)) `| ` (p, q)` `| ` `(q)` ` `| ` ` p ` ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_13 | `((p) q)` `| ` (p, q)` `| ` ` q ` ` `| ` `(p)` ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_14 | `((p)(q)) `| `((p, q)) `| ` `(q)` ` `| ` `(p)` ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
| f_15 | ` `(()) ` `| ` ` ()` ` `| ` ` ()` ` `| ` ` ()` ` `| ` ` ()` ` `|
| ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `| ` ` ` ` ` `|
o------o------------o------------o------------o------------o------------o

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o