Как кванторы общности и существования влияют на логический анализ?

Кванторы общности и существования влияют на логический анализ, указывая на количественные характеристики субъекта. lk.msu.ru 4brain.ru

Квантор общности указывает, что свойство (отношение) присуще (не присуще) каждому предмету класса. lk.msu.ru В естественном языке выражается терминами «всякий», «каждый», «любой», «ни один», «все». lk.msu.ru Например: «Все столицы являются городами». lk.msu.ru

Квантор существования, в свою очередь, указывает, что найдётся хотя бы один предмет, обладающий (не обладающий) свойством (отношением). lk.msu.ru В естественном языке выражается терминами «существует», «найдётся по крайней мере один», «некоторые», «какой-то». lk.msu.ru Пример: «Некоторые города являются столицами». lk.msu.ru

Влияние кванторов на логический анализ проявляется в том, что они влияют на тип высказывания: если используется квантор существования, то высказывание будет частным («Некоторые девушки красивы»), если квантор общности — то общим («Все люди стремятся к счастью»). 4brain.ru

Кроме того, применение квантора по какой-нибудь переменной превращает её в связанную, от конкретных значений которой истинность утверждения уже не зависит. vgupetrova.ru