Se Anamara é médica, então Angélica é médica. Se Anamara é arquiteta, então Angélica ou Andrea são médicas. Se Andrea é arquiteta, então Angélica é arquiteta. Se Andrea é médica, então Anamara é médica.
Considerando que as afirmações são verdadeiras, segue- se, portanto, que:
A afirmação A menina tem olhos azuis ou o menino é loiro tem como sentença logicamente equivalente:
Caso ou compro uma bicicleta. Viajo ou não caso. Vou morar em Pasárgada ou não compro uma bicicleta. Ora, não vou morar em Pasárgada. Assim,
Se Ana é pianista, então Beatriz é violinista. Se Ana é violinista, então Beatriz é pianista. Se Ana é pianista, Denise é violinista. Se Ana é violinista, então Denise é pianista. Se Beatriz é violinista, então Denise é pianista. Sabendo-se que nenhuma delas toca mais de um instrumento, então Ana, Beatriz e Denise tocam, respectivamente:
