Next: 7.3 Reglas derivadas Up: 7.2 Reglas de cuantificadores Previous: 7.2.5 Eliminación del universal Contents
En la última sección hay algún ejemplo con cuantificadores, pero sin explicar. Supongo que tendrás que mirar algún libro de lógica si te interesa entenderlos.