12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 12:52, 27 September 2010
, 12:52, 27 September 2010→C1. Double negation: replace JPG with PNG
The first theorem goes under the names of ''Consequence 1'' <math>(C_1)\!</math>, the ''double negation theorem'' (DNT), or ''Reflection''.
The first theorem goes under the names of ''Consequence 1'' <math>(C_1)\!</math>, the ''double negation theorem'' (DNT), or ''Reflection''.
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" cellpadding="10"
| [[Image:PERS_Figure_05.jpg|500px]] || (5)
| [[Image:Double Negation 1.0 Splash Page.png|500px]] || (5)
|}
|}