CURSO ONLINE RACIOCNIO LGICO

AULA SEIS: Diagramas Lgicos

Ol, amigos! Iniciamos nossa presente aula com uma notcia: hoje trataremos de um assunto que estava previsto para ser estudado em um encontro futuro. Todavia, melhor analisando, julgamos que mais conveniente didaticamente encaixarmos o assunto Diagramas Lgicos agora. Da, a troca apenas essa: Diagramas Lgicos em vez de Associao Lgica. Este ltimo assunto ser visto oportunamente. Atentem que no haver, portanto, qualquer reduo do contedo inicialmente previsto para este curso, seno uma mera troca na seqncia dos dois referidos assuntos. Nos prximos dias colocaremos no frum do curso on-line, uma sntese dos mtodos utilizados nas solues de questes de estruturas lgicas. Pois bem! Iniciemos com a resoluo do dever de casa que estava pendente da aula passada. Adiante!

DEVER DE CASA 01.(Fiscal Trabalho 98 ESAF) Maria tem trs carros: um Gol, um Corsa e um Fiesta. Um dos carros branco, o outro preto, e o outro azul. Sabe-se que: 1) ou o Gol branco, ou o Fiesta branco, 2) ou o Gol preto, ou o Corsa azul, 3) ou o Fiesta azul, ou o Corsa azul, 4) ou o Corsa preto, ou o Fiesta preto. Portanto, as cores do Gol, do Corsa e do Fiesta so, respectivamente, a) branco, preto, azul b) preto, azul, branco c) azul, branco, preto d) preto, branco, azul e)) branco, azul, preto Sol.: O enunciado informa que: - Maria tem trs carros: um Gol, um Corsa e um Fiesta. - Um dos carros branco, o outro preto, e o outro azul. Tambm temos, no enunciado, as seguintes premissas: P1: ou o Gol branco, ou o Fiesta branco. P2: ou o Gol preto, ou o Corsa azul. P3: ou o Fiesta azul, ou o Corsa azul. P4: ou o Corsa preto, ou o Fiesta preto. Para resolvermos esta questo, devemos: 1) considerar todas as premissas verdadeiras; 2) atribuir um valor lgico (V ou F) para uma das proposies simples; e 3) Finalmente, substituir este valor lgico (escolhido no passo anterior) nas premissas e verificar se est correto, ou seja, se no vai se observar alguma contradio entre os resultados obtidos.

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

Vamos escolher a proposio Fiesta branco que aparece na 1 premissa, e atribuir o valor lgico V. Vamos executar os seguintes passos, mostrados abaixo, para testar esta hiptese criada por ns, ou seja, para sabermos se est certo que Fiesta branco V. Teste da hiptese: Fiesta branco V. 1. F P1. ou o Gol branco, 4. F P2. ou o Gol preto, 1. F P3. ou o Fiesta azul, 3. F P4. ou o Corsa preto, 1. V ou o Fiesta branco. 3. V ou o Corsa azul. 2. V ou o Corsa azul. 1. F ou o Fiesta preto.

1 passo) Da hiptese Fiesta branco V (em P1), e como cada carro possui cores diferentes, teremos: Gol branco F (em P1), Fiesta azul F (em P3) e Fiesta preto F (em P4). 2 passo) P3 deve ser verdadeira, da Corsa azul V. 3 passo) Atribuir: Corsa preto F (em P4) e Corsa azul V (em P2). 4 passo) P2 uma disjuno exclusiva, da Gol preto tem que ser F. Houve alguma contradio entre os resultados obtidos? Claro que sim, pois obtemos que o Gol no preto, nem branco e nem azul! Da, a hiptese Fiesta branco Falsa! Vamos estabelecer outra hiptese (com relao ao Fiesta): Fiesta preto Verdade! Teste da hiptese: Fiesta preto V. 2. V P1. ou o Gol branco, 1. F P2. ou o Gol preto, 1. F P3. ou o Fiesta azul, 1. F P4. ou o Corsa preto, 1. F ou o Fiesta branco. 3. V ou o Corsa azul. 3. V ou o Corsa azul. 1. V ou o Fiesta preto.

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

1 passo) A hiptese Fiesta preto V (em P4), e como cada carro deve ter cor diferente, teremos: Corsa preto F (em P4), Fiesta branco F (em P1), Gol preto F (em P2) e Fiesta azul F (em P3). 2 passo) P1 deve ser verdadeira, da Gol branco V. 3 passo) P2 e P3 devem ser verdadeiras, da Corsa azul V. Houve alguma contradio entre os resultados obtidos? Agora no houve! Resultados obtidos: Fiesta preto! Gol branco! Corsa azul! Portanto, a resposta a alternativa E.

02.(Fiscal Trabalho 98 ESAF) De trs irmos Jos, Adriano e Caio , sabe-se que ou Jos o mais velho, ou Adriano o mais moo. Sabe-se, tambm, que ou Adriano o mais velho, ou Caio o mais velho. Ento, o mais velho e o mais moo dos trs irmos so, respectivamente: a) Caio e Jos b)) Caio e Adriano c) Adriano e Caio d) Adriano e Jos e) Jos e Adriano Sol.: Temos, no enunciado, as seguintes premissas: P1: ou Jos o mais velho, ou Adriano o mais moo. P2: ou Adriano o mais velho, ou Caio o mais velho. A receita de bolo a mesma. Ou seja, devemos agora: 1) considerar todas as premissas verdadeiras; 2) atribuir um valor lgico (V ou F) para uma das proposies simples; e 3) substituir este valor lgico (escolhido no passo anterior) nas premissas e verificar se est correto, ou seja, se no vai se observar alguma contradio entre os resultados obtidos. Vamos escolher a proposio Adriano o mais velho que aparece na 2 premissa, e atribuir o valor lgico V. Vamos executar os seguintes passos, mostrados abaixo, para testar esta hiptese criada por ns, ou seja, para sabermos se est certo que Adriano o mais velho V. www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

Teste da hiptese: Adriano o mais velho V. 1. F P1. ou Jos o mais velho, 1. V P2. ou Adriano o mais velho, 1. F ou Adriano o mais moo 1. F ou Caio o mais velho

1 passo) Da hiptese Adriano o mais velho V (em P2), teremos, mesmo sem fazer nenhuma operao com conectivos, que: Caio o mais velho F (em P2), Jos o mais velho F (em P1) e Adriano o mais moo F (em P1). S tivemos um passo! Ao verificar a primeira premissa conclumos facilmente que, com os valores lgicos obtidos, esta no ser verdadeira! Sabemos que para uma disjuno exclusiva ser verdadeira, preciso que uma das proposies seja verdadeira e a outra, falsa. Da, ocorreu uma contradio, pois a premissa deveria ser verdadeira! Agora, vamos testar a seguinte hiptese: Adriano o mais moo V. Teste da hiptese: Adriano o mais moo V. 2. F P1. ou Jos o mais velho, 1. F P2. ou Adriano o mais velho, 1. V ou Adriano o mais moo 3. V ou Caio o mais velho

1 passo) Da hiptese Adriano o mais moo V (em P1), teremos, sem fazer nenhuma operao com conectivos, que: Adriano o mais velho F (em P2). 2 passo) P1 uma disjuno exclusiva, da Jos o mais velho tem que ser F. 3 passo) P2 deve ser verdadeira, da Caio o mais velho V. Resultados obtidos: Adriano o mais moo! Caio o mais velho! Portanto, a resposta a alternativa B.

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

03.(Tcnico MPU_Admnistrativa_2004 ESAF) Ricardo, Rogrio e Renato so irmos. Um deles mdico, outro professor, e o outro msico. Sabe-se que: 1) ou Ricardo mdico, ou Renato mdico, 2) ou Ricardo professor, ou Rogrio msico; 3) ou Renato msico, ou Rogrio msico, 4) ou Rogrio professor, ou Renato professor. Portanto, as profisses de Ricardo, Rogrio e Renato so, respectivamente, a) professor, mdico, msico. b) mdico, professor, msico. c) professor, msico, mdico. d) msico, mdico, professor. e)) mdico, msico, professor. Sol.: Temos, no enunciado, as seguintes premissas: P1: ou Ricardo mdico, ou Renato mdico. P2: ou Ricardo professor, ou Rogrio msico. P3: ou Renato msico, ou Rogrio msico. P4: ou Rogrio professor, ou Renato professor. Nossos passos de resoluo sero aqueles mesmos: 1) considerar todas as premissas verdadeiras; 2) atribuir um valor lgico (V ou F) para uma das proposies simples; e 3) substituir este valor lgico (escolhido no passo anterior) nas premissas e verificar se est correto, ou seja, se no vai se observar alguma contradio entre os resultados obtidos. Vamos escolher a proposio Rogrio professor que aparece na 4 premissa, e atribuir o valor lgico V. Vamos executar os seguintes passos, mostrados abaixo, para testar esta hiptese criada por ns, ou seja, para sabermos se est certo que Rogrio professor V. Teste da hiptese: Rogrio professor V.

P1.

ou Ricardo mdico, 1. F

ou Renato mdico. 1. F ou Rogrio msico. 1. F

P2.

ou Ricardo professor,

P3.

ou Renato msico, 1. V

ou Rogrio msico. 1. F ou Renato professor.

P4.

ou Rogrio professor,

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

1 passo) Da hiptese Rogrio professor V (em P4), teremos sem fazer nenhuma operao com conectivos que: Renato professor F (em P4), Ricardo professor F (em P2) e Rogrio msico F (em P3). S tivemos um passo! Ao verificar a segunda premissa conclumos facilmente que, com os valores lgicos obtidos, esta disjuno exclusiva no verdadeira! da ocorre uma contradio, pois a premissa deveria ser verdadeira! Agora, vamos testar a seguinte hiptese: Rogrio msico V. Teste da hiptese: Rogrio msico V. 4. V P1. ou Ricardo mdico, 1. F P2. ou Ricardo professor, 1. F P3. ou Renato msico, 1. F P4. ou Rogrio professor, 3. F ou Renato mdico. 1. V ou Rogrio msico. 1. V ou Rogrio msico. 2. V ou Renato professor.

