Changes

2,806 bytes removed ,  03:08, 31 August 2008
→‎Peirce's law: ASCII → JPEG
Line 321: Line 321:  
====Peirce's law====
 
====Peirce's law====
   −
''[[Peirce's law|Main article: Peirce's law]]''
+
: ''[[Peirce's law|Main article: Peirce's law]]''
    
Peirce's law is commonly written in the following form:
 
Peirce's law is commonly written in the following form:
Line 337: Line 337:  
A graphical proof of Peirce's law is shown in Figure 32.
 
A graphical proof of Peirce's law is shown in Figure 32.
   −
<pre>
+
{| align="center" border="0" cellpadding="10" cellspacing="0"
o-----------------------------------------------------------o
+
| [[Image:Logical_Graph_Figure_32.jpg|500px]] || (32)
| Peirce's Law.  Proof                                      |
+
|}
o-----------------------------------------------------------o
  −
|                                                          |
  −
|         p o---o q                                        |
  −
|          |                                              |
  −
|          o---o p                                        |
  −
|          |                                              |
  −
|          o---o p                                        |
  −
|          |                                              |
  −
|          @                                              |
  −
|                                                          |
  −
o==================================< Collect >==============o
  −
|                                                           |
  −
|          o---o q                                        |
  −
|          |                                              |
  −
|          o---o                                          |
  −
|          |                                              |
  −
|        p o---o p                                        |
  −
|          |                                              |
  −
|          @                                              |
  −
|                                                          |
  −
o==================================< Recess >===============o
  −
|                                                          |
  −
|          o---o                                          |
  −
|          |                                              |
  −
|        p o---o p                                        |
  −
|          |                                              |
  −
|          @                                              |
  −
|                                                          |
  −
o==================================< Refold >===============o
  −
|                                                          |
  −
|        p o---o p                                        |
  −
|          |                                              |
  −
|          @                                              |
  −
|                                                          |
  −
o==================================< Delete >===============o
  −
|                                                          |
  −
|          o---o                                          |
  −
|          |                                              |
  −
|           @                                              |
  −
|                                                           |
  −
o==================================< Refold >===============o
  −
|                                                          |
  −
|          @                                              |
  −
|                                                          |
  −
o==================================< QED >==================o
  −
</pre>
      
====Praeclarum theorema====
 
====Praeclarum theorema====
12,089

edits