---

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

---

Definitions :  lambda: x.A[x],  implies: P  Q,  apply: f a

---

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


Date html generated: 2010_08_27-AM-09_29_46
Last ObjectModification: 2009_12_16-AM-01_05_23

Home Index