Las sentencias de flujo como las estructuras condicionales "if" permiten cambiar las secuencias de instrucciones de un programa y ejecutar bloques de código condicionalmente dependiendo de si se cumple o no una condición. La estructura "if" evalúa una condición y permite ejecutar código si la condición es verdadera o falso, y también puede incluir cláusulas "elseif" y "else" para evaluar múltiples condiciones.