Para resolver a questão, devemos tomar como base o que informa a tabela verdade da condicional "se, então", a sentença seria falsa se a primeira proposição fosse verdadeira, e a segunda, falsa.

Sendo assim, para resultar em um valor lógico verdadeiro, se a primeira sentença fosse falsa, a segunda poderia ser falsa ou verdadeira. No entanto, como a primeira sentença é verdadeira, então a segunda deve também ser verdadeira.