Invia SMS: Notions de logique formelle