$$\large{\begin{gather*}\Large \color{#ff7800}\mathrm{for \ all} \\ \\ \Large \forall x P(x)\end{gather*}}$$
Квантор всеобщности
«Для всех…», «для любого…»
- Операция, которая даёт истину, только если предикат истинен для всех значений из области определения
- Обозначается символом: $\forall$
- $$(\forall x \in X)P(x)$$
- Квантор всеобщности может быть выражен через последовательность конъюнкций
- $$\forall x P(x) \leftrightarrow P(x_1) \land P(x_2) \land P(x_3) \land \ldots$$
