Similarly, if AoB is false if there are no As, and AeB entails AoB, and AeB entails BeA ( which in turn entails BoA ) then both AeB and AoB have existential import with respect to both A and B . It follows immediately that all universal categorical statements have existential import with respect to both terms.
12.
Similarly, if AoB is false if there are no As, and AeB entails AoB, and AeB entails BeA ( which in turn entails BoA ) then both AeB and AoB have existential import with respect to both A and B . It follows immediately that all universal categorical statements have existential import with respect to both terms.
13.
Thus, natural language statements of the forms " All A is B, No A is B ", " Some A is B ", and " Some A is not B " can be represented in first order predicate calculus in which any existential import with respect to terms A and / or B is either explicit or not made at all.
