Un'espressione logica specifica una o più condizioni che devono essere soddisfatti ogni volta che un determinato punto in un ciclo di programma viene eseguita.