Se Carlos é professor e Ana é dentista, então Carlos não é professor

Se Carlos não é professor e Ana é dentista, então Carlos é professor

Se Carlos é professor então Ana é dentista e Carlos não é professor

Se Carlos é professor e Ana é dentista, então Carlos é professor