As Redes de Computadores

Anhanguera Educacional

Faculdade Anhanguera de Piracicaba

Ciência da Computação

ATPS

Lógica matemática

Piracicaba

2015

Na clássica obra “Um estudo em Vermelho”, o autor Sir Arthur Conan Doyle utiliza das táticas da Lógica de Dedução, para prender a atenção dos leitores, fazendo com que isto torne essa história mais inteligente e cheia de mistérios.

Logo no início o autor deixa claro alguns trechos em que utiliza a Lógica Dedutiva quando coloca em cena seu personagem Sherlock Holmes, um detetive extremamente hábil, que mostra seu talento para desvendar os mais misteriosos crimes com estudos de diversos assuntos, os quais outros detetives extremamente competentes não seriam capazes de desvendar de uma maneira tão clara e lógica.

A historia é narrada por John Watson, um doutor que serviu um tempo na guerra no Afeganistão e que graças a certos ferimentos voltou para Inglaterra. Levando uma vida irregular, sem muita preocupação e com baixas condições financeiras, Watson reencontra um velho amigo, com quem comenta sobre sua vida e sobre a necessidade que possui de mudar de casa. Este o leva a conhecer Sherlock Holmes, o qual também procurava um lugar mais adequado para morar. Ao conhecer Holmes, a vida de Watson nunca mais foi a mesma. 

Esse livro foi recentemente lido por dois proprietários da empresa Playing Game que desenvolve jogos de RPG online. Como haviam acabado de criar um grande jogo que ainda não havia sido divulgado para a equipe e encantados com a forma simples e perfeita com que Holmes usava a lógica dedutiva decidiram criar uma gincana interna para estimular a criatividade, o trabalho em equipe e o raciocínio lógico de seus programadores.

Para tanto, lançaram o desafio: descubra o nome do jogo.

A gincana foi dividida em 6 grandes desafios que quando completados forneciam letras. Vencidas as 6 etapas, um nome deveria ser formado quando juntadas todas as letras encontradas. Ganhava a equipe que resolvesse corretamente todos os desafios, isto é, a que encontrasse o nome do jogo.

Solucionamos o desafio e acumulamos informações separadas em etapas para representarmos toda a lógica por trás do mesmo.

Desafio proposto:

“Sabendo-se que dos 110 funcionários de nossa empresa, 80 são casados, 70 possuem casa própria e 30 são solteiros e possuem casa própria.” Analisar os itens seguintes:

 

(a) Mais da metade dos funcionários casados possui casa própria.

(b) Dos funcionários que possuem casa própria há mais solteiros que casados.

Fazer as seguintes associações:

Associar as letras ZE, se o item (a) for CERTO e o (b) for CERTO

Associar as letras TA, se o item (a) for CERTO e o (b) for ERRADO

Associar as letras SO, se o item (a) for ERRADO e o (b) for CERTO

Associar as letras ER, se o item (a) for ERRADO e o (b) for ERRADO

ETAPA 1

Com o desafio representado por extenso, analisamos o desafio e obtemos as seguintes informações:

total de funcionários {110}

Casados {80}

Solteiros {30}

possuem casa própria {70}

Baseado nessas informações obtidas, estruturamos um diagrama de Venn para representá-las de uma maneira mais clara:

                                            Casados[pic 1]

                                                         40        

[pic 2][pic 3]

                                                            40

                                                30

                                Solteiros         possuem casa

                                                      própria

        Nosso raciocínio lógico seguiu a seguinte ordem:

1. Começamos com a informação de que dos 110 funcionários 80 são casados.
2. A partir daí nos resta 30 funcionários que obviamente são solteiros.
3. Dos solteiros todos eles possuem casa própria.
4. Se das 70 pessoas com casa própria 30 delas são solteiras, sabemos com total certeza que as outras 40 são casadas.

Sendo assim, nossa conclusão foi que:

A afirmação “(a)” está ERRADA, já que ela afirma que mais da metade dos funcionários casados possui casa própria, mas pudemos ver que se dos 30 solteiros todos possuem casa própria, para os 80 casados só nos resta 40 casas para distribuirmos, o que equivale exatamente a metade dos funcionários casados.

A afirmação “(b)” também está ERRADA, considerando que a mesma diz que dos funcionários que possuem casa própria há mais solteiros que casados, porém pudemos ver claramente na análise na afirmação acima que isso se torna impossível quando efetuamos um simples cálculo de subtração:

80   =>  casas próprias

                                           -30    =>  casas para os solteiros

                                           40    =>  casas para os casados

Através das associações abaixo obtivemos as letras ER: