Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — FUNDEPES 2024
Raciocínio LógicoEquivalência Lógica e Negação de Proposições
- Código
- qg189743
- Banca
- FUNDEPES
- Órgão
- UFAL
- Ano
- 2024
- Nível
- Médio
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}?
- AG → H
- BK → H
- CK → M
- DM → ¬G
- EC → ¬K