Questão FC149114
Julgue o item que se segue, relativo a tabela-verdade e a operações lógicas. A regra de inferência Modus Ponens corresponde à implicação (p → q).q′ ⇒ p′.
Lógica de Proposições
CEBRASPE (CESPE) · 2011
A regra de inferência Modus Ponens corresponde à implicação (p → q).q′ ⇒ p′.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Comentário: A afirmação está errada porque a regra de inferência Modus Ponens não é representada pela implicação dada. O Modus Ponens afirma que se temos uma proposição condicional verdadeira (p → q) e a antecedente verdadeira (p), podemos concluir a consequente (q). A expressão apresentada (p → q).q′ ⇒ p′ não se encaixa nessa lógica, pois implica que a negação de q (q′) e a condição (p → q) levariam à negação de p (p′), o que não é uma aplicação válida do Modus Ponens. Portanto, a afirmação confunde as relações lógicas e não representa corretamente essa regra de inferência.
Conteúdo do catálogo FC Concursos · Atualizado em