12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 15, 2025
Jump to navigationJump to searchDirectory: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
Line 934:
Line 934:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
+| (26)
|}
|}
Line 986:
Line 987:
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
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)
|}
|}
Line 1,024:
Line 1,026:
| |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
−Figure 2. Venn Diagram for (p (q r))
+Figure 28. Venn Diagram for (p (q r))
</pre>
</pre>
+| (28)
|}
|}
Line 1,076:
Line 1,079:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
+| (29)
|}
|}
Line 1,147:
Line 1,151:
o=============================< QED >=======================o
o=============================< QED >=======================o
</pre>
</pre>
+| (30)
|}
|}
Line 1,175:
Line 1,180:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
+| (31)
|}
|}
Line 1,337:
Line 1,343:
o=============================< DNF >=======================o
o=============================< DNF >=======================o
</pre>
</pre>
+| (32)
|}
|}
Line 1,375:
Line 1,382:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
+| (33)
|}
|}
Line 1,401:
Line 1,409:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
+| (34)
|}
|}
Line 1,552:
Line 1,561:
o=============================< DNF >=======================o
o=============================< DNF >=======================o
</pre>
</pre>
+| (35)
|}
|}
Line 1,559:
Line 1,569:
|
|
<pre>
<pre>
−o-----------------------------------------------------------o
o-----------------------------------------------------------o
| |
| |
Line 1,572:
Line 1,581:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
+| (36)
|}
|}
Line 1,595:
Line 1,605:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
+| (37)
|}
|}
Line 1,614:
Line 1,625:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
+| (38)
|}
|}
Line 1,632:
Line 1,644:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
+| (39)
|}
|}
Line 1,662:
Line 1,675:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
+| (40)
|}
|}
Line 1,723:
Line 1,737:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
+| (41)
|}
|}
Line 2,161:
Line 2,176:
o==================================< QED >==================o
o==================================< QED >==================o
</pre>
</pre>
+| (42)
|}
|}
