aplicaciones de la lógica matemática ejemplos