Showing changes from revision #2 to #3: | Removed | Chan

Contents

Idea

In mathematics, an example for a proposition with a universal quantifier $\big({\forall}_{x \in X} \; P(x)\big)$ or an existential quantifier $\big(\underset{x \in X}{\exists}\; P(x) \big)$ is a term $x$ of type $X$ for which $P(x)$ is true (inhabited).

Examples

• examples of Kan extensions

• Every counterexample is an example of the negation of a proposition.

Related concepts

See also

• archetypal example