Dizer que Joaquim é músico ou Sheila é médica é logica...

Questão mais exigente, mas simples. 

Trocamos, primeiramente, a proposição pela regra do Neymar (nega a primeira e mantém a segunda, com o conectivo condicional), ficando: 

• Se Joaquim não é um músico, então Sheila é médica. 

Depois disso, só voltar negando, ficando a proposição como: 

• Se Sheila não é médica, então Joaquim é um músico. 

Gabarito: B

equivalência condicional 

1º p->q é equivalente a ¬q -> ¬p

2º p->q é equivalente a ¬p v q     ( bizu NEUMA, nega a primeira troca o condicional por disjunção inclusiva e mantem a segunda)

nessa questão para entender melhor deve conhecer todas as etapadas para chegar a conclusão: 1º ele passou de J v S para ¬J -> S  faz o caminho inverso da segunda regra 2º e depois aplica a primeira regra 

1º passo ( fez o caminho contrario da segunda regra)

"Joaquim é músico ou Sheila é médica" => "se Joaquim não é músico então Sheila é médica"

2º passo ( agora cruz e nega, igual a primeira regra)

"se Joaquim não é músico então Sheila é médica" => "Se Sheila não é médica, então Joaquim é músico."

Se joaquim não é músico, então sheila é médica.

A regra é clara.

Questão discutível.