Zaslat SMS: Lógica proposicional y de predicados con soporte en tecnologías