Considerando que os símbolos ¬, ∧, ∨, → e ↔ representam
negação, conjunção, disjunção, implicação e bi-implicação,
respectivamente. Qual alternativa apresenta uma fórmula bem
formada que pode ser deduzida a partir do conjunto de
premissas {M → H, C → M, ¬G → ¬H, K → ¬G}?
Autenticação
Limite Diário Atingido
Você atingiu o limite de 10 questões diárias para usuários sem plano. Ao se tornar um membro, você poderá:
Resolver mais questões e melhorar seu desempenho.
Acessar conteúdo exclusivo da IAProvatec.
Potencializar seus estudos com estatísticas avançadas.
Que tal se tornar um membro agora e aproveitar todos os recursos da plataforma?
