Dizer que não é verdade que Ana é capixaba e Leonardo é carioca é logicamente equivalente a dizer que é verdade que: