Flashcard FC628327
Qual regra de inferência permite concluir \(\neg p\) a partir de \(p \to q\) e \(\neg q\)?
Lógica de Proposições
NC UFPR (FUNPAR) · 2019
Qual regra de inferência permite concluir \(\neg p\) a partir de \(p \to q\) e \(\neg q\)?
Mostrar resposta e comentário
Resposta
Modus tollens.Explicação: a partir de \(p\to q\) e \(\neg q\) inferimos \(\neg p\), pois se o condicional é verdadeiro e o consequente é falso, o antecedente não pode ser verdadeiro; na tabela-verdade, a combinação que tornaria \(p\to q\) falsa ( \(p\) verdadeiro e \(q\) falso ) é impossibilitada, logo \(p\) deve ser falso.
exemplo: seja \(c\): está chovendo, \(r\): a rua está molhada.
Temos \(c \to r\) e observamos \(\neg r\). Aplicando modus tollens, concluímos \(\neg c\), ou seja, não está chovendo.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/626346
Conteúdo do catálogo FC Concursos · Atualizado em