Considere falsa a afirmação “Cristiano é policial militar e Ana é policial civil...

Questão de Raciocínio Lógico da banca VUNESP aplicada no concurso Tribunal de Justiça nbsp SP (2018). Confira a resolução completa abaixo:

Considere falsa a afirmação “Cristiano é policial militar e Ana é policial civil” e verdadeira a afirmação “se Cristiano é policial militar, então Ana é policial civil”.

Nessas condições, é necessariamente