Кванторы Определение и виды

[SuperMario-lnol]

Все очень чётко спасибо большое, больше бы таких людей, дай Бог вам здоровья, а также вашим детям спасибо ещё раз ❤❤❤❤

[Astromega_]

13:10
Неверно будет навешивать квантор общности, т.к. не сказано, один город, или их много. Вот существование уж точно подтверждено. Или я чего-то не понимаю

[Syllogist]

Объясните пожалуйста, почему в примере, посвящённом квантору существования (8:40 «существует человек, который является греком»)
Записано только Р(x), где «х – грек»? Ведь в суждении используется и второй термин – «люди», который ничем не хуже и не лучше «греков». Обозначив этот термин как «у – люди», мы получим запись P(x, y), а не P(x).
ВОПРОС 1: На каком основании мы «навешиваем» в записи вместо двуместного предиката одноместный? Ведь символ квантора относится к понятию y (люди), а не к представленному в записи символу x (греки). Представленная на экране запись может читаться только как «Существуют греки которые греки», но не как «Существуют люди (человек), который является греком».

[Syllogist]

ВОПРОС 2: Поскольку (9:35 «предикаты и кванторы являются основой построения экспертных систем»), то есть систем, дающих ТОЧНЫЙ ЛОГИЧЕСКИЙ ВЫВОД, то не могли бы Вы на примере диаграмм Эйлера-Венна пояснить, как между собой соотносятся объёмы множеств, представленных кванторами Всеобщности и Существования? Или хотя бы дать ссылку на тот источник, где эти диаграммы представлены? Ведь без ТОЧНОГО представления кванторов как соотношения неких множеств рассуждения об ЭКСПЕРТНЫХ СИСТЕМАХ будет являться не более чем ТОЧНОЙ НЕОПРЕДЕЛЁННОСТЬЮ.