Qual das seguintes proposições é equivalente a ¬p → q? x ∉ A ou x ∈ B x ∈ A se e somente se x ∈ B x ∉ A se e somente se x ∈ B Nenhuma das anterio...

A proposição equivalente a ¬p → q é a letra C) x ∉ A se e somente se x ∈ B. Podemos provar isso usando a equivalência lógica entre a implicação condicional e a bicondicional, que diz que p → q é logicamente equivalente a p se e somente se q. Assim, podemos reescrever ¬p → q como p ∨ q. A letra A) x ∉ A ou x ∈ B não é equivalente a p ∨ q, pois não leva em conta a negação de p. A letra B) x ∈ A se e somente se x ∈ B é equivalente a p ↔ q, o que não é o mesmo que p ∨ q. A letra D) Nenhuma das anteriores não é uma proposição equivalente a ¬p → q. Portanto, a resposta correta é a letra C) x ∉ A se e somente se x ∈ B.