///
Considerando a proposição “Todo carro faz parada em algum posto ao longo do percurso”, tal proposição pode ser escrita em termos de dois quantificadores, se considerarmos A o universo dos carros e B o universo dos postos do percurso e P(x,y): x faz parada em y, com x em A e y em B. Qual alternativa descreve corretamente a proposição?