Cuantificadores lógicos universal y existencial