Questão 23 Comentada - Serviço Federal de Processamento de Dados (SERPRO) - Analista - Desenvolvimento de Sistemas - CESPE/CEBRASPE (2010)

Uma afirmação formada por um número finito de proposições A₁, A₂, ..., A, que tem como consequência outra proposição, B, é denominada argumento. As proposições A₁, A₂, ..., A,, são as premissas , e B é a conclusão.

Se, em um argumento, a conclusão for verdadeira sempre que todas as premissas forem verdadeiras, então o argumento é denominado argumento válido.
Tendo como base essas informações, julgue o item abaixo.
O argumento formado pelas premissas
A₁ A₂, A₃ = A₁ → A₂, A₄ = A₂ → A₁ e pela conclusão
B = A₃ ^ A₄ é válido.