發送短信: Razonamiento revocable y lógicas no monótonas