Next:
Theorem 1: x=e Groups
Up:
An Entry in the Contest
Previous:
Failures on Equality Theorems
Summary of Otter Outputs for the Basic Set
Theorem 1:
x
2
=
e
Groups are Commutative (P-form)
Theorem 2: The Commutator Theorem (P-form)
Theorem 3:
x
2
=
x
Rings are Commutative (P-form)
Theorem 4: Equivalential Calculus, XGK 1#1 PYO
Theorem 5: Implicational Calulus Single Axiom, CD-67 (Imp-4)
Theorem 6: Many-valued Sentential Calculus, CD-57
Theorem 7: Many-valued Sentential Calculus, CD-60
Karen D. Toonen
1998-11-18
