12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 02:04, 2 May 2008
, 02:04, 2 May 2008→Note 6: markup
| |
| |
o-------------------------------------------------o
o-------------------------------------------------o
</pre>
The models of this last expression tell us which combinations of
The models of this last expression tell us which combinations of feature changes among the set <math>\{ \operatorname{d}u, \operatorname{d}v, \operatorname{d}w \}</math> will take us from our present interpretation, the center cell expressed by "<code>u v w</code>", to a true value under the given proposition <code>(( u v )( u w )( v w ))</code>.
feature changes among the set {du, dv, dw} will take us from our
present interpretation, the center cell expressed by "u v w", to
a true value under the given proposition (( u v )( u w )( v w )).
<pre>
The models of Eq.c can be described in the usual ways as follows:
The models of Eq.c can be described in the usual ways as follows: