Considere a seguinte estrutura lógica:

• Todo contador possui graduação.

• Márcio não é contador.

• João não possui graduação.

• Pedro é contador.

Com base nessas proposições, pode-se concluir que: