Flashcard FC558350
Que regra de inferência permite concluir ¬A a partir de A→B e ¬B?
Lógica de Proposições
AVANÇASP · 2025
Que regra de inferência permite concluir ¬A a partir de A→B e ¬B?
Mostrar resposta e comentário
Resposta
A inferência válida é o modus tollens.• Forma simbólica: A → B e ¬B inferem ¬A.
• Interpretação: Se a condição implica a consequência e a consequência é negada, então a condição é negada.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/546126
Conteúdo do catálogo FC Concursos · Atualizado em