Alberto, Bernardo e Carlos estão planejando ir a uma festa. Se Alberto for a festa, então Bernardo também irá. Se Bernardo não for a festa, então Carlos também não irá. De acordo com isso, é necessariamente correto afirmar que: