A negação lógica da proposição "São Leopoldo é uma cidade gaúcha se, e somente se, é uma cidade de colonização alemã" é dada por:

Ou São Leopoldo é uma cidade gaúcha, ou é uma cidade de colonização alemã.

São Leopoldo não é uma cidade gaúcha ou não é uma cidade de colonização alemã.

Se São Leopoldo não é uma cidade gaúcha. então não é uma cidade de colonização alemã.

Se São Leopoldo é uma cidade gaúcha, então não é uma cidade de colonização alemã.

São Leopoldo não é uma cidade gaúcha se, e somente se, não é uma cidade de colonização alemã.