Задание
Установите соответствия между кванторами и утверждениями.
- Объекты 1
- Существует х, такой что х > у.
- Не существует х, такой что х > у.
- Для любого х имеем \(x^2\) > 1.
- Любая река впадает в Каспийское море.
- Существует река, которая впадает в Каспийское море.
- Для любой реки существует море, в которое она впадает.
- Для любого моря существует река, которая в него впадает.
- Существует река, которая впадает во все моря.
- Существует море, в которое впадают все реки.
- Объекты 2
\(\exists x(x\gt y)\)
\(\forall x(x\leqslant y)\)
\(\forall x(x^{2} \gt 1)\)
\(\forall r\) \(\(r \- река\) \(\rightarrow\) \(r впадает в Каспийское море\)
\(\exists r\) \(\(r \- река\) и \(r впадает в Каспийске море\))
\(\forall r\) \(\(r \- река\) \(\rightarrow \exists M\) \(M \- море и r впадает в M\))
\(\forall M\) \(\(M \- море \) \(\rightarrow \exists r\) \(\(r \- река\) \(\rightarrow\) \(r впадает в M\)))
\(\exists r\) \(\(r \- река\) \(\rightarrow \forall M\) \(\(M \- море\) \(\rightarrow\) \(r впадает в M\)))
\(\exists M\) \(\(M \- море\) \(\rightarrow \forall r\) \(\(r \- река\) \(\rightarrow\) \(r впадает в M\)))