Differences between revisions 33 and 40 (spanning 7 versions)
Revision 33 as of 2003-09-25 18:49:04
Size: 969
Editor: yakko
Comment:
Revision 40 as of 2003-10-03 19:49:27
Size: 1142
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:
   * ["Dichotomy"]
Line 7: Line 8:
   * DisjunctiveSyllogism
Line 11: Line 13:
   * HypotheticalSylogism
Line 16: Line 19:
   * LogicalImplication (|= symbol)
Line 21: Line 25:
   * ModusPonens
Line 25: Line 30:
   * ["Proposition"] or PropositionalLogic

ComputerTerms (last edited 2020-02-02 17:49:07 by scot)