1 passo) Da hiptese Rogrio msico V (em P4), teremos, sem precisar fazer nenhuma operao com conectivos, que: Ricardo professor F (em P2), Renato msico F (em P3) e Rogrio professor F (em P4). 2 passo) P4 uma proposio verdadeira, da Renato professor V. 3 passo) Como Renato professor V, em P1 vamos atribuir a Renato mdico o valor F. 4 passo) P4 uma proposio verdadeira, da Ricardo mdico V. Resultados obtidos: Rogrio msico! Renato professor! Ricardo mdico! Portanto, a resposta a alternativa E.

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

04.(Fiscal do Trabalho 2003 ESAF) Investigando uma fraude bancria, um famoso detetive colheu evidncias que o convenceram da verdade das seguintes afirmaes: 1) Se Homero culpado, ento Joo culpado. 2) Se Homero inocente, ento Joo ou Adolfo so culpados. 3) Se Adolfo inocente, ento Joo inocente. 4) Se Adolfo culpado, ento Homero culpado. As evidncias colhidas pelo famoso detetive indicam, portanto, que: a) Homero, Joo e Adolfo so inocentes. b)) Homero, Joo e Adolfo so culpados. c) Homero culpado, mas Joo e Adolfo so inocentes. d) Homero e Joo so inocentes, mas Adolfo culpado. e) Homero e Adolfo so culpados, mas Joo inocente. Sol.: Temos, no enunciado, as seguintes premissas: P1: Se Homero culpado, ento Joo culpado. P2: Se Homero inocente, ento Joo ou Adolfo so culpados. P3: Se Adolfo inocente, ento Joo inocente. P4: Se Adolfo culpado, ento Homero culpado. Os passos de resoluo so os mesmos j nossos conhecidos. Vamos escolher a proposio Homero culpado que aparece na 1 e 4 premissas, e atribuir o valor lgico V. Executaremos os seguintes passos abaixo, para testar esta hiptese criada por ns, ou seja, para sabermos se est certo que Homero culpado V. Teste da hiptese: Homero culpado V. 1. V P1. Homero culpado 1. F P2. Homero inocente 4. F P3. Adolfo inocente 5. V P4. Adolfo culpado 2. V Joo culpado. 3. F (Joo ou Adolfo so culpados) 3. F Joo inocente. 1. V Homero culpado.

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

1 passo) Da hiptese Homero culpado V (em P1 e P4), teremos que: Homero inocente F (em P2). 2 passo) P1 deve ser verdadeira, da Joo culpado tem que ser V. 3 passo) Como Joo culpado V, em P3 vamos atribuir a Joo inocente o valor F e na premissa P2 a disjuno Joo ou Adolfo so culpados vai ter valor V. 4 passo) P3 deve ser verdadeira, da Adolfo inocente tem que ser F. 5 passo) Como Adolfo inocente F, em P4 atribuiremos a Adolfo culpado o valor V. Resultados obtidos: Homero culpado! Joo culpado! Adolfo culpado! No houve contradio entre os resultados obtidos! E todas as premissas assumiram o valor lgico verdade! Portanto, a resposta a alternativa B.

05. (AFRE MG 2005 ESAF) Se Andr culpado, ento Bruno inocente. Se Andr inocente, ento Bruno culpado. Se Andr culpado, Leo inocente. Se Andr inocente, ento Leo culpado. Se Bruno inocente, ento Leo culpado. Logo, Andr, Bruno e Leo so, respectivamente: a) Culpado, culpado, culpado. b) Inocente, culpado, culpado. c)) Inocente, culpado, inocente. d) Inocente, inocente, culpado. e) Culpado, culpado, inocente. Sol.: Esta questo muito parecida com a anterior. Para termos uma soluo diferente da que fizemos anteriormente, vamos utilizar o mtodo do encadeamento das premissas. Temos, no enunciado, as seguintes premissas: P1: Se Andr culpado, ento Bruno inocente. P2: Se Andr inocente, ento Bruno culpado. P3: Se Andr culpado, ento Leo inocente. P4: Se Andr inocente, ento Leo culpado. P5: Se Bruno inocente, ento Leo culpado www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO Vamos atribuir letras as proposies simples; A = Andr inocente B = Bruno inocente L = Leo inocente Traduzindo as premissas para a forma simblica, obteremos: P1: ~A B P2: P4: P5: A ~B A ~L B ~L P3: ~A L

Agora, vamos efetuar o encadeamento das premissas. Da aula passada, vimos que no h uma regra para a seqncia em que ficaro as premissas, devemos fazer por tentativa e erro, e modificando as premissas de forma que a segunda parte da condicional de uma premissa seja igual primeira parte da condicional da premissa seguinte. Para modificar as proposies condicionais devemos utilizar a regra de equivalncia: (p q) = (~q ~p). (Podemos memorizar essa equivalncia com as palavras inverte e troca. Vejamos: inverte-se a ordem das proposies e trocam-se os sinais. Da, apenas inverte e troca!) Vamos tentar montar o quebra-cabea: - Vamos iniciar pelo equivalente condicional de P2: - Depois da P2 vamos colocar a premissa P1: - Depois da P1 vamos colocar a premissa P5: - Finalmente, depois da P4 vamos colocar a premissa P4: Assim, teremos o seguinte encadeamento: B ~A B ~L A ~L Uma vez que estamos trabalhando apenas com estruturas condicionais, devemos lembrar que a nica situao inadmissvel para uma condicional V na primeira parte e F na segunda. Assim, de modo que nunca ponhamos um V antes de um F, teremos os seguintes possveis valores lgicos a serem analisados: 1 B 1 linha: 2 linha: 3 linha: 4 linha: 5 linha: 6 linha: 7 linha: V F F F F F F 2 ~A V V F F F F F 3 B V V V F F F F 4 ~L V V V V F F F 5 A V V V V V F F 6 ~L V V V V V V F B ~A ~A B B ~L A ~L

