Problema 7 - Lógica - Resolvido - 2011 (CESPE)

Problema 7 - Lógica - Resolvido - 2011 (CESPE)
Julgue Certo(C) ou Errado(E)
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.

Solução
Como todas as premissas são verdadeiras temos que as premissas
• Não falta um ponto-e-vírgula.
• Não há uma variável escrita errada.
são verdadeiras. Sendo assim podemos usar a contra-positiva na segunda premissa “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.”  E obtemos: “O programa não  possui erro sintático nas 4 últimas linhas”.
Resposta: Certo.

Comentários

Postar um comentário

Postagens mais visitadas deste blog

Problema 15 - Lógica - Resolvido - 2011

Problema 68 - Concurso Petrobras - 2011- Matemática - Resolvido