Flashcard FC317398
Qual regra válida permite inferir ¬P a partir de (P → Q) e ¬Q?
Lógica de Proposições
Com. Org. (IFSP) · 2016
Qual regra válida permite inferir ¬P a partir de (P → Q) e ¬Q?
Mostrar resposta e comentário
Resposta
Modus tollens.Explicação: A partir de \(P \rightarrow Q\) e de \(\lnot Q\) conclui-se \(\lnot P\), pois para a condicional ser verdadeira quando Q é falso, P deve ser falso.
Exemplo:
Premissas: \(S \rightarrow L\) (se o interruptor está ligado, então a lâmpada acende)
\(\lnot L\) (a lâmpada não acendeu)
Conclusão: \(\lnot S\) (logo, o interruptor não estava ligado)
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/317092
Conteúdo do catálogo FC Concursos · Atualizado em