Достаточно большой процент программистов (60%? 98%?) действительно не могут "физически" воспринимать даже такие элементарные вещи из формальной логики, как кванторы. Ну казалось бы, да?

Для всех значений ключа X верно, что поле Z будет ненулевым.
и
Найдётся хотя бы одно значение ключа X, для которого поле Z будет нулевым.

Они такие кивают своими собственными головами: это очевидно! -- и тут же пишут нечто вроде

SELECT 
    CASE 
        WHEN EXISTS (
            SELECT 1 FROM my_table WHERE z_field IS NOT NULL
        ) THEN 'Все значения z_field ненулевые'
        ELSE 'Не все значения z_field ненулевые'
    END AS status;

SELECT 
    CASE 
        WHEN NOT EXISTS (
            SELECT 1 FROM my_table WHERE z_field IS NULL
        ) THEN 'Нет ни одного нулевого значения'
        ELSE 'Есть хотя бы одно нулевое значение'
    END AS has_null_status;

не понимая концептуально EXISTS (не квантор существования формально, но близко по смыслу).

Как говорят мудрецы, "это первое ментальное усилие в их жизни, не имевшее аналогов в школе", да и в универе. При этом они вполне могут стать (и массово становятся) сеньорами (хотя всё же чаще ит-менеджерами).

Подумайте кстати, почему квантор всеобщности в SQL отсутствует, а эмулируется через отрицание квантора существования.