CESPE / CEBRASPE — 2010

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

Tendo como referência as informações apresentadas, julgue os itens seguintes. A proposição “Não precisa mais capturar nem digitar o código de barras” pode ser, simbolicamente, escrita como A∧B, em que A é a proposição “Não precisa mais capturar o código de barras” e B é a proposição “Não precisa mais digitar o código de barras” .

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.