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

Para compor uma comissão técnica, um órgão deseja selecionar 4 pessoas dentre 7 engenheiros e 5 analistas.

A regra estabelece que a comissão deve ter pelo menos 2 engenheiros.

Não há distinção por cargo ou senioridade além da categoria (engenheiro ou analista), e a ordem de escolha não importa.

Considere que todos os 12 profissionais são elegíveis e que a seleção é feita de uma só vez.

De quantas maneiras distintas essa comissão pode ser formada?

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: 

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