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}?