Вопрос:

Дополнить предикаты кванторами: ∃ x (Синяя фигура x не имеет углов); ∀ a (Одна из вершин треугольника a направлена вверх); ∀ d (Квадрат d меньше самого большого круга); ∀ t (Стороны зелёной фигуры t не равны); ∃ y (Круг y касается квадрата); ∀ m (Фиолетовая фигура m не касается других фигур).

Ответ:

Проверим высказывания по рисунку:

  1. ∃ x — существует синяя фигура без углов: это синий круг.
  2. ∀ a — у каждого треугольника одна из вершин направлена вверх.
  3. ∀ d — каждый квадрат меньше самого большого круга.
  4. ∃ t — существует зелёная фигура, стороны которой не равны. Например, зелёный прямоугольник.
  5. ∃ y — синий многоугольник касается жёлтого квадрата.
  6. ∀ m — фиолетовые фигуры не касаются других фигур.

Ответ: ∃, ∀, ∀, ∃, ∃, ∀.