12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 17:52, 12 August 2009
, 17:52, 12 August 2009→Analysis of contingent propositions: number figures
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (26)
|}
|}
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
Figure 1. Venn Diagram for (p (q))(p (r))
Figure 27. Venn Diagram for (p (q))(p (r))
</pre>
</pre>
| (27)
|}
|}
| |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
Figure 2. Venn Diagram for (p (q r))
Figure 28. Venn Diagram for (p (q r))
</pre>
</pre>
| (28)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (29)
|}
|}
o=============================< QED >=======================o
o=============================< QED >=======================o
</pre>
</pre>
| (30)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (31)
|}
|}
o=============================< DNF >=======================o
o=============================< DNF >=======================o
</pre>
</pre>
| (32)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (33)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (34)
|}
|}
o=============================< DNF >=======================o
o=============================< DNF >=======================o
</pre>
</pre>
| (35)
|}
|}
|
|
<pre>
<pre>
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (36)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (37)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (38)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (39)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (40)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (41)
|}
|}
o==================================< QED >==================o
o==================================< QED >==================o
</pre>
</pre>
| (42)
|}
|}