Considere as proposições:

• P: “Carlos estuda para o concurso.”
• Q: “Carlos será aprovado.”

A proposição composta “Se Carlos estuda para o concurso, então ele será aprovado” é corretamente simbolizada por: