− | '''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. | + | '''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> See [[Directory:Jon_Awbrey/Papers/Differential_Propositional_Calculus#Table_1|Table 1 in Appendix 1]] for equivalent expressions in this syntax and several others for the 16 propositional forms on two variables. |