Considere as proposições simples a seguir:

p: Júlio é Auditor Fiscal.
q: Júlio é paulista.
r: Júlio é careca.

A proposição composta: “Se, se não é verdade que Júlio é careca ou paulista, então Júlio não é Auditor Fiscal e é careca, então Júlio é paulista”, está escrita corretamente na linguagem simbólica