Uma empresa de tecnologia desenvolveu um sistema para automatizar decisões operacionais com base em regras da lógica proposicional. Antes da implantação do software, a equipe de auditoria revisou a proposição "Se o relatório foi validado, então o sistema libera a etapa seguinte", a fim de verificar se a programação identificava corretamente os elementos que compõem uma implicação lógica. Considerando exclusivamente essa proposição, assinale a alternativa que identifica CORRETAMENTE o antecedente e o consequente.

Uma equipe responsável pela validação de regras de um sistema informatizado analisou diferentes proposições para identificar qual delas representa uma contradição, isto é, uma expressão que permanece falsa independentemente dos valores atribuídos às proposições simples. Esse procedimento é importante para eliminar regras impossíveis de serem satisfeitas pelo sistema. Assinale a alternativa CORRETA.

Uma comissão de auditoria elaborou o seguinte raciocínio para justificar a emissão de um parecer técnico: "Se o relatório atende aos requisitos legais, então a análise pode ser homologada. O relatório atende aos requisitos legais. Logo, a análise pode ser homologada." Antes da assinatura do documento, os auditores avaliaram se a conclusão realmente decorre das premissas apresentadas. Assinale a alternativa CORRETA.

Uma instituição redistribuiu cinco departamentos em salas consecutivas numeradas de 1 a 5 para facilitar o atendimento ao público. Sabe-se que Recursos Humanos ocupa uma sala imediatamente à esquerda do Financeiro; Tecnologia permanece obrigatoriamente na sala central; Protocolo ocupa uma das extremidades; e Patrimônio utiliza a única sala restante. Analise as assertivas.

I. Tecnologia ocupa a sala 3.
II. Recursos Humanos pode ocupar a sala 2.
III. Protocolo pode ocupar a sala 5.
IV. Financeiro pode ocupar a sala 4.

Assinale a alternativa que apresenta apenas as proposições CORRETAS.