Differences between revisions 145 and 147 (spanning 2 versions)
Revision 145 as of 2019-08-22 14:26:03
Size: 3113
Editor: scot
Comment:
Revision 147 as of 2020-02-02 17:49:07
Size: 3051
Editor: scot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 61: Line 61:
 * LogicalImplication (<<latex($\models$ and $\vdash$)>>)
 * LogicalMemory                          (START EDITING HERE)
 * LogicalImplication ($$\models$$ and $$\vdash$$)
 * LogicalMemory
Line 122: Line 122:
 * TruthFunction (notation for <<latex($\vdash$)>>)  * TruthFunction (notation for $$\vdash$$)

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