No processo de auditoria de um Sistema de Informação Gerencial (SIG), foram estabelecidas as seguintes premissas normativas para o fluxo de dados:

1. A inserção correta dos dados (P) é condição suficiente para a geração automática de relatórios (Q).

2. A geração automática de relatórios (Q) ocorre apenas se houver o disparo de notificações eletrônicas à chefia (R).

3. Verificou-se, por meio de log de sistema, que as notificações eletrônicas não foram disparadas (/neg R).

Com base na lógica sentencial e nas regras de dedução, analise as assertivas e assinale a alternativa que aponta as corretas.

I. A proposição “Se os dados foram corretamente inseridos, então a chefia recebeu notificações” (P →R) é uma conclusão válida por transitividade.

II. Dado que (\neg R) é verdadeiro, a afirmação “Os dados foram corretamente inseridos” (P) configura uma contradição lógica.

III. A estrutura apresenta uma falha de “Afirmação do Consequente”, o que impede qualquer conclusão sobre a inserção dos dados (P).

IV. O argumento é formalmente válido, independentemente de falhas físicas no servidor, pois a validade lógica foca a relação de derivação entre premissas e conclusão.