lógica

[yara andrade]

Pessoal

Minha dúvida é em relação àqueles exercícios de lógica que envolvem a disjunção.
No livro de Enrique Rocha, o autor diz que a negativa de uma disjunção inclusiva é:
Proposição: X é impar OU y é divisível por 7
Negativa 1: X não é impar E y não é divisível por 7 ou ainda,
Negativa 2: X é par E y não é divisível por 7
Dessa forma, há duas formas de negar, ou usa-se a palavra NÃO ou usa-se o antônimo (impar-par).
Contudo nos exercícios colocados no livro ou nas questões que caíram em provas está diferente. Exemplo:
ESAF-MPOG-2003 Ana é artista ou Carlos é carioca. Se Jorge é juiz, então Breno não é bonito. Se Carlos é carioca, então Breno é bonito. Ora, Jorge é juiz. Logo:
a. Jorge é juiz e Breno é bonito;
b. Carlos é carioca ou Breno é bonito
c. Breno é bonito e Ana é artista
d. Ana não é artista e Carlos é carioca
e. Ana é artista e Carlos não é carioca.
A resposta correta é a letra E. Mas não tinha de ser as duas proposições negativas? (Ana não é artista e Carlos não é carioca)? Como no exemplo do livro (x não é impar e y não é divisível por 7).
O que eu estou entendendo errado?

Grata

Yara