12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 02:54, 28 May 2008
, 02:54, 28 May 2008ASCII Table --> HTML + TeX
| style="width:16%" | <math>\operatorname{E}f|_{(\!|x|\!)(\!|y|\!)}</math>
| style="width:16%" | <math>\operatorname{E}f|_{(\!|x|\!)(\!|y|\!)}</math>
|-
|-
| f_0
| <math>f_{0}\!</math>
| ()
| <math>(\!|~|\!)</math>
| ()
| <math>(\!|~|\!)</math>
| ()
| <math>(\!|~|\!)</math>
| ()
| <math>(\!|~|\!)</math>
| ()
| <math>(\!|~|\!)</math>
|-
|-
| f_1
| <math>f_{1}\!</math>
| (x)(y)
| <math>(\!|x|\!)(\!|y|\!)</math>
| dx dy
| <math>\operatorname{d}x \operatorname{d}y</math>
| dx (dy)
| <math>\operatorname{d}x (\!|\operatorname{d}y|\!)</math>
| (dx) dy
| <math>(\!|\operatorname{d}x|\!) \operatorname{d}y</math>
| (dx)(dy)
| <math>(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)</math>
|-
|-
| f_2
| <math>f_{2}\!</math>
| (x) y
| <math>(\!|x|\!) y</math>
| dx (dy)
| <math>\operatorname{d}x (\!|\operatorname{d}y|\!)</math>
| dx dy
| <math>\operatorname{d}x \operatorname{d}y</math>
| (dx)(dy)
| <math>(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)</math>
| (dx) dy
| <math>(\!|\operatorname{d}x|\!) \operatorname{d}y</math>
|-
|-
| f_4
| <math>f_{4}\!</math>
| x (y)
| <math>x (\!|y|\!)</math>
| (dx) dy
| <math>(\!|\operatorname{d}x|\!) \operatorname{d}y</math>
| (dx)(dy)
| <math>(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)</math>
| dx dy
| <math>\operatorname{d}x \operatorname{d}y</math>
| dx (dy)
| <math>\operatorname{d}x (\!|\operatorname{d}y|\!)</math>
|-
|-
| f_8
| <math>f_{8}\!</math>
| x y
| <math>x y\!</math>
| (dx)(dy)
| <math>(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)</math>
| (dx) dy
| <math>(\!|\operatorname{d}x|\!) \operatorname{d}y</math>
| dx (dy)
| <math>\operatorname{d}x (\!|\operatorname{d}y|\!)</math>
| dx dy
| <math>\operatorname{d}x \operatorname{d}y</math>
|-
|-
| f_3
| <math>f_{3}\!</math>
| (x)
| <math>(\!|x|\!)</math>
| dx
| <math>\operatorname{d}x</math>
| dx
| <math>\operatorname{d}x</math>
| (dx)
| <math>(\!|\operatorname{d}x|\!)</math>
| (dx)
| <math>(\!|\operatorname{d}x|\!)</math>
|-
|-
| f_12
| <math>f_{12}\!</math>
| x
| <math>x\!</math>
| (dx)
| <math>(\!|\operatorname{d}x|\!)</math>
| (dx)
| <math>(\!|\operatorname{d}x|\!)</math>
| dx
| <math>\operatorname{d}x</math>
| dx
| <math>\operatorname{d}x</math>
|-
|-
| f_6
| <math>f_{6}\!</math>
| (x, y)
| <math>(\!|x, y|\!)</math>
| (dx, dy)
| <math>(\!|\operatorname{d}x, \operatorname{d}y|\!)</math>
| ((dx, dy))
| <math>(\!|(\!|\operatorname{d}x, \operatorname{d}y|\!)|\!)</math>
| ((dx, dy))
| <math>(\!|(\!|\operatorname{d}x, \operatorname{d}y|\!)|\!)</math>
| (dx, dy)
| <math>(\!|\operatorname{d}x, \operatorname{d}y|\!)</math>
|-
|-
| f_9
| <math>f_{9}\!</math>
| ((x, y))
| <math>(\!|(\!|x, y|\!)|\!)</math>
| ((dx, dy))
| <math>(\!|(\!|\operatorname{d}x, \operatorname{d}y|\!)|\!)</math>
| (dx, dy)
| <math>(\!|\operatorname{d}x, \operatorname{d}y|\!)</math>
| (dx, dy)
| <math>(\!|\operatorname{d}x, \operatorname{d}y|\!)</math>
| ((dx, dy))
| <math>(\!|(\!|\operatorname{d}x, \operatorname{d}y|\!)|\!)</math>
|-
|-
| f_5
| <math>f_{5}\!</math>
| (y)
| <math>(\!|y|\!)</math>
| dy
| <math>\operatorname{d}y</math>
| (dy)
| <math>(\!|\operatorname{d}y|\!)</math>
| dy
| <math>\operatorname{d}y</math>
| (dy)
| <math>(\!|\operatorname{d}y|\!)</math>
|-
|-
| f_10
| <math>f_{10}\!</math>
| y
| <math>y\!</math>
| (dy)
| <math>(\!|\operatorname{d}y|\!)</math>
| dy
| <math>\operatorname{d}y</math>
| (dy)
| <math>(\!|\operatorname{d}y|\!)</math>
| dy
| <math>\operatorname{d}y</math>
|-
|-
| f_7
| <math>f_{7}\!</math>
| (x y)
| <math>(\!|x y|\!)</math>
| ((dx)(dy))
| <math>(\!|(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)|\!)</math>
| ((dx) dy)
| <math>(\!|(\!|\operatorname{d}x|\!) \operatorname{d}y|\!)</math>
| (dx (dy))
| <math>(\!|\operatorname{d}x (\!|\operatorname{d}y|\!)|\!)</math>
| (dx dy)
| <math>(\!|\operatorname{d}x \operatorname{d}y|\!)</math>
|-
|-
| f_11
| <math>f_{11}\!</math>
| (x (y))
| <math>(\!|x (\!|y|\!)|\!)</math>
| ((dx) dy)
| <math>(\!|(\!|\operatorname{d}x|\!) \operatorname{d}y|\!)</math>
| ((dx)(dy))
| <math>(\!|(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)|\!)</math>
| (dx dy)
| <math>(\!|\operatorname{d}x \operatorname{d}y|\!)</math>
| (dx (dy))
| <math>(\!|\operatorname{d}x (\!|\operatorname{d}y|\!)|\!)</math>
|-
|-
| f_13
| <math>f_{13}\!</math>
| ((x) y)
| <math>(\!|(\!|x|\!) y|\!)</math>
| (dx (dy))
| <math>(\!|\operatorname{d}x (\!|\operatorname{d}y|\!)|\!)</math>
| (dx dy)
| <math>(\!|\operatorname{d}x \operatorname{d}y|\!)</math>
| ((dx)(dy))
| <math>(\!|(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)|\!)</math>
| ((dx) dy)
| <math>(\!|(\!|\operatorname{d}x|\!) \operatorname{d}y|\!)</math>
|-
|-
| f_14
| <math>f_{14}\!</math>
| ((x)(y))
| <math>(\!|(\!|x|\!)(\!|y|\!)|\!)</math>
| (dx dy)
| <math>(\!|\operatorname{d}x \operatorname{d}y|\!)</math>
| (dx (dy))
| <math>(\!|\operatorname{d}x (\!|\operatorname{d}y|\!)|\!)</math>
| ((dx) dy)
| <math>(\!|(\!|\operatorname{d}x|\!) \operatorname{d}y|\!)</math>
| ((dx)(dy))
| <math>(\!|(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)|\!)</math>
|-
|-
| f_15
| <math>f_{15}\!</math>
| (())
| <math>(\!|(\!|~|\!)|\!)</math>
| (())
| <math>(\!|(\!|~|\!)|\!)</math>
| (())
| <math>(\!|(\!|~|\!)|\!)</math>
| (())
| <math>(\!|(\!|~|\!)|\!)</math>
| (())
| <math>(\!|(\!|~|\!)|\!)</math>
|}<br>
|}<br>