Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Геометрическая интерпретация навешивания кванторов.

 - ортогональная проекция на ось x

Пронесение отрицания через кванторы

    

Геометрическое 'доказательство':

 не обладает свойством, что прямая  целиком лежит в

 ч.т.д.