12,080
edits
Changes
Directory:Jon Awbrey/Papers/Dynamics And Logic (view source)
Revision as of 02:36, 14 June 2009
, 02:36, 14 June 2009→Note 10: cleanup
<br>
<br>
The shift operator <math>\operatorname{E}</math> can be understood as enacting a substitution operation on the propositional form <math>f(p, q)\!</math> that is given as its argument. In our present focus on propositional forms that involve two variables, we have the following type specifications and definitions:
The shift operator <math>\operatorname{E}</math> can be understood as enacting a substitution operation on the propositional form <math>f(p, q)\!</math> that is given as its argument. In our present focus on propositional forms that involve two variables, we have the following type specifications and definitions: