Квантификация - переход от высказывательной формы к истинному высказыванию.
Рассмотрим двуместную высказывательную форму и всевозможные варианты её квантификации:
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(1) ≡ (2)
(3) ≡ (4)
Одноименные кванторы можно менять местами
(6) => (5)
(8) => (7)
Если высказывательная форма зависит от n переменных, то при квантификации высказывательной формы по xi переменной, xi переменная становится связанной (связана квантором), при этом все остальные называются свободными.
Чтобы перейти от высказывательной формы к истинному высказыванию нужно проквантифицировать её n раз по каждой переменной.
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление