Imagem de fundo

No processo de auditoria de um Sistema de Informação Gerencial (SIG), foram estabelecid...

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.


A

Apenas I e III.


B

Apenas II e IV.


C

Apenas I, II e IV.


D

Apenas II, III e IV.


E

I, II, III e IV.