Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Logical graph
(view source)
Revision as of 03:08, 31 August 2008
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====
Jon Awbrey
12,089
edits