Questão FC76597
Uma equivalente lógica da afirmação “Se penso, então estou vivo” pode ser dada pela afirmação:
Lógica de Proposições
VUNESP · 2024
- Se não penso, então não estou vivo.
- Penso e não estou vivo.
- Não penso ou não estou vivo.
- Não penso e não estou vivo.
- Se não estou vivo, então não penso.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Se penso, então estou vivo pode ser representada simbolicamente por \(p \to v\), onde \(p\) = penso e \(v\) = estou vivo.
Uma propriedade lógica importante é que uma condicional é sempre equivalente à sua contrapositiva. A contrapositiva de \(p \to v\) é obtida negando as duas partes e invertendo-as, resultando em \(\neg v \to \neg p\).
Em linguagem natural \(\neg v \to \neg p\) corresponde exatamente à frase Se não estou vivo, então não penso. Isso significa que as duas sentenças têm os mesmos valores de verdade em todas as situações, portanto são logicamente equivalentes.
Assim, a alternativa apresentada é a equivalência correta da afirmativa inicial.
Conteúdo do catálogo FC Concursos · Atualizado em