Flashcard FC368164
Qual regra de inferência permite concluir Q a partir de \(P \rightarrow Q\) e \(P\)?
Lógica de Proposições
Instituto Consulplan · 2024
Qual regra de inferência permite concluir Q a partir de \(P \rightarrow Q\) e \(P\)?
Mostrar resposta e comentário
Resposta
Modus ponens.Explicação:
Dados \(P\rightarrow Q\) e \(P\), infere-se validamente \(Q\); forma padrão: \((P\rightarrow Q),\;P\models Q\).
Exemplo:
Premissas: "Se o alarme de fumaça tocar (P), então há fumaça (Q)" → \(P\rightarrow Q\).
"O alarme tocou" → \(P\).
Conclusão: "Há fumaça" → \(Q\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/364776
Conteúdo do catálogo FC Concursos · Atualizado em