Enviar por SMS: Introdução à Lógica Simbólica