Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Considerando que os símbolos ¬, ∧, ∨, → e ↔ representam negação, conjunção, disjunção, ...
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}?
A
G → H
B
K → H
C
K → M
D
M → ¬G
E
C → ¬K