Category:Existential Import

From ProofWiki
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.