The implications of a proposition as to what exists. If a proposition entails the existence of something, then it has existential import. It should be noticed that in the predicate calculus the universal quantification (∀x)(Fx → Gx) has no existential import, since it is true when nothing is F.