12,187
edits
Changes
MyWikiBiz, Author Your Legacy — Friday January 16, 2026
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 17:45, 5 May 2008
, 17:45, 5 May 2008→Note 8: markup
| |
| |
o-------------------------------------------------o
o-------------------------------------------------o
</pre>
The models of the difference proposition Dq.uvw are:
The models of the difference proposition <math>\operatorname{D}q \cdot uvw\!</math> are:
<pre>
1. u v w du dv dw
1. u v w du dv dw
2. u v w du dv (dw)
2. u v w du dv (dw)
3. u v w du (dv) dw
3. u v w du (dv) dw
4. u v w (du) dv dw
4. u v w (du) dv dw
</pre>
This tells us that changing any two or more of the
This tells us that changing any two or more of the features <math>u, v, w\!</math> will take us from the center cell that is marked by the conjunctive expression "<math>u\ v\ w</math>" to a cell outside the shaded region for the area <math>Q.\!</math>
features u, v, w will take us from the center cell
that is marked by the conjunctive expression "uvw",
to a cell outside the shaded region for the area Q.
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
| X |
| X |
