O que se conclui da afirmação "o marido de alguém é X" e como aplicar exclusão para atribuir estados civis distintos entre três pessoas?

Conclui‑se que essa pessoa é casada.

Explicação:
1) A expressão "o marido de alguém é ..." implica logicamente que essa pessoa é casada.
2) Em problemas com três pessoas e estados civis exclusivos (casada, viúva, solteira), sabendo que uma é casada e outra é viúva, a terceira é determinada por eliminação (será solteira).
3) Com base nessas inferências, associa‑se cada estado civil às demais informações fornecidas (por exemplo, disciplinas ou atributos) e distribui‑se por exclusão.

Exemplo:
Três colegas têm estados civis distintos e meios de transporte: sabe‑se que "o marido de uma é médico" (logo essa é casada), "uma perdeu o esposo" (essa é viúva), e "a solteira anda de moto" enquanto "a viúva anda de bicicleta".
Passos:
- Da primeira frase identificamos a casada (quem tem marido médico).
- Há uma viúva pela segunda frase.
- Pela exclusão, a restante é a solteira e, portanto, a que anda de moto.
- Logo, as atribuições ficam: moto = solteira; bicicleta = viúva; carro (ou outro) = casada.