Flashcard FC511751
Se em uma implicação p → q o antecedente é falso, podemos concluir que o consequente é verdadeiro?
Lógica de Proposições
IBFC · 2018
Se em uma implicação p → q o antecedente é falso, podemos concluir que o consequente é verdadeiro?
Mostrar resposta e comentário
Resposta
Não, não se pode concluir que o consequente é verdadeiro.Em lógica proposicional, p → q é falsa somente quando p é verdadeiro e q é falso, nos demais casos é verdadeira, assim se p é falso a implicação vale vacuamente, porém q pode ser verdadeiro ou falso, portanto não se infere q a partir da falsidade de p.
Exemplo:
Proposição: "Se praticar 2 horas por dia, então tocará bem o instrumento".
Se alguém não praticou 2 horas por dia, a implicação não é refutada, ainda assim essa pessoa pode tocar bem por experiência prévia, portanto a não prática de 2 horas não permite concluir que tocará bem.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509383
Conteúdo do catálogo FC Concursos · Atualizado em