Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
(view source)
Revision as of 16:12, 19 August 2009
1,532 bytes removed
,
16:12, 19 August 2009
→Analysis of contingent propositions
:
convert graphic
Line 1,237:
Line 1,237:
If you're like me, you'd rather see it in pictures:
If you're like me, you'd rather see it in pictures:
−
{| align="center" cellpadding="8
" style="text-align:center; width:90%
"
+
{| align="center" cellpadding="8"
−
|
+
|
[[Image:Logical Graph
(( (
P
(
Q
)) (
P
(
R
)) , (
P
(
Q R
)) ))
.jpg
|
500px
]]
−
<pre>
−
o-----------------------------------------------------------o
−
| Equation E_1, Written as an Equation in Cactus Language |
−
o-----------------------------------------------------------o
−
| |
−
| q o o r q o r |
−
| | | | |
−
| p o o p p o |
−
| \ / | |
−
| o---------o |
−
| \ / |
−
| \ / |
−
| \ / |
−
| \ / |
−
| o |
−
| | |
−
| | |
−
| | |
−
| | |
−
| @ |
−
| |
−
|
((
(
p
(
q
))
(
p
(
r
))
,
(
p
(
q r
))
))
|
−
| |
−
|
[[p=>q
]
& [p=>r
]
] <=> [p=>[q&r]] |
−
| |
−
o-----------------------------------------------------------o
−
</pre>
| (39)
| (39)
|}
|}
Jon Awbrey
12,080
edits