Imagem de fundo

Se Alice é feliz, Otávio é rico. Se Otávio é rico, Elga não...

Se Alice é feliz, Otávio é rico. Se Otávio é rico, Elga não é feliz. Se Elga não é feliz, Alice é feliz. A análise do encadeamento lógico dessas três afirmações permite concluir que elas:

a

implicam necessariamente que Otávio é rico e que Elga não é feliz.


b

implicam necessariamente que Alice é feliz.


c

são consistentes entre si quer Alice seja feliz, quer Alice não seja feliz.


d

são eqüivalentes a dizer que Alice é feliz.


e

são inconsistentes entre si.