Considere a sentença: “Se todo sapo é amarelo, então alguma perereca é vermelha”.
A negação lógica dessa sentença é