12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 11:22, 14 December 2008
, 11:22, 14 December 2008→Option 1 : Less General: \operatorname{if~and~only~if}
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
| <math>\Upsilon \langle e, f \rangle = 1 \quad \operatorname{iff~and~only~if} \quad e \Rightarrow f.</math>
| <math>\Upsilon \langle e, f \rangle = 1 \quad \operatorname{if~and~only~if} \quad e \Rightarrow f.</math>
|}
|}