Differences between revisions 145 and 146
Revision 145 as of 2019-08-22 14:26:03
Size: 3113
Editor: scot
Comment:
Revision 146 as of 2020-01-26 17:14:21
Size: 3097
Editor: scot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 61: Line 61:
 * LogicalImplication (<<latex($\models$ and $\vdash$)>>)  * LogicalImplication ($$\models$$ and $$\vdash$$)
Line 122: Line 122:
 * TruthFunction (notation for <<latex($\vdash$)>>)  * TruthFunction (notation for $$\vdash$$)

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