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