A negação da proposição “Se Maria é alta, então Pedro não é baixo” é: