12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 18:28, 18 November 2008
, 18:28, 18 November 2008no edit summary
{| cellpadding="4"
{| cellpadding="4"
| width="36" | || ''L''<sub>01</sub> ''f''
| width="36" | || <math>L_{01} f\!</math>
|-
|-
| || = || ''L''<sub>"(x) y "</sub> ''f''
| || = || <math>L_{(\!| x |\!)\ y} f</math>
|-
|-
| || = || α<sub>2</sub> ''f''
| || = || <math>\alpha_2 f\!</math>
|-
|-
| || = || Υ<sub>"(x) y "</sub> ''f''
| || = || <math>\Upsilon_{(\!| x |\!)\ y} f</math>
|-
|-
| || = || Υ<sub>"(x) y ⇒ f"</sub>
| || = || <math>\Upsilon_{(\!| x |\!)\ y\ \Rightarrow\ f}</math>
|-
|-
| || = || "f likes (x) y "
| || = || <math>f\ \operatorname{likes}\ (\!| x |\!)\ y</math>
|}
|}