Category:Examples of Existential Import
Jump to navigation
Jump to search
This category contains examples of 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.
Pages in category "Examples of Existential Import"
The following 2 pages are in this category, out of 2 total.