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