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.

E

Examples of Existential Import‎ (2 P)

U

Universal Statement has no Existential Import‎ (3 P)

Pages in category "Existential Import"

This category contains only the following page.

U

Universal Statement has no Existential Import

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Existential_Import&oldid=676678"