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 13:10, 15 June 2007
28 bytes added
,
13:10, 15 June 2007
m
→Proof as semiosis
:
subscripts
Line 2,417:
Line 2,417:
: ''e''<sub>4</sub> says "p and q and r, or else not p"
: ''e''<sub>4</sub> says "p and q and r, or else not p"
−
: ''e''<sub>5</sub> says that
e_2
and
e_3
say the same thing
+
: ''e''<sub>5</sub> says that
''e''<sub>2</sub>
and
''e''<sub>3</sub>
say the same thing
We took up the Equation ''E''<sub>1</sub> that reads as follows:
We took up the Equation ''E''<sub>1</sub> that reads as follows:
Jon Awbrey
12,080
edits