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

mathematical statements

See also

Last revised on March 5, 2023 at 13:34:05. See the history of this page for a list of all contributions to it.