Se ejecuta una expresión lógica que especifica una o más condiciones que deben cumplan cada vez un punto determinado en un bucle de programa.