Category:Existential Import
Jump to navigation
Jump to search
This category contains results about Existential Import.
Definitions specific to this category can be found in Definitions/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.
Subcategories
This category has the following 2 subcategories, out of 2 total.
Pages in category "Existential Import"
This category contains only the following page.