Sejam as proposições:

p: Paulo é pelotense.
q: Paulo é gaúcho.

Reescrevendo como uma proposição composta, obtém-se:

“Paulo é pelotense se e somente se ele é gaúcho”.

Utilizando os símbolos da lógica proposicional, a proposição composta acima deve ser reescrita como: