Create
Learn
Share

Semantic denotations - determiners, coordinators, etc

rename
chastah's version from 2017-03-21 23:36

Section

Question Answer
everyλf.λg.∀y[f(y) –> g(y)]
theλf.ɩy[f(y)]
aλf.λg.∃y[f(y)∧g(y)]
and / butλq.λp[p∧q]
orλq.λp[p∨q]
thatλp[p]
doesn't / didn'tλp[¬p]
ØDλz[z]
ØTλp[p in the pres/ in the past]
memorize

Recent badges