Raciocínio Lógico — estruturas lógicas (tabela verdade)

Considere que um delegado, quando foi interrogar Carlos e José, já sabia que, na quadrilha à qual estes pertenciam, os comparsas ou falavam sempre a verdade ou sempre mentiam. Considere, ainda, que, no interrogatório, Carlos disse: José só fala a verdade, e José disse: Carlos e eu somos de tipos opostos. Nesse caso, com base nessas declarações e na regra da contradição, seria correto o delegado concluir que Carlos e José mentiram.