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