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

 

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

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

 

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

    

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

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

 

 ч.т.д.

 

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