Flashcard FC684015
A conversão de B → ¬F para ¬B → F é válida?
Lógica de Proposições
QUADRIX · 2025
A conversão de B → ¬F para ¬B → F é válida?
Mostrar resposta e comentário
Resposta
Não. A inferência ¬B → F é um converso inválido, e a forma logicamente equivalente de B → ¬F é a contrapositiva F → ¬B.• Converso inválido: A inferência ¬B → F não se segue de B → ¬F e é inválida.
• Contrapositiva: F → ¬B é logicamente equivalente a B → ¬F e, portanto, válida.
• Contraexemplos: Exemplos com processo de consumidor atendido por Andrade e processo de contratos atendido por Costa mostram que ¬B não implica F.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/670497
Conteúdo do catálogo FC Concursos · Atualizado em