Uma expressão lógica, especificando uma ou mais condições que programar saídas deve satisfazer para que o programa seja correta.