Vanessa vai para a piscina se e somente se Vagner vai para o churrasco. Ora, Vanessa vai para a piscina, ou Vagner vai para o churrasco. Logo:
- A. Vagner vai para o churrasco, e Vanessa não vai para a piscina.
- B. Vagner vai para o churrasco, e Vanessa não vai para a piscina.
- C. Se Vagner vai para o churrasco, então Vanessa não vai para a piscina.
- D. Se Vagner não vai para o churrasco, então Vanessa vai para a piscina.