As expressões “todo” e “algum” da lógica aristotélica são atualmente chamadas quantificadores universal e existencial, aqui indicados por x, p(x) e ∃x, q(x), respectivamente; p(x) e q(x) são funções proposicionais na variável x.

Considerando que o universo dessa questão é o conjunto dos seres humanos, é correto afirmar que