Em uma análise de conformidade, considere três conjuntos: A (processos auditados), B (processos com não conformidade) e C (processos com plano de ação).
Foram registradas as proposições categóricas: "Nenhum A é B" e "Todo B é C".
Represente-as em um diagrama de Venn com três conjuntos, dividido em 8 regiões elementares.
Com base apenas nessas proposições, avalie as assertivas sobre regiões vazias e possibilidades de interseção.

I.No diagrama, ficam necessariamente vazias exatamente 3 regiões elementares.
II.É possível existir elemento em B que não pertença a A.
III.Se existir elemento em B, então necessariamente ele pertence a A.
IV.Pode existir elemento em A ∩ C.

Está CORRETO o que se afirma em: 

Em um relatório, Daniel avaliou quatro esquemas de inferência usados para justificar conclusões em auditorias.
Considere p, q e r como proposições quaisquer e os seguintes padrões de argumento.
Classifique cada um quanto à validade lógica (se a conclusão decorre necessariamente das premissas).
Analise as assertivas e classifique como verdadeira (V) ou falsa (F).

(__)De p → q e de p, conclui-se q.
(__)De p → q e de q, conclui-se p.
(__)De p v q e de ¬p, conclui-se q.
(__)De p → q e de q → r, conclui-se p → r.

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

Considere as proposições p e q e a fórmula lógica F = (p v q) ^ (¬p v ¬q).
Essa forma aparece em especificações de sistemas digitais para representar a ideia de "exatamente uma condição verdadeira".
Sem construir tabela-verdade completa no enunciado, avalie o comportamento lógico de F e de sua negação.
Analise as assertivas e classifique como verdadeira (V) ou falsa (F).

(__)A fórmula F é logicamente equivalente a (p ↔ q).
(__)A fórmula F é verdadeira em exatamente 2 das 4 valorações possíveis de (p, q).
(__)Se p e q assumem o mesmo valor lógico, então F é falsa.
(__)A negação de F é uma tautologia.

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