Uma dedução é uma seqüência finita de proposições, em que...

Uma dedução é uma seqüência finita de proposições, em que algumas das proposições são assumidas como verdadeiras e, a partir delas, a seqüência é acrescida de novas proposições sempre verdadeiras. A última proposição que se acrescenta é chamada conclusão. A partir das informações acima, julgue os itens a seguir.

Considere que as seguintes proposições compostas a respeito de um programa de computador sejam todas V.

• O programa tem uma variável não-declarada ou o programa possui erro sintático nas 4 últimas linhas.

• Se o programa possui erro sintático nas 4 últimas linhas, então ou falta um ponto-e-vírgula ou há uma variável escrita errada.

• Não falta um ponto e vírgula.

• Não há uma variável escrita errada. Simbolizando adequadamente essas proposições, é possível obter-se uma dedução cuja conclusão é a proposição: O programa não possui erro sintático nas 4 últimas linhas.