Qual das alternativas traz um raciocínio dedutivo correto, do ponto de vista da lógica formal?
- A Todo carro na minha cidade é azul. Nenhum carro da minha cidade é grande. Logo, todo carro azul não é grande.
- B Todo carro na minha cidade é azul. Nenhum carro azul é grande. Logo, todo carro da minha cidade não é grande.
- C Todo carro na minha cidade é azul. Maria tem um carro azul. Logo, Maria mora na minha cidade.
- D Nenhum carro na minha cidade é azul. Maria tem um carro verde. Logo, Maria mora na minha cidade.