1º Considere todas as preposições verdadeiras
2º Vá montando as proposições lógicas compostas
Ana é artista (F) ou Carlos é compositor (V) = V [DISJUNÇÃO SIMPLES]
Se Mauro gosta de música (F), então Flávia não é fotógrafa (F)= V [CONDICIONAL]
Se Flávia não é fotógrafa (F), então Carlos não é compositor (F) = V [CONDICIONAL]
Ana não é artista (V) e Daniela não fuma (V) = V [CONUNÇÃO]
O meu ficou assim!
p: Ana é artista
q: Carlos é compositor
r: Mauro gosta de música
s: Flávia é fotógrafa
t: Daniela fuma.
(p v q)^(r → ~s)^(~s → ~q)^(~p ^ ~t)
Observando a última afiramação "Ana não é artista e Daniela não fuma", concluímos que "p" é falso e "t" também é falso. Assim, temos:
(F v q)^(r → ~s)^(~s → ~q)^(V ^ V)
Agora, "q" deve ser verdadeiro para que (F v q) seja verdadeiro:
(F v V)^(r → ~s)^(~s → F)^(V ^ V)
Agora, "~s" deve ser falso para que (~s → F) seja verdadeiro. Com isso, s sendo verdadeiro temos:
(F v V)^(r → F)^(F → F)^(V ^ V)
Por fim, "r" deve ser falso para que (r → F) seja verdadeiro.
Concluímos, então, que p, r e t são falsos e q e s são verdadeiros, ou seja, Ana não é artista, Carlos é compositor, Mauro não gosta de Música, Flávia é fotógrafa e Daniela não fuma.
letra "b".