Et logisk udtryk angiver en eller flere betingelser, der skal være opfyldt hver gang et bestemt punkt i en program-løkke udføres.