12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 19:06, 5 May 2008
, 19:06, 5 May 2008→Note 8: punc font
</pre>
</pre>
Figure 3 shows one way to picture this kind of a situation, by superimposing the paths of indicated feature changes on the venn diagram of the underlying proposition. Here, the models, or the satisfying interpretations, of the relevant ''difference proposition'' <math>\operatorname{D}q</math> are marked with "<code>@</code>" signs, and the boundary crossings along each path are marked with the corresponding ''differential features'' among the collection <math>\{ \operatorname{d}u, \operatorname{d}v, \operatorname{d}w \}</math>. In sum, starting from the cell <math>u\ v\ w</math>, we have the following four paths:
Figure 3 shows one way to picture this kind of a situation, by superimposing the paths of indicated feature changes on the venn diagram of the underlying proposition. Here, the models, or the satisfying interpretations, of the relevant ''difference proposition'' <math>\operatorname{D}q</math> are marked with "<code>@</code>" signs, and the boundary crossings along each path are marked with the corresponding ''differential features'' among the collection <math>\{ \operatorname{d}u, \operatorname{d}v, \operatorname{d}w \}</math>. In sum, starting from the cell <math>u\ v\ w,</math> we have the following four paths:
<pre>
<pre>