Em lógica proposicional, o que é uma implicação e como é representada simbolicamente?