Gilberto, gerente de sistemas do TRE de determinada região, após reunir-se com os técnicos
Gilberto, gerente de sistemas do TRE de determinada região, após reunir-se com os técnicos judiciários Alberto, Bruno, Cícero, Douglas e Ernesto para uma prospecção a respeito do uso de sistemas operacionais, concluiu que:
- se Alberto usa o Windows, então Bruno usa o Linux; - se Cícero usa o Linux, então Alberto usa o Windows; - se Douglas não usa o Windows, então Ernesto também não o faz; - se Douglas usa o Windows, então Cícero usa o Linux.
Com base nessas conclusôes e sabendo que Ernesto usa o Windows, é correto concluir que
