Raciocínio lógico - Algebra das Proposições - Centro de Seleção e de Promoção de Eventos UnB (CESPE) - 2007
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.
{TITLE}
{CONTENT}
{TITLE}
Aguarde, enviando solicitação...