12,080
edits
Changes
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs (view source)
Revision as of 04:22, 29 July 2009
, 04:22, 29 July 2009→Double negation theorem: ← split off new section
By way of gaining a minimal experience with how equational proofs look in the present forms of syntax, I will lay out the proofs of a few essential theorems in the primary algebra.
By way of gaining a minimal experience with how equational proofs look in the present forms of syntax, I will lay out the proofs of a few essential theorems in the primary algebra.
==Double negation theorem==
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''.