nLab example

Contents

Contents

Idea

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

Examples

See also

Last revised on June 3, 2022 at 00:29:51. See the history of this page for a list of all contributions to it.