Considerando as seguintes posições lógicas: Se as uvas caem, então a raposa as come. Se a raposa as come, então estão maduras. As uvas estão verdes...

Considerando as seguintes posições lógicas:
Se as uvas caem, então a raposa as come.
Se a raposa as come, então estão maduras.
As uvas estão verdes ou caem.
Logo: a raposa come as uvas se e somente se as uvas caem.
E nomeando proposições como:
p: as uvas caem.
q: a raposa come as uvas.
r: as uvas estão maduras.
Assinale a alternativa que apresenta o argumento CORRETO:

A) p →q, q →r, ~r v p Ⱶ q ↔ p.
B) p →q, q →r, ~r v p Ⱶ q ↔ p.
C) p →q, q →r, ~r v ~p Ⱶ q ↔ p.
D) p →q, q →r, ~r v ~p Ⱶ p ↔ q.
E) p v q, q → r, ~r v p Ⱶ q ↔ p.