Flashcard FC511905
Qual regra lógica valida a inferência de Q quando P e P→Q são verdadeiras?
Outros Exercícios de Lógica
IBFC · 2024
Qual regra lógica valida a inferência de Q quando P e P→Q são verdadeiras?
Mostrar resposta e comentário
Resposta
Modus ponens.Seja P uma proposição e Q outra, se P é verdadeira e \(P \to Q\) também é verdadeira, então Q deve ser verdadeira, simbolicamente \(P \land (P \to Q) \models Q\).
Exemplo:
Premissas: "Se a máquina está ligada então o motor funciona" (\(M \to F\)), "a máquina está ligada" (\(M\)).
Conclusão: "o motor funciona" (\(F\)).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509537
Conteúdo do catálogo FC Concursos · Atualizado em