12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 03:32, 26 March 2010
, 03:32, 26 March 2010→C<sub>1</sub>. Double negation: trim head
===Frequently used theorems===
===Frequently used theorems===
====C<sub>1</sub>. Double negation theorem====
====C<sub>1</sub>. Double negation====
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''.