Задание

Установите соответствия между кванторами и утверждениями.

  • Объекты 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\)))