- Depois da P5 vamos colocar o equivalente condicional de P3: ~L A

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO Vamos analisar qual dessas linhas lgicas aceitvel. Anlise da 1 linha:

10

Na 2 coluna de valores lgicos ~A V e na 5 coluna A tambm V. Isto impossvel! Da devemos descartar esta 1 linha! Anlise da 2 linha: Devemos descartar essa linha pelo mesmo motivo dado na anlise da 1 linha! Anlise da 3 linha: Na 1 coluna de valores lgicos B F e na terceira coluna B V. Isto impossvel! Da devemos descartar esta 3 linha! Anlise da 4 linha: No h contradies entre os valores lgicos, ento mantemos esta linha! Anlise da 5 linha: Na 4 coluna de valores lgicos ~L F e na sexta coluna ~L V. Isto impossvel! Da devemos descartar esta 5 linha! Anlise da 6 linha: Devemos descartar essa linha pelo mesmo motivo dado na anlise da 5 linha! Anlise da 7 linha: Devemos descartar essa linha pelo mesmo motivo dado na anlise da 5 linha! Da 4 linha que restou, obtemos os seguintes valores lgicos: AV BF , da: Andr inocente! , da: Bruno culpado!

~L F (e L V) , da: Leo inocente! Portanto, a resposta a alternativa C.

06. (AFC/STN 2005 ESAF) Se Pedro no bebe, ele visita Ana. Se Pedro bebe, ele l poesias. Se Pedro no visita Ana, ele no l poesias. Se Pedro l poesias, ele no visita Ana. Segue-se, portanto que, Pedro: a) bebe, visita Ana, no l poesias. b)) no bebe, visita Ana, no l poesias. c) bebe, no visita Ana, l poesias. d) no bebe, no visita Ana, no l poesias. e) no bebe, no visita Ana, l poesias. www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

11

Sol.: Podemos resolver esta questo pelo Mtodo da Atribuio, ou pelo Mtodo do Encadeamento, e tambm pelo Mtodo da Tabela-Verdade. Vamos escolher este ltimo mtodo para a soluo desta questo. Temos, no enunciado, as seguintes premissas: P1: Se Pedro no bebe, ele visita Ana. P2: Se Pedro bebe, ele l poesias. P3: Se Pedro no visita Ana, ele no l poesias. P4: Se Pedro l poesias, ele no visita Ana. Vamos atribuir letras as proposies simples; B = Pedro bebe A = Pedro visita Ana P = Pedro l poesias Traduzindo as premissas para a forma simblica, obteremos: P1: ~B A P2: P4: BP P ~A P3: ~A ~P Devemos construir a tabela-verdade para cada uma das premissas! Como faremos uma comparao entre os valores lgicos obtidos das premissas interessante que construamos uma nica tabela que contenha todas elas, conforme mostrado abaixo. P1 1 2 3 4 5 6 7 8 9 B V V V V F F F F A V V F F V V F F P V F V F V F V F ~B F F F F V V V V ~B A V V V V V V F F B V V V V F F F F P V F V F V F V F P2 BP V F V F V V V V ~A F F V V F F V V ~P F V F V F V F V P3 ~A ~P V V F V V V F V P V F V F V F V F ~A F F V V F F V V P4 P ~A F V V V F V V V

Temos que verificar qual a linha da tabela acima cujos valores lgicos das premissas so todos V. Encontramos esta situao na 7 linha! Passemos a observar na 7 linha quais so os valores lgicos das proposies simples: B, A e P. Resultados: B F , da: Pedro no bebe! A V , da: Pedro visita Ana! P F , da: Pedro no l poesias! Portanto, a resposta a alternativa B. www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

12

07.(Fiscal Trabalho 98 ESAF) Se Pedro inocente, ento Lauro inocente. Se Roberto inocente, ento Snia inocente. Ora, Pedro culpado ou Snia culpada. Segue-se logicamente, portanto, que: a) Lauro culpado e Snia culpada b) Snia culpada e Roberto inocente c)) Pedro culpado ou Roberto culpado d) Se Roberto culpado, ento Lauro culpado e) Roberto inocente se e somente se Lauro inocente Sol.: Temos, no enunciado, as seguintes premissas: P1: Se Pedro inocente, ento Lauro inocente. P2: Se Roberto inocente, ento Snia inocente. P3: Pedro culpado ou Snia culpada. Vamos atribuir letras as proposies simples; P = Pedro inocente L = Lauro inocente R = Roberto inocente S = Snia inocente Traduzindo as premissas para a forma simblica, obteremos: P1: P2: P L R S

