Ano: 2010·Banca: CESPE / CEBRASPE·Cargo: Analista Desenvolvimento de Sistemas·Concurso: SERPRO

Uma afirmação formada por um número finito de proposições A1, A2, ..., A, que tem como consequência outra proposição, B, é denominada argumento. As proposições A1, A2, ..., 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 A1 A2, A3 = A1 → A2, A4 = A2 → A1 e pela conclusão B = A3 ^ A4 é válido.