Simulado Agência de Desenvolvimento do Distrito Federal - TERRACAP | Técnico Administrativo | 2019 pre-edital | Questão 351

Raciocínio Lógico e Matemático / Compreensão de estruturas lógicas; Diagramas lógicos

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

Fonte: TéCNICO JUDICIáRIO - OPERAçãO DE COMPUTADORES / TRE/MA / 2009 / CESPE_ME