P3: ~P ou ~S Nesta questo, h quatro proposies simples (P, L, R e S), de sorte que fica muito trabalhoso utilizar o mtodo da Tabela-verdade. Como nas alternativas de resposta aparece uma disjuno na alternativa C e uma condicional na alternativa D, mais aconselhvel utilizarmos o Mtodo da Concluso Falsa. Este mtodo consiste, conforme aprendemos, em se verificar a existncia simultnea da concluso falsa e premissas verdadeiras. Obviamente que, em enunciados de estruturas lgicas, somente so fornecidas as premissas, e a concluso ser uma das cinco alternativas da questo. Da, devemos realizar testes com as opes de resposta, a fim de descobrimos a correta, que ser aquela em que a existncia da concluso falsa e premissas verdadeiras no for possvel. Pela regra de precedncia dos testes das alternativas, iniciaremos pela alternativa C. - Teste da alternativa C (Pedro culpado ou Roberto culpado): Traduzindo esta alternativa para a forma simblica teremos: Concluso: ~P ou ~R www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO Agora vamos verificar a existncia da concluso falsa e premissas verdadeiras.

13

Fazendo a concluso falsa teremos: (~P ou ~R) F . Sabemos que uma disjuno falsa somente quando os termos que a compe tambm so falsos. Da, teremos que ~P F (e P V), e ~R F (e R V). Vamos executar os seguintes passos, mostrados abaixo: 1. V P1. P 1. V P2. R 1. F P3. ~P 2. V L 3. V S 4. F ~S

1 passo) Substituir as proposies simples pelos valores lgicos obtidos acima, ou seja, P por V (em P1), ~P por F (em P3) e R por V (em P2). 2 passo) P1 deve ser verdadeira, da L V. 3 passo) P2 deve ser verdadeira, da S V. 4 passo) Do resultado obtido no 3 passo, vamos substituir ~S por F (em P3). Opa! A premissa P3 deve ser verdadeira, mas pelos valores lgicos que aparecem em P3, a premissa falsa! Da, utilizando a alternativa C como concluso falsa, conclumos que no possvel a existncia de premissas verdadeiras e concluso falsa. Portanto, a resposta a alternativa C.

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO isso! Passemos ao nosso assunto de hoje!

14

Na aula quatro, vimos a importncia do uso de diagramas de crculos na anlise da validade dos argumentos. Hoje, vamos tecer mais detalhes sobre o uso de diagramas de crculos (ou diagramas lgicos), e tambm sobre questes de lgica que envolvem as palavras todo, algum e nenhum. So ditas proposies categricas as seguintes: Todo A B Nenhum A B Algum A B e Algum A no B Proposies do tipo Todo A B afirmam que o conjunto A um subconjunto do conjunto B. Ou seja: A est contido em B. Ateno: dizer que Todo A B no significa o mesmo que Todo B A. Enunciados da forma Nenhum A B afirmam que os conjuntos A e B so disjuntos, isto , no tem elementos em comum. Ateno: dizer que Nenhum A B logicamente equivalente a dizer que Nenhum B A. Por conveno universal em Lgica, proposies da forma Algum A B estabelecem que o conjunto A tem pelo menos um elemento em comum com o conjunto B. Contudo, quando dizemos que Algum A B, pressupomos que nem todo A B. Entretanto, no sentido lgico de algum, est perfeitamente correto afirmar que alguns de meus colegas esto me elogiando, mesmo que todos eles estejam. Dizer que Algum A B logicamente equivalente a dizer que Algum B A. Tambm, as seguintes expresses so equivalentes: Algum A B = Pelo menos um A B = Existe um A que B. Proposies da forma Algum A no B estabelecem que o conjunto A tem pelo menos um elemento que no pertence ao conjunto B. Temos as seguintes equivalncias: Algum A no B = Algum A no B = Algum no B A. Mas no equivalente a Algum B no A. Nas proposies categricas, usam-se tambm as variaes gramaticais dos verbos ser e estar, tais como , so, est, foi, eram, ..., como elo de ligao entre A e B. Como nesta aula teremos vrias questes envolvendo as palavras todo, algum e nenhum, resolvemos listar algumas regras que j foram vistas na aula dois. Todo A B Algum A B Nenhum A B Todo A no B Algum A no B Nenhum A no B Nenhum A B Todo A B = = = = = = = = Todo A no no B Algum A no no B Nenhum A no no B Todo A no B Algum A no B Nenhum A no B Todo A no B Nenhum A no B Algum A no B (e vice-versa) (e vice-versa)

A negao de Todo A B

A negao de Algum A B Nenhum A B

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO Verdade ou Falsidade das Proposies Categricas

15

Dada a verdade ou a falsidade de qualquer uma das proposies categricas, isto , de Todo A B, Nenhum A B, Algum A B e Algum A no B. pode-se inferir de imediato a verdade ou a falsidade de algumas ou de todas as outras. 1. Se a proposio Todo A B verdadeira, ento temos as duas representaes possveis:

B A

A=B

Nenhum A B Algum A B

falsa. verdadeira.

Algum A no B falsa. 2. Se a proposio Nenhum A B verdadeira, ento temos somente a representao:

A
Todo A B Algum A B Algum A no B falsa. falsa. verdadeira.

3. Se a proposio Algum A B verdadeira, temos as quatro representaes possveis:

1 A B

4 A

A=B

Nenhum A B Todo A B Algum A no B

falsa. indeterminada pode ser verdadeira (em 3 e 4) ou falsa (em 1 e 2). indeterminada pode ser verdadeira (em 1 e 2) ou falsa (em 3 e 4).

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

16

