Zaslat SMS: Introduction a la logique