MyWikiBiz, Author Your Legacy — Friday September 20, 2024
Jump to navigationJump to search
134 bytes added
, 12:16, 26 June 2008
Line 186: |
Line 186: |
| ==Transitional remarks== | | ==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. | + | '''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. |
| | | |
| ==Formal development== | | ==Formal development== |