A sentença “Se eu for demitido, então não viajarei no fim do ano” é logicamente equivalente a