Work W

Differential Logic • New Series

\text{Table A3.} ~~ \mathrm{E}f ~\text{Expanded over Ordinary Variables}~ \{ p, q \}

\text{Table A3.} ~~ \mathrm{E}f ~\text{Expanded over Ordinary Variables}~ \{ p, q \}

Ef Expanded over Ordinary Variables {p, q}

\text{Table A4.} ~~ \mathrm{E}f ~\text{Expanded over Differential Variables}~ \{ \mathrm{d}p, \mathrm{d}q \}

\text{Table A4.} ~~ \mathrm{E}f ~\text{Expanded over Differential Variables}~ \{ \mathrm{d}p, \mathrm{d}q \}

Ef Expanded over Differential Variables {dp, dq}