Se Carlos é agente de trânsito, então ele é concursado....

se Carlos não é concursado, então ele não é agente de trânsito.

se Carlos é concursado, então ele é agente de trânsito.

se Carlos é concursado, então ele não é agente de trânsito.

se Carlos não é agente de trânsito, então ele é concursado.

se Carlos é agente de trânsito, então ele não é concursado.