A: Chove.

B: Maria sai de casa.

C: Luiz carrega um guarda‐chuva.

Com base nas sentenças acima, a sentença A → (~B ∧ C) significa que