Flashcard FC684011
Como refutar que ¬B → ¬C seja consequência de A→B, ¬C→A e B_s→C?
Lógica de Proposições
QUADRIX · 2025
Como refutar que ¬B → ¬C seja consequência de A→B, ¬C→A e B_s→C?
Mostrar resposta e comentário
Resposta
Não é consequência; um contramodelo é A=false, B=false, C=true e B_s=false.• A→B: verdadeira porque A é falso, e condicionais com antecedente falso são verdadeiras.
• ¬C→A: verdadeira porque ¬C é falso já que C é verdadeiro.
• B_s→C: verdadeira porque B_s é falso.
• ¬B→¬C: falsa porque ¬B é verdadeira e ¬C é falsa.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/670493
Conteúdo do catálogo FC Concursos · Atualizado em