12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 12:56, 7 May 2008
, 12:56, 7 May 2008→Note 20: markup
===Note 20===
===Note 20===
Let's now look at the last type of clause that we find in my transcription of the Jets and Sharks data base, for instance, as exemplified by the following couple of lobal expressions:
<pre>
<pre>
( jets ,
( jets ,
( art ),( al ),( sam ),( clyde ),( mike ),
( art ),( al ),( sam ),( clyde ),( mike ),
( phil ),( ike ),( nick ),( don ),( ned ),( karl ),
( phil ),( ike ),( nick ),( don ),( ned ),( karl ),
( ken ),( earl ),( rick ),( ol ),( neal ),( dave ))
( ken ),( earl ),( rick ),( ol ),( neal ),( dave ))
</pre>
Each of these clauses exhibits a generic pattern whose logical properties
Each of these clauses exhibits a generic pattern whose logical properties may be studied well enough in the form of the following schematic example.
may be studied well enough in the form of the following schematic example.
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
| |
| |
| ( x ,(y),(z)) |
| ( x ,(y),(z)) |
o-------------------------------------------------o
o-------------------------------------------------o
</pre>
<pre>
The proposition (u, v, w) evaluates to true
The proposition (u, v, w) evaluates to true
if and only if just one of u, v, w is false.
if and only if just one of u, v, w is false.