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

✂️ a) Uma implicação representa uma relação simétrica entre duas proposições.

✂️ b) Uma implicação representa uma relação antissimétrica entre duas proposições.

✂️ c) Uma implicação é representada por p → q, onde p é a hipótese e q é a conclusão.

✂️ d) Uma implicação é sempre verdadeira, independentemente das proposições envolvidas.

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