12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 14:49, 17 May 2008
, 14:49, 17 May 2008del xs line
{{DISPLAYTITLE:Differential Propositional Calculus}}
{{DISPLAYTITLE:Differential Propositional Calculus}}
A '''differential propositional calculus''' is a [[propositional calculus]] extended by a set of terms for describing aspects of change and difference, for example, processes that take place in a [[universe of discourse]] or transformations that map a source universe into a target universe.
A '''differential propositional calculus''' is a [[propositional calculus]] extended by a set of terms for describing aspects of change and difference, for example, processes that take place in a [[universe of discourse]] or transformations that map a source universe into a target universe.