Um sistema de controle utiliza as proposições p: "a autenticação foi validada", q: "o dispositivo está cadastrado" e r: "o acesso é liberado". A regra implementada é representada por ¬[p → (q ^ r)]. Assinale a alternativa CORRETA que apresenta uma proposição logicamente equivalente à regra implementada.

Uma comissão técnica será formada por 4 integrantes escolhidos entre 5 analistas e 4 supervisores. A composição deve conter pelo menos 2 analistas e pelo menos 1 supervisor. Além disso, dois dos analistas, Carlos e Denise, não podem integrar simultaneamente a comissão por atuarem na mesma etapa de auditoria. Assinale a alternativa CORRETA para o número de comissões distintas que atendem simultaneamente a todas as condições.

Considere as proposições p, q e r associadas a três condições de um protocolo lógico. Analise as assertivas e registre V, para verdadeiro, e F, para falso.

(__) Se p = V, q = F e r = V, então (p ^ ¬q) → r assume valor verdadeiro.
(__) A proposição (p → q) v (q → p) é uma tautologia.
(__) A proposição (p v q) ^ (¬p v ¬q) é verdadeira exatamente quando p e q possuem o mesmo valor lógico.
(__) A proposição [(p → q) ^ p] ^ ¬q é uma contradição.
(__) A proposição (p → r) v (q → r) é logicamente equivalente a (p v q) → r.


Assinale a alternativa que apresenta a sequência CORRETA dos itens acima, de cima para baixo. 

Cinco relatórios distintos, identificados por P, Q, R, S e T, serão analisados em cinco posições consecutivas, uma por vez. Sabe-se que R será analisado imediatamente depois de P; Q será analisado antes de S; T não ocupará a primeira nem a quinta posição; e exatamente um relatório será analisado entre Q e T. Assinale a alternativa CORRETA que apresenta uma ordem compatível com todas as condições.

Uma equipe de auditoria considera as seguintes premissas sobre a liberação de um relatório: se a conferência documental for concluída, então o relatório será encaminhado; se o relatório for encaminhado, então haverá registro no sistema; se houver registro no sistema ou autorização excepcional, então o processo será liberado; o processo não foi liberado. Considerando exclusivamente essas premissas e as regras da lógica clássica, analise as afirmativas a seguir.

I. Pode-se concluir que não houve registro no sistema.
II. Pode-se concluir que a conferência documental não foi concluída.
III. A ausência de liberação permite concluir que o relatório foi encaminhado, mas não registrado no sistema.
IV. A conclusão de que não ocorreu autorização excepcional depende de assumir previamente que não houve registro no sistema.
V. A ausência de liberação permite concluir que a conferência documental foi concluída, desde que o relatório não tenha sido encaminhado.



Assinale a alternativa que apresenta apenas as afirmativas CORRETAS.