<<

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

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

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

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

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

ч.т.д.

<< |
Источник: Конспекты лекций по математической логике. 2017

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