Invia SMS: Lógica formal, lógica dialéctica