Enviar por SMS: Introducción al simbolismo lógico