12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 18:36, 30 November 2015
, 18:36, 30 November 2015→Operational Representation: + next paragraph
<br>
<br>
It happens that there are just two possible groups of 4 elements. One is the cyclic group <math>Z_4\!</math> (from German ''Zyklus''), which this is not. The other is the Klein four-group <math>V_4\!</math> (from German ''Vier''), which this is.
==Propositional Forms on Two Variables==
==Propositional Forms on Two Variables==