Реферат: Математическая Логика

n – свободная переменная

t – свободная, x – связанная.

, a,b,y – свободные переменные, x – связанная.

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

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

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

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

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

ч.т.д.