MyWikiBiz, Author Your Legacy — Thursday September 11, 2025
Jump to navigationJump to search
2,806 bytes removed
, 03:08, 31 August 2008
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==== |