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.
Como chegar no resultado deste problema 7?
ResponderExcluirQual a regra para contra-positiva?
Nem todo computador não é bom
ResponderExcluir