12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 20:13, 8 July 2008
, 20:13, 8 July 2008→Cactus calculus: problem with subsection link -- maybe the period? -- try a shorter one
It is important to note that the last expressions are not equivalent to the triple bracket <math>(x, y, z).\!</math>
It is important to note that the last expressions are not equivalent to the triple bracket <math>(x, y, z).\!</math>
For more information about this syntax for propositional calculus, see the entries on [[minimal negation operator]]s, [[zeroth order logic]], and [[Directory:Jon_Awbrey/Papers/Differential_Propositional_Calculus#Table_A1.__Propositional_Forms_on_Two_Variables|Table A1 in Appendix 1]].
For more information about this syntax for propositional calculus, see the entries on [[minimal negation operator]]s, [[zeroth order logic]], and [[Directory:Jon_Awbrey/Papers/Differential_Propositional_Calculus#Appendix_1|Table A1 in Appendix 1]].
==Formal development==
==Formal development==