12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday October 20, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 13:10, 15 June 2007
, 13:10, 15 June 2007→Proof as semiosis: subscripts
: ''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:
