Zaslat SMS: Notions de logique formelle