Se chover forte, então a viagem será difícil. Se os estudantes chegaram a tempo, então a viagem não foi difícil. Os estudantes chegaram a tempo. ...

O método dedutivo utilizado para provar a conclusão é o Modus Tollens. Esse método é uma forma de inferência lógica que afirma que, se uma proposição condicional (se...então) é verdadeira e a consequência (então) é falsa, então a antecedente (se) também deve ser falsa. Nesse caso, a proposição condicional é "Se chover forte, então a viagem será difícil" e a consequência é "a viagem não foi difícil", que é verdadeira. Portanto, a antecedente "chover forte" deve ser falsa, o que leva à conclusão de que "não choveu forte".