Assinale a assertiva que apresenta de forma correta uma proposição lógica que caracteriza uma implicação.