发送短信: Constructive Negations and Paraconsistency