Flashcard FC98681
Se uma proposição condicional p → q é verdadeira, podemos inferir que o antecedente p é verdadeiro?
Lógica de Proposições
CEBRASPE (CESPE) · 2020
Se uma proposição condicional p → q é verdadeira, podemos inferir que o antecedente p é verdadeiro?
Mostrar resposta e comentário
Resposta
Não.Explicação:
A verdade de p → q não implica a verdade de p.
Um condicional é verdadeiro sempre que p for falso ou q for verdadeiro; portanto p → q pode ser verdadeiro mesmo com p falso.
Em termos simbólicos: \(p=\text{F},\; q=\text{T} \Rightarrow p\to q=\text{T}\).
Exemplo:
Considere p = "o motor está ligado" e q = "o carro se move".
A implicação p → q ("se o motor está ligado então o carro se move") pode ser verdadeira num enunciado geral, mas isso não garante que o motor esteja ligado agora; o carro pode mover-se por estar sendo empurrado (p é falso, q é verdadeiro), e ainda assim p → q permanece verdadeira.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Tabela Verdade
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/94263
Conteúdo do catálogo FC Concursos · Atualizado em