Em uma apuração administrativa, considere as proposições p, q, r e s associadas, respectivamente, às afirmações "o relatório foi validado", "a inconsistência foi sanada", "a documentação complementar foi aceita" e "o processo foi liberado". Sabe-se que são verdadeiras as premissas p → q, (q ^ r) → s, ¬s e r. Analise as assertivas:

I. A inconsistência não foi sanada.

II. O relatório não foi validado.

III. A proposição ¬q decorre de (q ^ r) → s, ¬s e r.

IV. Se a premissa r fosse retirada, ¬q continuaria sendo consequência necessária das demais premissas.

V. A conclusão ¬p pode ser obtida sem utilizar a premissa ¬s.

Assinale a alternativa que apresenta apenas as assertivas CORRETAS:

Considere as proposições p, q e r, sabendo que a proposição p → q é falsa e que q v r é verdadeira. Assinale a alternativa CORRETA para o valor lógico da proposição [(p ↔ r) ^ ¬q] → (q v ¬r).

Uma equipe de fiscalização será formada por 4 servidores escolhidos entre 6 técnicos e 5 analistas. Entre os técnicos estão T₁ e T₂, e entre os analistas está A₁. A equipe deverá conter exatamente 2 técnicos e 2 analistas, sendo vedada a participação simultânea de T₁ e T₂ e obrigatória a presença de A₁ ou de T₁, podendo ambos participar. Assinale a alternativa CORRETA para o número de equipes distintas que podem ser formadas.

Em uma organização, todo auditor é servidor efetivo, nenhum terceirizado é servidor efetivo, alguns coordenadores são auditores e todo coordenador que não é auditor é terceirizado. Com base exclusivamente nessas relações, assinale a alternativa CORRETA.

Considere as proposições p, q e r. Analise as assertivas e classifique-as como verdadeiras (V) ou falsas (F).

(__) ¬[p → (q v r)] é logicamente equivalente a p ^ ¬q ^ ¬r.

(__) (p → q) ^ (p → r) é logicamente equivalente a p → (q ^ r).

(__) ¬(p ↔ q) é logicamente equivalente a (p ^ q) v (¬p ^ ¬q).

(__) (p ∨ q) → r é logicamente equivalente a (p → r) ^ (q → r).

(__) p → (q → r) é logicamente equivalente a (p v q) → r.

A sequência CORRETA, de cima para baixo, é: