Se Carlos é agente de trânsito, então ele é concursado. Portanto:
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.