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).

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, é:

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.

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: