12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Monday September 08, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 03:10, 25 June 2008
, 03:10, 25 June 2008→Transitional remarks: add temporary note
==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.
==Formal development==
==Formal development==
