Contents

# 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

mathematical statements