Como se representa e interpreta logicamente uma inferência que afirma que uma proposição implica outra?

Se p, então q.

Isso expressa uma condicional lógica, onde p implica q; significa que, no contexto em que a afirmação é feita, a verdade de p leva à conclusão q, sem afirmar a verdade de p ou de q separadamente.

Exemplo:
Se um sensor detecta fumaça (p), então o alarme dispara (q).
Nesse caso, p é "sensor detecta fumaça" e q é "alarme dispara", a frase indica apenas a relação implicativa entre p e q.