4. Se a proposio Algum A no B verdadeira, temos as trs representaes possveis:

1 A B

3 A B

Todo A B Nenhum A B Algum A B

falsa. indeterminada pode ser verdadeira (em 3) ou falsa (em 1 e 2). indeterminada pode ser verdadeira (em 1 e 2) ou falsa (em 3).

Algum vai perguntar: preciso decorar tudo isso? Na realidade, o melhor buscar entender tudo isso! A rigor, conforme veremos pela resoluo das questes abaixo, conseguiremos solucionar os problemas deste assunto praticamente mediante o desenho dos diagramas lgicos! Ou seja, a coisa bem mais fcil do que aparenta. Passemos s resolues!

Exerccio: (Especialista em Polticas Pblicas Bahia 2004 FCC) Considerando todo livro instrutivo como uma proposio verdadeira, correto inferir que: a) Nenhum livro instrutivo uma proposio necessariamente verdadeira. b) Algum livro instrutivo uma proposio necessariamente verdadeira. c) Algum livro no instrutivo uma proposio verdadeira ou falsa. d) Algum livro instrutivo uma proposio verdadeira ou falsa. e) Algum livro no instrutivo uma proposio necessariamente verdadeira. Sol.:

instrutivo

livro

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO Pode haver questo mais fcil que esta?

17

A opo A descartada de pronto: nenhum livro instrutivo implica a total dissociao entre os diagramas. E estamos com a situao inversa! A opo B perfeitamente escorreita! Percebam como todos os elementos do diagrama vermelho esto inseridos no diagrama azul. Resta necessariamente perfeito que algum livro instrutivo. Resposta: opo B.

01. (TTN-98 ESAF) Se verdade que "Alguns A so R" e que "Nenhum G R", ento necessariamente verdadeiro que: a)) algum A no G; b) algum A G. c) nenhum A G; Esta questo traz, no enunciado, duas proposies categricas: 1. Alguns A so R 2. Nenhum G R Devemos fazer a representao grfica de cada uma delas por crculos para ajudar-nos a obter a resposta correta. Na verdade, para esta questo, no necessrio fazer representaes grficas, pois se observarmos as alternativas, j podemos excluir as alternativas b e d (pois algum A G equivalente a algum G A, e no podemos ter duas respostas corretas), e tambm excluir as alternativas c e e (pois nenhum A G o mesmo que nenhum G A). S restando-nos a alternativa a para marcar como correta. Mas para efeitos didticos vamos tambm resolver esta questo por diagramas de crculos! Vamos iniciar pela representao do Nenhum G R, que dada por dois crculos separados, sem nenhum ponto em comum. G R Sol.: d) algum G A; e) nenhum G A;

Como j foi visto, no h uma representao grfica nica para a proposio categrica do Alguns A so R, mas geralmente a representao em que os dois crculos se interceptam (mostrada abaixo) tem sido suficiente para resolver qualquer questo. R A

Agora devemos juntar os desenhos das duas proposies categricas para analisarmos qual a alternativa correta. Como a questo no informa sobre a relao entre os conjuntos A e G, ento teremos diversas maneiras de representar graficamente os trs conjuntos (A, G e R). A alternativa correta vai ser aquela que verdadeira para quaisquer dessas representaes. www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

18

Para facilitar a soluo da questo no faremos todas as representaes grficas possveis entre os trs conjuntos, mas sim, uma (ou algumas) representao(es) de cada vez e passamos a analisar qual a alternativa que satisfaz esta(s) representao(es), se tivermos somente uma alternativa que satisfaa, ento j achamos a resposta correta, seno, desenhamos mais outra representao grfica possvel e passamos a testar somente as alternativas que foram verdadeiras no teste anterior. Tomemos agora o seguinte desenho, em que fazemos duas representaes, uma em que o conjunto A intercepta parcialmente o conjunto G, e outra em que no h interseco entre eles. G R A A

Teste das alternativas: 1) Teste da alternativa a (algum A no G) Observando os desenhos dos crculos, verificamos que esta alternativa verdadeira para os dois desenhos de A, isto , nas duas representaes h elementos em A que no esto em G. Passemos para o teste da prxima alternativa. 2) Teste da alternativa b (algum A G) Observando os desenhos dos crculos, verificamos que, para o desenho de A que est mais a direita, esta alternativa no verdadeira, isto , tem elementos em A que no esto em G. Pelo mesmo motivo a alternativa d no correta. Passemos para a prxima. 3) Teste da alternativa c (Nenhum A G) Observando os desenhos dos crculos, verificamos que, para o desenho de A que est mais a esquerda, esta alternativa no verdadeira, isto , tem elementos em A que esto em G. Pelo mesmo motivo a alternativa e no correta. Portanto, a resposta a alternativa A.

02.(Fiscal Trabalho 98 ESAF) Sabe-se que existe pelo menos um A que B. Sabe-se, tambm, que todo B C. Segue-se, portanto, necessariamente que a) todo C B b) todo C A c)) algum A C d) nada que no seja C A e) algum A no C www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO Sol.: Esta questo traz, no enunciado, duas proposies categricas: 1. Existe pelo menos um A que B (= Algum A B) 2. Todo B C

19

Devemos fazer a representao grfica de cada uma delas por crculos para ajudar-nos a obter a resposta correta. A alternativa d traz a seguinte sentena: nada que no seja C A, isto o mesmo que nenhum no C A, ou de outra forma nenhum A no C. Podemos tambm passar para a forma equivalente: Todo A C. Da, a alternativa d ficou igual a alternativa b, portanto estas alternativas no podem ser resposta da questo. Vamos iniciar pela representao da proposio categrica Todo B C:

C B

Para a proposio categrica do Algum A B, usaremos a representao mostrada abaixo:

Agora devemos juntar os desenhos das duas proposies categricas para analisarmos qual a alternativa correta. Como a questo no informa sobre a relao entre os conjuntos A e C, ento teremos diversas maneiras de representar graficamente os trs conjuntos (A, B e C). A alternativa correta vai ser aquela que verdadeira para quaisquer dessas representaes. Usando o mesmo procedimento da questo anterior, passaremos ao teste das alternativas usando o seguinte desenho (colocamos duas situaes para o conjunto A):

C A B A

1) Teste da alternativa a (todo C B) Observando o desenho acima, claramente esta alternativa est errada. Passemos para o teste da prxima alternativa. 2) Teste da alternativa b (todo C A) Observando o desenho acima, claramente esta alternativa est errada. Passemos para a prxima. www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO 3) Teste da alternativa c (algum A C) Para as duas representaes feitas para o conjunto A, esta alternativa verdadeira. 4) Teste da alternativa d (nada que no seja C A)

20

Vimos que nada que no seja C A o mesmo que todo C A, e igualmente a alternativa b, este item incorreto. 5) Teste da alternativa e (algum A no C) Observe que em uma das representaes do conjunto A, todos os elementos de A esto dentro de C, e portanto esta alternativa incorreta. Da, a resposta a alternativa C. 03. (SERPRO 2001 ESAF) Todos os alunos de matemtica so, tambm, alunos de ingls, mas nenhum aluno de ingls aluno de histria. Todos os alunos de portugus so tambm alunos de informtica, e alguns alunos de informtica so tambm alunos de histria. Como nenhum aluno de informtica aluno de ingls, e como nenhum aluno de portugus aluno de histria, ento: a) pelo menos um aluno de portugus aluno de ingls. b) pelo menos um aluno de matemtica aluno de histria. c)) nenhum aluno de portugus aluno de matemtica. d) todos os alunos de informtica so alunos de matemtica. e) todos os alunos de informtica so alunos de portugus. Sol.: O enunciado traz as seguintes proposies categricas: 1. Todos os alunos de matemtica so, tambm, alunos de ingls 2. Nenhum aluno de ingls aluno de histria 3. Todos os alunos de portugus so tambm alunos de informtica 4. Alguns alunos de informtica so tambm alunos de histria 5. Nenhum aluno de informtica aluno de ingls 6. Nenhum aluno de portugus aluno de histria Veja que h vrias proposies categricas, e devemos fazer a representao grfica de cada uma para encontrar a resposta correta. Por qual proposio categrica devemos iniciar os desenhos dos crculos? No h uma ordem nica na realizao dos desenhos, devemos ir rabiscando um a um, de forma que ao final dos desenhos, tenhamos atendido a todas as proposies categricas. Aps os rabiscos efetuados para cada proposio categrica, chegamos ao seguinte desenho final:

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

21

Ing Mat

Hist

Info Port

Teste das Alternativas 1) Teste da alternativa a (pelo menos um aluno de portugus aluno de ingls) Pelo desenho, j descartamos essa alternativa. 2) Teste da alternativa b (pelo menos um aluno de matemtica aluno de histria) Tambm pelo desenho, descartamos essa alternativa. 3) Teste da alternativa c (nenhum aluno de portugus aluno de matemtica) Observando o desenho, vemos claramente que este item verdadeiro. 4) Teste da alternativa d (todos os alunos de informtica so alunos de matemtica) Pelo desenho, temos que esta alternativa est errada. 5) Teste da alternativa e (todos os alunos de informtica so alunos de portugus) Pelo desenho, temos que esta alternativa tambm est errada. Resposta: alternativa C.

04.(AFCE TCU 99 ESAF) Em uma comunidade, todo trabalhador responsvel. Todo artista, se no for filsofo, ou trabalhador ou poeta. Ora, no h filsofo e no h poeta que no seja responsvel. Portanto, tem-se que, necessariamente, a) todo responsvel artista b) todo responsvel filsofo ou poeta c)) todo artista responsvel d) algum filsofo poeta e) algum trabalhador filsofo Sol.: O enunciado traz as seguintes afirmaes: 1. Todo trabalhador responsvel. 2. Todo artista, se no for filsofo, ou trabalhador ou poeta. 3. No h filsofo e no h poeta que no seja responsvel. Iniciaremos pelo desenho da primeira afirmao Todo trabalhador responsvel.

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

22

Responsveis

Trabalhadores

Vamos passar a anlise da terceira afirmao, porque esta faz uma relao entre o conjunto dos responsveis e os conjuntos dos filsofos e o dos poetas, que permitir fazer o desenho destes dois ltimos conjuntos. A terceira afirmao feita foi: No h filsofo e no h poeta que no seja responsvel. Isto o mesmo que dizer: No h filsofo irresponsvel e tambm no h poeta irresponsvel. Permanece o mesmo sentido! Da, os conjuntos dos filsofos e o dos poetas vo estar dentro do conjunto dos responsveis.

