Differences between revisions 37 and 44 (spanning 7 versions)
⇤ ← Revision 37 as of 2003-10-03 19:35:35 →
Size: 1162
Editor: yakko
Comment:
← Revision 44 as of 2003-10-12 16:36:04 → ⇥
Size: 1197
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:
   * [Dichotomy]    * ["Dichotomy"]
Line 19: Line 19:
   * LogicalImplication (|= symbol)    * LogicalImplication (|= symbol and also |-)
Line 30: Line 30:
   * ["Propositions" "PropositionalLogic"] or PropositionalLogic    * ["Proposition"] or PropositionalLogic
Line 35: Line 35:
   * SemanticsLogic
Line 38: Line 39:
   * ["Undecidable"]

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