12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 15:28, 19 April 2008
, 15:28, 19 April 2008fix link
{{DISPLAYTITLE:Differential Propositional Calculus}}
{{DISPLAYTITLE:Differential Propositional Calculus}}
A '''differential propositional calculus''' is a [[propositional calculus extended]] by a set of terms that may be interpreted as denoting changes, differences, or variations that affect the universe of discourse described by the initial set of terms.
A '''differential propositional calculus''' is a [[propositional calculus]] extended by a set of terms that may be interpreted as denoting changes, differences, or variations that affect the universe of discourse described by the initial set of terms.
A concrete example is best on first approach.
A concrete example is best on first approach.