https://sites.google.com/a/upedagogica.edu.sv/nestor-vladi/LenguajedePrimerOrden%282%29.doc?attredirects=0&d=1
Al realizar este desafío comprendí cuándo utilizar los cuantificadores (Universal y Existencial).
El cuantificador universal se utiliza cuando un todo cumple cierta propiedad, el cuantificador existencial cuando algunos la cumplen.