Changes

Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)

1 byte removed , 11:22, 14 December 2008

→‎Option 1 : Less General: \operatorname{if~and~only~if}

Line 478: Line 478:

{| 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>

|}

12,122

edits