Suponha-se que U seja o conjunto de todas as pessoas, que M(...

De acordo com o descrito no enunciado, temos que negar o quantificador existencial, assim:

"Nenhuma mulher é desempregada" = Não existe mulher desempregada =

= Não existe x, tal que x é mulher e desempregada = ~∃ x ( M(x) ^ D(x ) ).


Resposta: Certo.

M(X)^ D(x) representa as mulheres desempregadas O contrário de M(X)^ D(x) representa as mulheres desempregadas

A questão é mais simples do que se parece:

Na conjunção (^) somente será verdadeiro se ocorrerem as duas coisas (mulher e desempregada), então ficaria correto se a propriedade dentro desse conjunto ficasse "mulher é desempregada". Sua negação também é equivalente e correta que esta proposto na proposição e simbolizado.

Espero ter contribuído. 

A questão esta correta. "nenhuma mulher é desempregada" é o mesmo que "não existe nenhum x, tal que x é mulher e desempregada"

*Quantificador existencial (?)
? = Algum/ Pelo meno um/ Existe
Ex: Algum A é B =Algum B é A

(?x) (A(x) ? B(x))

A negação do quantificador existencial é nenhum.

Trata-se de negação de quantificador existencial:

Para negar basta colocar o sinal "~" na frente do E invertido: 

Sendo que:
E (invertido) = Existe = Todo
~ E (invertido) = Não existe = Nenhum

Exemplo:

proposição : (Ex) (1/x é um número natural)

negação: (~Ex) (1/x é um número natural) 

Fonte: Livro raciocinio logico simplificado - Sergio e Weber