发送短信: Introducción al simbolismo lógico