Questão FC626359
Considere as seguintes afirmações: – Se tudo estiver errado, então eu retorno ao ponto de partida. – Eu não retornei ao ponto de partida. A partir dessas afirmativas, é correto con
Lógica de Proposições
NC UFPR (FUNPAR) · 2019
Considere as seguintes afirmações:
– Se tudo estiver errado, então eu retorno ao ponto de partida.
– Eu não retornei ao ponto de partida.
A partir dessas afirmativas, é correto concluir que:
- algo estava errado.
- tudo estava errado.
- algo estava certo.
- algo não estava certo.
- tudo estava certo.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Modus tollens é o esquema lógico usado aqui: a partir de um condicional e da negação do consequente, conclui-se a negação do antecedente.
Denotemos \(P\) = "tudo está errado" e \(Q\) = "eu retorno ao ponto de partida". As premissas são \(P \rightarrow Q\) e \(\neg Q\).
Aplicando o argumento, de \(P \rightarrow Q\) e \(\neg Q\) segue-se \(\neg P\). Ou seja, é falso que "tudo está errado".
A negação de uma afirmativa universal como "tudo está errado" é existencial: existe pelo menos um elemento que não se enquadra. Portanto \(\neg P\) equivale a "existe algo que não está errado", isto é, algo está certo.
Conclusão: algo estava certo.
Conteúdo do catálogo FC Concursos · Atualizado em