Em que situação lógica a proposição condicional p → q é falsa?

Somente quando o antecedente p é verdadeiro e o consequente q é falso.

Em termos da tabela-verdade:
p = V, q = V → p → q = V
p = V, q = F → p → q = F
p = F, q = V → p → q = V
p = F, q = F → p → q = V

Exemplo:
Considere p = "o aluno estudou" e q = "passou no exame".
Se o aluno estudou (p = V) e não passou (q = F), então p → q = F.
Se o aluno não estudou (p = F), mesmo que tenha passado ou não, p → q = V.