Changes

Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)

Revision as of 03:10, 25 June 2008

531 bytes added , 03:10, 25 June 2008

→‎Transitional remarks: add temporary note

Line 186: Line 186:

==Transitional remarks==

−

'''~~…~~'''

+

'''Temporary Note.''' The remainder of this discussion uses the syntax for propositional calculus that is described in the entry on [[minimal negation operator]]s. Logical negation is written by enclosing an expression in parentheses, for example, <math>(x)\!</math> is <math>\lnot x.\!</math> Logical conjunction is written by concatenating expressions in the manner of algebraic products, for example, <math>x\ y\ z\!</math> is <math>x \land y \land z.\!</math> For the time being, further details can be found in the entry just mentioned.

==Formal development==

Jon Awbrey

12,080

edits