Responsveis

Trabalhadores

Poetas Filsofos

Observe, no desenho acima, que os trs conjuntos (trabalhadores, filsofos e poetas) esto dentro do conjunto dos responsveis. Desenhamos sem interseco entre eles. Como a questo no afirma sobre a relao entre estes trs conjuntos, ento o desenho acima uma das situaes possveis, mas claro que existem outras situaes, como por exemplo, uma interseco entre os trs. Na segunda afirmao, quando se diz que Todo artista, se no for filsofo, ou trabalhador ou poeta, pelo raciocnio lgico, isto o mesmo que afirmar: Todo artista ou filsofo ou trabalhador ou poeta. Permanece o mesmo sentido! Desta forma, o conjunto dos artistas ou est dentro do conjunto dos filsofos ou est dentro do conjunto dos trabalhadores ou dentro do conjunto dos poetas.

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO Responsveis

23

Trabalhadores Artistas

Filsofos
Artistas

Poetas
Artistas

O prximo passo analisar cada uma das alternativas a fim de encontrar a resposta correta. Lembrando que a resposta correta aquela que verdadeira para qualquer situao desenhada para os conjuntos. Aps estas consideraes, conclumos facilmente que a alternativa correta s pode ser a C.

Resposta: alternativa C.

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

24

Dever de Casa 01. (AFCE TCU 99 ESAF) Se verdade que "Alguns escritores so poetas" e que "Nenhum msico poeta", ento, tambm necessariamente verdade que a) nenhum msico escritor b) algum escritor msico c) algum msico escritor d) algum escritor no msico e) nenhum escritor msico 02. (MPOG 2002 ESAF) Na formatura de Hlcio, todos os que foram solenidade de colao de grau estiveram, antes, no casamento de Hlio. Como nem todos os amigos de Hlcio estiveram no casamento de Hlio, conclui-se que, dos amigos de Hlcio: a) todos foram solenidade de colao de grau de Hlcio e alguns no foram ao casamento de Hlio. b) pelo menos um no foi solenidade de colao de grau de Hlcio. c) alguns foram solenidade de colao de grau de Hlcio, mas no foram ao casamento de Hlio. d) alguns foram solenidade de colao de grau de Hlcio e nenhum foi ao casamento de Hlio. e) todos foram solenidade de colao de grau de Hlcio e nenhum foi ao casamento de Hlio. 03. (AFC-STN 2000 ESAF) Uma escola de arte oferece aulas de canto, dana, teatro, violo e piano. Todos os professores de canto so, tambm, professores de dana, mas nenhum professor de dana professor de teatro. Todos os professores de violo so, tambm, professores de piano, e alguns professores de piano so, tambm, professores de teatro. Sabe-se que nenhum professor de piano professor de dana, e como as aulas de piano, violo e teatro no tm nenhum professor em comum, ento: a) nenhum professor de violo professor de canto b) pelo menos um professor de violo professor de teatro c) pelo menos um professor de canto professor de teatro d) todos os professores de piano so professores de canto e) todos os professores de piano so professores de violo 04. (MPOG 2002 ESAF) Em um grupo de amigas, todas as meninas loiras so, tambm, altas e magras, mas nenhuma menina alta e magra tem olhos azuis. Todas as meninas alegres possuem cabelos crespos, e algumas meninas de cabelos crespos tm tambm olhos azuis. Como nenhuma menina de cabelos crespos alta e magra, e como neste grupo de amigas no existe nenhuma menina que tenha cabelos crespos, olhos azuis e seja alegre, ento: a) pelo menos uma menina alegre tem olhos azuis. b) pelo menos uma menina loira tem olhos azuis. www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO c) todas as meninas que possuem cabelos crespos so loiras. d) todas as meninas de cabelos crespos so alegres. e) nenhuma menina alegre loira.

25

05. (SERPRO 2001 ESAF) Todos os alunos de matemtica so, tambm, alunos de ingls, mas nenhum aluno de ingls aluno de histria. Todos os alunos de portugus so tambm alunos de informtica, e alguns alunos de informtica so tambm alunos de histria. Como nenhum aluno de informtica aluno de ingls, e como nenhum aluno de portugus aluno de histria, ento: a) pelo menos um aluno de portugus aluno de ingls. b) pelo menos um aluno de matemtica aluno de histria. c) nenhum aluno de portugus aluno de matemtica. d) todos os alunos de informtica so alunos de matemtica. e) todos os alunos de informtica so alunos de portugus. 06. (SERPRO 2001 ESAF) Todas as amigas de Aninha que foram sua festa de aniversrio estiveram, antes, na festa de aniversrio de Betinha. Como nem todas amigas de Aninha estiveram na festa de aniversrio de Betinha, conclui-se que, das amigas de Aninha, a) todas foram festa de Aninha e algumas no foram festa de Betinha. b) pelo menos uma no foi festa de Aninha. c) todas foram festa de Aninha e nenhuma foi festa de Betinha. d) algumas foram festa de Aninha mas no foram festa de Betinha. e) algumas foram festa de Aninha e nenhuma foi festa de Betinha.

Gabarito: 01. d

02. b

03. a

04. e

05. c

06. b

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos