Maria foi consultar seu advogado sobre o processo de aposentadoria. O advogado respondeu que “Se o juiz é honesto, então você se aposentará”. Maria, ao chegar em casa, contou para sua família a notícia recebida pelo advogado, mas utilizou uma proposição equivalente. Qual das alternativas a seguir poderá ser usada por Maria para apresentar uma equivalência lógica entre a proposição do advogado e a que ela irá dizer à sua família?