Vanessa vai para a piscina se e somente se Vagner vai para o...
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:
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: