134. Запиши утверждения, используя кванторы ∀ и ∃. 1) У всех птиц есть крылья. 2) Рост жирафа может достигать 6 м. 3) Любой квадрат является прямоугольником. 4) Некоторые прямоугольники являются квадратами. 5) Среди составных чисел есть взаимно простые числа. 6) Все простые числа взаимно просты.

Question

Вопрос:

Accepted Answer

\(\forall x\, (Птица(x) \Rightarrow Крылья(x))\).
\(\exists x\, (Жираф(x) \land Рост(x) = 6\text{ м})\).
\(\forall x\, (Квадрат(x) \Rightarrow Прямоугольник(x))\).
\(\exists x\, (Прямоугольник(x) \land Квадрат(x))\).
\(\exists x\,\exists y\, (Составное(x) \land Составное(y) \land ВзаимноПростые(x,y))\).
\(\forall x\,\forall y\, ((Простое(x) \land Простое(y) \land x \ne y) \Rightarrow ВзаимноПростые(x,y))\).

Ответ: