A negação lógica da proposição “Se Aldo é pescador e é mentiroso, então todo pescador sabe nadar”, pode ser enunciada como