The manager of a restaurant implemented a rule: "If a customer orders the daily special, then they will receive a free dessert." Which of these statements necessarily follows logically?
If a customer received a free dessert, then they ordered the daily special.
If a customer did not order the daily special, then they did not receive a free dessert.
If a customer received a free dessert, then they did not order the daily special.
If a customer did not receive a free dessert, then they did not order the daily special.
If a customer orders the daily special, then they will not receive a free dessert.