A negação da proposição “Se João estuda em Vacaria, então João não usa o transporte público da cidade” é:

Se João não estuda em Vacaria, então João usa o transporte público da cidade.

Se João não estuda em Vacaria, então João não usa o transporte público da cidade.

Se João não usa o transporte público da cidade, então João não estuda em Vacaria.

João estuda em Vacaria e usa o transporte público da cidade.

João estuda em Vacaria ou usa o transporte público da cidade.