Considerando um processo administrativo disciplinar, o advogado de defesa apresentou a seguinte argumentação: 'Se o servidor cometeu a infração X, então ele estava no departamento Y no dia 15. A investigação, todavia, comprovou de forma inequívoca que o servidor não estava no departamento Y no referido dia 15.' Com base exclusivamente nas premissas fáticas e na estrutura lógica do argumento apresentado, qual conclusão, do ponto de vista da lógica formal, pode ser inferida de maneira necessária e indubitável para a correta instrução processual?
- A)O servidor cometeu a infração X.
- B)O servidor não cometeu a infração X.gabarito
- C)O servidor estava no departamento Y em outro dia.
- D)A investigação sobre a infração X é inconclusiva.
- E)Se o servidor não estava no departamento Y no dia 15, então ele cometeu a infração X.