Changes

{{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 for describing changes in or transformations between one or more [[universes of discourse]].

 

A concrete example is best on first approach.

==Casual introduction==

==Casual introduction==