Changes

|}

|}

Propositions are formed on differential variables, or any combination of ordinary logical variables and differential logical variables, in all the ways that propositions are formed on ordinary logical variables alone.  For example, the proposition <math>\texttt{(} \operatorname{d}p \texttt{(} \operatorname{d}q \texttt{))}</math> says the same thing as  <math>\operatorname{d}p \Rightarrow \operatorname{d}q,</math> in other words, that there is no change in <math>p\!</math> without a change in <math>q\!</math>.

Propositions are formed on differential variables, or any combination of ordinary logical variables and differential logical variables, in the same ways that propositions are formed on ordinary logical variables alone.  For example, the proposition <math>\texttt{(} \operatorname{d}p \texttt{(} \operatorname{d}q \texttt{))}</math> says the same thing as  <math>\operatorname{d}p \Rightarrow \operatorname{d}q,</math> in other words, that there is no change in <math>p\!</math> without a change in <math>q.\!</math>

==Note 3==

==Note 3==