Diapositiva 1adria.inaoep.mx/~diplomados/biblio/logicaconjuntos/logic...inferencia, inferencia con cuantificadores universales, y aplicaciones de la teoría de la inferencia al desarrollo