Resultado de la búsqueda: verdad formal y verdad empirica