12,186
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday January 13, 2026
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Dynamics And Logic (view source)
Revision as of 19:28, 12 June 2009
, 19:28, 12 June 2009→Note 2: cleanup
|}
|}
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==
