Envoyer par SMS: Introducción al simbolismo lógico