Uma comissão pretende verificar se a regra lógica “se P implica Q e Q implica R, então P implica R” depende dos valores particulares das proposições. Para isso, organizou as oito combinações possíveis de P, Q e R na ordem mostrada na tabela e deixou em aberto a coluna da fórmula composta.

Figura 4 — Tabela-verdade da fórmula composta.

Após completar a última coluna, assinale a alternativa CORRETA.

Uma norma interna foi sintetizada pela proposição: “A solicitação será deferida se, e somente se, o documento tiver sido validado e a taxa tiver sido compensada”. Considere D: “a solicitação é deferida”; V: “o documento é validado”; e T: “a taxa é compensada”. A auditoria precisa registrar a negação integral da regra, isto é, as situações em que os dois lados da equivalência apresentam valores lógicos diferentes.

Assinale a alternativa que expressa CORRETAMENTE a negação de D ↔ (V ∧ T).

Em um levantamento funcional, S representa o conjunto dos servidores, C o conjunto dos coordenadores e P o conjunto dos psicólogos cadastrados. O diagrama foi elaborado para registrar as relações verificadas: C está integralmente contido em S; P possui integrantes dentro e fora de S; e não há interseção entre C e P. As hachuras servem apenas para distinguir os conjuntos na impressão monocromática.

Figura 5 — Relações de inclusão e interseção entre os conjuntos.

A partir do caso descrito e do diagrama, assinale a alternativa CORRETA.