That’s a statement of the form  “If A, then B.” Flowcharts are great illustrations  of how those work.
É uma afirmação na forma "se A, então B". Fluxogramas são grandes representações de modo como isso funciona.