Enviar por SMS: Proof and Disproof in Formal Logic :