---

P  Q ==  e.(P e  Q e)

---

Definitions :  lambda: x.A[x],  iff: P  Q,  apply: f a
FDL editor aliases :  es-iff

---

P  \mLeftarrow{}{}\mRightarrow{}  Q  ==    \mlambda{}e.(P  e  \mLeftarrow{}{}\mRightarrow{}  Q  e)


Date html generated: 2010_08_27-AM-09_29_50
Last ObjectModification: 2009_12_16-AM-01_05_35

Home Index