A afirmação ?Se Pedro mente, então é segunda-feira? é logicamente equivalente à afirmação