Uma afirmação formada por um número finito de proposições A1...
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.