Что такое квантор всеобщности в математической логике?
Квантор всеобщности — это знак в математике, который показывает, что нечто верно для всего множества. Например, если мы говорим: 'Все люди смертны', то мы имеем в виду каждого человека.