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