"If you are hungry, then get something to eat." is a form of deductive reasoning. This means something has to be true: being hungry, before the second part of the statement to be true: eating. It is a common concept used in our everyday lives.