Category:Definitions/Existential Import

This category contains definitions related to Existential Import.
Related results can be found in Category:Existential Import.

Let $S$ be a statement.

Let $S$ have a term $T$ such that $S$ is false if and only if $T$ has no instances.

Then $S$ has existential import.