LGICA FORMAL Professor Nelson Carnaval

Proposio
Chama-se proposio toda sentena declarativa que pode ser classificada em verdadeira ou falsa, mas no as duas. Letras so usualmente utilizadas para denotar proposies. As letras convencionais para esse propsito so p,q,r,s,... . O valor lgico de uma proposio verdadeira denotado por V e o de uma proposio falsa representado por F. So exemplos de proposies:

As trs leis do pensamento

A lgica formal ou aristotlica se baseia em trs princpios fundamentais, chamados leis do pensamento. 1) Se qualquer proposio verdadeira, ento ela verdadeira. (Princpio da identidade) 2) Nenhuma proposio pode ser verdadeira e falsa, ao mesmo tempo, sob uma mesma condio. (Princpio da no-contradio)

p : O Brasil exporta minrios. q : Mrcia no foi ao shopping.

r : O nmero 1 primo. s: zero um nmero par. No so proposies: 1. 2. 3. 4. 5. Que dia hoje? Esta frase falsa. x + 10 = 25 Ele jogador de futebol. Que Deus lhe ajude.

3) Uma proposio ou verdadeira ou falsa. (Princpio do terceiro excludo)

Proposio composta
Denomina-se proposio composta a proposio formada (ou conectada) por duas ou mais proposies simples. Ao fazermos uso da linguagem combinamos idias simples atravs de conectivos como e, ou, se..., ento, se, e somente se obtendo, ento, proposies compostas. O valor lgico de uma proposio composta totalmente determinado pelos valores lgicos das proposies simples que a constituem e pela forma como elas esto ligadas atravs do conectivo. Exemplos: 1) Joo alto e Alberto gordo. 2) A governanta mentiu ou o cozinheiro culpado. 3) Se Scrates homem, ento ele mortal. 4) Um nmero natural par se e somente se no for mpar.

As sentenas optativas, interrogativas, exclamativas e imperativas no so consideradas proposies. Tambm no so proposies as chamadas sentenas abertas ou funes proposicionais, como 3 e 4. Ao atribuirmos um valor para a varivel, a sentena aberta se transforma em proposio. Sendo assim, so proposies as sentenas: 7 + 10 = 25 Lcio jogador de futebol. A sentena Esta frase falsa no uma proposio porque impossvel definirmos se ela verdadeira ou falsa. Se dissermos que ela verdadeira, ento ela ser falsa. E ao contrrio, se dissermos que ela falsa, ento ela ser verdadeira.

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 1

Tabela-verdade
muito importante a organizao da valorao das proposies em uma tabela que chamada tabela-verdade. O nmero de linhas da tabela depende da quantidade das proposies iniciais. Se houver uma proposio, existiro duas linhas (V e F); se houver duas proposies, existiro quatro linhas (VV, VF, FV, FF); se houver trs proposies, existiro oito n linhas; se houver n proposies, existiro 2 linhas.

Conectivo ou
Quando duas proposies simples so ligadas pelo conectivo ou, a proposio composta resultante chamada disjuno das proposies simples iniciais. A proposio p ou q representada simbolicamente por p q

Tabela-verdade:

Conectivo e
Quando duas proposies simples so ligadas pelo conectivo e, a proposio composta chamada conjuno das proposies simples iniciais. A proposio composta p e q representada simbolicamente por p q Tabela-verdade: p V V F F Concluso: A proposio p q s verdadeira se as proposies p e q forem verdadeiras. Exemplos: (V) A Terra gira em torno do Sol e 3 mpar. (F) 2 primo e 13 composto. q V F V F p V F F F q Concluso: A proposio p q s falsa se as proposies p e q forem falsas. Exemplos: (V) 2+4 = 7 ou 3+5 = 8 (F) 4 mpar e 1 primo. p V V F F q V F V F p V V V F q

Modificador no
O operador no utilizado para formar a negao de uma proposio. A negao de uma proposio p representada por ~ p, que verdadeira quando p falsa e falsa quando p verdadeira. A negao de uma proposio pode tambm ser feita utilizando expresses como falso dizer que ,no verdade que, etc. Assim, a negao da proposio O gato mia, pode ser O gato no mia, No verdade que o gato mia ou falso dizer que o gato mia. Tabela-verdade: p V F ~p F V Pgina 2

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Conectivo se..., ento

As sentenas que tm a forma se p, ento q, so chamadas de proposies condicionais e representadas simbolicamente por p q. Tabela-verdade: p V V F F Concluso : A proposio composta p q s falsa se p verdadeira e q falsa. Exemplos: (V) Se Macei a capital de Sergipe, ento Belm a capital do Piau. (F) Se 2 par e primo, ento 3 mpar e composto. q V F V F p V F V V q

Tautologia, contradio e contingncia

Tautologia a proposio composta que sempre verdadeira. Contradio a proposio composta que sempre falsa. Contingncia a proposio composta que pode ser verdadeira ou falsa.

RESUMO DAS REGRAS DOS QUATRO CONECTIVOS

PROPOSIO PQ PvQ PQ PQ CONDIO PARA SER VERDADEIRA VV S pode ser V V FF No pode ter FF VF No pode ter VF VF/FV No pode V F Nem FV

Conectivo se, e somente se

As sentenas que tm a forma p se, e somente se, q so chamadas de proposies bicondicionais e so representadas por p q. Tabela-verdade: p V V F F Concluso: A proposio composta p q s falsa se s uma das proposies p e q for falsa. Exemplos: (V) A Terra quadrada se e somente se Pel no foi um jogador de futebol. (F) 4+5 = 9 se e somente se Plato foi um grande filsofo q V F V F p V F F V q

Exerccios com tabela-verdade

01. Construir a tabela-verdade de cada uma das seguintes proposies analisando o caso de contradio, contingncia e tautologia. a) p b) (p c) (p ~(p q) q) q) ( ~p (p ~q) ~q)

02. Considerando que R e T so proposies lgicas simples, julgue os itens a seguir, acerca da construo de tabelas-verdade. 2.1)

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 3

2.2)

QUESTES DE CONCURSO
01. Surfo ou estudo. Fumo ou no surfo. Velejo ou no estudo. Ora, no velejo. Assim, a) estudo e fumo. b) no fumo e surfo. c) no velejo e no fumo. d) estudo e no fumo. e) fumo e surfo.

03. Se P ( p, q, r ) = p

(q

r ) ento P 02. Ana prima de Bia, ou Carlos filho de Pedro. Se Jorge irmo de Maria, ento Breno no neto de Beto. Se Carlos filho de Pedro, ento Breno neto de Beto. Ora, Jorge irmo de Maria. Logo: a) Carlos filho de Pedro ou Breno neto de Beto b) Breno neto de Beto e Ana prima de Bia. c) Ana no prima de Bia e Carlos filho de Pedro. d) Jorge irmo de Maria e Breno neto de Beto. e) Ana prima de Bia e Carlos no filho de Pedro.

(VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF) igual, respectivamente, a: a) VVVFFFFF b) VFVVVVFV c) VFVFVFVF d) VVFFVVFF e) FFFFVVFF 04. Considere a seguinte proposio na eleio para a prefeitura, o candidato A ser eleito ou no ser eleito. Do ponto de vista lgico, a afirmao da proposio caracteriza

03. a) b) c) d) e) um silogismo uma tautologia uma equivalncia uma contingncia uma contradio a) b) c) d) e)

Se M = 2x + 3y, ento M = 4p + 3r. Se M = 4p + 3r, ento M = 2w 3r. Por outro lado, M = 2x + 3y, ou M = 0. Se M = 0, ento M+H = 1. Ora, M+H 1. Logo: 2w 3r = 0 4p + 3r 2w 3r M 2x + 3y 2x + 3y 2w 3r M = 2w 3r

05. Chama-se tautologia a toda proposio que sempre verdadeira, independente da verdade dos termos que a compem. Um exemplo de tautologia : a) Se Joo alto, ento Joo alto ou Guilherme gordo. 04. b) Se Joo alto, ento Joo alto e Guilherme gordo. Se Joo alto ou Guilherme gordo, ento Guilherme gordo. Se Joo alto ou Guilherme gordo, ento Joo alto e Guilherme gordo. Se Joo alto ou no alto, ento Guilherme gordo.

c)

d)

Ricardo, Rogrio e Renato so irmos. Um deles mdico, outro professor, e o outro msico. Sabese 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,

e)

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 4

a) professor, mdico, msico. b) mdico, professor, msico. c) professor, msico, mdico. d) msico, mdico, professor. e) mdico, msico, professor.

a) loira, ruiva, morena. b) ruiva, morena, loira. c) ruiva, loira, morena. d) loira, morena, ruiva. e) morena, loira, ruiva.

08.

05.

Homero no honesto, ou Jlio justo. Homero honesto, ou Jlio justo, ou Beto bondoso. Beto bondoso, ou Jlio no justo. Beto no bondoso, ou Homero honesto. Logo, a) Beto bondoso, Homero honesto, Jlio no justo. b) Beto no bondoso, Homero honesto, Jlio no justo. c) Beto bondoso, Homero honesto, Jlio justo. d) Beto no bondoso, Homero no honesto, Jlio no justo. e) Beto no bondoso, Homero honesto, Jlio justo.

Se Pedro inocente, ento Lauro inocente. Se Roberto inocente, ento Snia inocente. Ora, Pedro culpado ou Snia culpada. Segue-se logicamente, portanto, que:

a) b) c) d)

Lauro culpado e Snia culpada. Snia culpada e Roberto inocente. Pedro culpado ou Roberto culpado. Se Roberto culpado, ento Lauro culpado. e) Roberto inocente se e somente se Lauro inocente.

09.

06.

Ana, Beatriz e Carla desempenham diferentes papis em uma pea de teatro. Uma delas faz o papel de bruxa, a outra o de fada, e a outra o de princesa. Sabe-se que: ou Ana bruxa, ou Carla bruxa; ou Ana fada, ou Beatriz princesa; ou Carla princesa, ou Beatriz princesa; ou Beatriz fada, ou Carla fada. Com essas informaes conclui-se que os papis desempenhados por Ana e Carla so, respectivamente:

O reino est sendo atormentado por um terrvel drago. O mago diz ao rei: O drago desaparecer amanh se e somente se Aladim beijou a princesa ontem. O rei, tentando compreender melhor as palavras do mago, faz as seguintes perguntas ao lgico da corte: 1) Se a afirmao do mago falsa e se o drago desaparecer amanh, posso concluir corretamente que Aladim beijou a princesa ontem? 2) Se a afirmao do mago verdadeira e se o drago desaparecer amanh, posso concluir corretamente que Aladim beijou a princesa ontem? Se a afirmao do mago falsa e se Aladim no beijou a princesa ontem, posso concluir corretamente que o drago desaparecer amanh?

a) bruxa e fada b) bruxa e princesa c) fada e bruxa d) princesa e fada e) fada e princesa 3) 07. Ana possui tem trs irms: uma gremista, uma corintiana e outra fluminense. Uma das irms loira, a outra morena, e a outra ruiva. Sabese que: 1) ou a gremista loira, ou a fluminense loira; 2) ou a gremista morena, ou a corintiana ruiva; 3) ou a fluminense ruiva, ou a corintiana ruiva; 4) ou a corintiana morena, ou a fluminense morena. Portanto, a gremista, a corintiana e a fluminense, so, respectivamente,

O lgico da corte, ento, diz acertadamente que as respostas logicamente corretas para as trs perguntas so, respectivamente: a) No, sim, no b) No, no, sim Pgina 5

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

c) Sim, sim, sim d) No, sim, sim

Exerccios sobre Equivalncia

01. Um economista deu a seguinte declarao em uma entrevista: "Se os juros bancrios so altos, ento a inflao baixa". Uma proposio logicamente equivalente do economista : a) se a inflao no baixa, ento os juros bancrios no so altos. b) se a inflao alta, ento os juros bancrios so altos. c) se os juros bancrios no so altos, ento a inflao no baixa. d) os juros bancrios so baixos e a inflao baixa. e) ou os juros bancrios, ou a inflao baixa.
02. X e Y so nmeros tais que: Se X 4, ento Y>7. Sendo assim: a) b) c) d) e) Se Y 7, ento X > 4. Se Y > 7, ento X 4. Se X 4, ento Y < 7. Se Y < 7, ento X 4. Se X < 4, ento Y 7.

e) Sim, no, sim 10. Quando no vejo Lucia, no passeio ou fico deprimido. Quando chove, no passeio e fico deprimido. Quando no faz calor e passeio, no vejo Lucia. Quando no chove e estou deprimido, no passeio. Hoje, passeio. Portanto, hoje: a) vejo Lucia, e no estou deprimido e no chove, e faz calor. b) no vejo Lucia, e estou deprimido, e chove, e faz calor. c) no vejo Lucia, e estou deprimido, e no chove , e no faz calor. d) vejo Lucia, e no estou deprimido, e chove, e faz calor. e) vejo Lucia, e estou deprimido, e no chove, e faz calor.

EQUIVALNCIA
Partindo das proposies p qep q, podemos construir o seguinte resumo para as proposies equivalentes notveis. ~q ~p Negue o antecedente e o conseqente, troque a ordem e mantenha o conectivo se .....,ento Negue o antecedente, afirme o consequente e troque o conectivo por ou p condio suficiente para q q condio necessria para p p a condio necessria e suficiente para q. q a condio necessria e suficiente para p

~pvq

03. Considere a seguinte proposio: "Se uma pessoa no faz cursos de aperfeioamento na sua rea de trabalho, ento ela no melhora o seu desempenho profissional. Uma proposio logicamente equivalente proposio dada : a) falso que, uma pessoa no melhora o seu desempenho profissional ou faz cursos de aperfeioamento na sua rea de trabalho. b) No verdade que, uma pessoa no faz cursos de aperfeioamento profissional e no melhora o seu desempenho profissional. c) Se uma pessoa no melhora seu desempenho profissional, ento ela no faz cursos de aperfeioamento na sua rea de trabalho. d) Uma pessoa melhora o seu desempenho profissional ou no faz cursos de aperfeioamento na sua rea de trabalho. e) Uma pessoa no melhora seu desempenho profissional ou faz cursos de aperfeioamento na sua rea de trabalho. 04. Se Marcos no estuda, Joo no passeia. Logo:

p p

q q

Obs: Existe uma equivalncia muito til na resoluao de problemas de concurso. Ela se denomina modus tollens, mostrada na tabela acima. Esta equivalncia facilmente demonstrada atravs da tabela-verdade e a mais cobrada nos concursos. p q ~q ~p

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 6

a) Marcos estudar concluso necessria para Joo no passear; b) Marcos estudar condio suficiente para Joo passear; c) Marcos no estudar condio necessria para Joo no passear; d) Marcos no estudar condio suficiente para Joo passear; e) Marcos estudar condio necessria para Joo passear.

07. Dizer que Ana alegre ou Beatriz feliz , do ponto de vista lgico, o mesmo que dizer: a) se Ana alegre, ento Beatriz feliz; b) se Beatriz feliz, ento Ana alegre; c) se Ana alegre, ento Beatriz feliz; d) se Ana alegre, ento Beatriz no feliz; e) se Ana no alegre, ento Beatriz feliz. 08. Dizer que Andr artista ou Bernardo no engenheiro logicamente equivalente a dizer que: a) Andr artista se e somente se Bernardo no engenheiro. b) Se Andr artista, ento Bernardo no engenheiro. c) Se Andr artista, ento Bernardo engenheiro d) Se Bernardo engenheiro, ento Andr artista e) Andr no artista e Bernardo engenheiro 09. A sentena penso, logo existo logicamente equivalente a: a) b) c) d) e) Penso e existo. Nem penso, nem existo. No penso ou existo. Penso ou no existo. Existo, logo penso

05. Carlos no ir ao Canad condio necessria para Alexandre ir Alemanha. Helena no ir Holanda condio suficiente para Carlos ir ao Canad. Alexandre no ir Alemanha condio necessria para Carlos no ir ao Canad. Helena ir Holanda condio suficiente para Alexandre ir Alemanha. Portanto: a) Helena no vai Holanda, Carlos no vai ao Canad, Alexandre no vai Alemanha; b) Helena vai Holanda, Carlos vai ao Canad, Alexandre no vai Alemanha; c) Helena no vai Holanda, Carlos vai ao Canad, Alexandre no vai Alemanha; d) Helena vai Holanda, Carlos no vai ao Canad, Alexandre vai Alemanha; e) Helena vai Holanda, Carlos no vai ao Canad, Alexandre no vai Alemanha.

06. Sabe-se que Joo estar feliz condio necessria para Maria sorrir e condio suficiente para Daniela abraar Paulo. Sabe-se, tambm, que Daniela abraar Paulo condio necessria e suficiente para a Sandra abraar Srgio. Assim, quando Sandra no abraa Srgio: a) Joo est feliz, e Maria no sorri, e Daniela abraa Paulo. b) Joo no est feliz, e Maria sorri, e Daniela no abraa Paulo. c) Joo est feliz, e Maria sorri, e Daniela no abraa Paulo. d) Joo no est feliz, e Maria no sorri, e Daniela no abraa Paulo. e) Joo no est feliz, e Maria sorri, e Daniela abraa Paulo.

10. Sejam F e G duas proposies e ~F e ~G suas repectivas negaes. Marque a opo que equivale logicamente proposio composta: F se e somente G. a) b) c) d) e) F implica G e ~G implica F. F implica G e ~F implica ~G. Se F ento G e se ~F ento G. F implica G e ~G implica ~F. F se e somente se ~G.

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 7

NEGAO DAS PROPOSIES USUAIS

Afirmao P p q p q p q Afirmao p q Negao ~p ~p ~ q ~p ~ q p ~q Negao Negue as duas proposies e troque o conectivo epelo conectivo ou Negue as duas proposies e troque o conectivo ou pelo conectivo e Afirme o antecedente, troque o conectivo condicional pelo conectivo e e negue o conseqente.

Quantificadores
Para transformar uma sentena aberta em uma proposio, temos duas maneiras: 1) Atribuir um valor varivel 2) Quantificar a varivel Assim, a sentena x+5 = 9 no uma proposio, mas, Existe x, tal que x+5 = 9 uma proposio. Existem dois quantificadores: Quantificador existencial: Quantificador universal: qualquer que seja) (existe) (para todo,

Obs1.: Para negar que Todo elemento do conjunto A tem a propriedade P, basta afirmar que Existe um elemento de A que no tem a propriedade P. Exemplo: Proposio: Todos os advogados so honestos. Negao: Existe advogado que honesto. no

Obs: A negao de uma proposio composta cujo conectivo e ou ou feita com a utilizaao das leis de De Morgan: 1) ~ (p q) ~p ~q

2) ~ (p Exemplos:

q)

~p

~q

Obs2.: Para negar que Existe um elemento no conjunto A que tem a propriedade P, basta afirmar que Todos os elementos do conjunto A no tm a propriedade P. Exemplo: Proposio: Existe cobra listrada que no venenosa. Negao: Toda cobra listrada venenosa EM RESUMO: Afirmao Particular afirmativa (algum....) Universal negativa (nenhum....ou todo.....no) Universal afirmativa (todo.....) Particular negativa (algum....no) Negao Universal negativa (nenhum..ou todo...no...) Particular afirmativa (algum......) Particular negativa (algum...no) Universal afirmativa (todo...)

1. A governanta mentiu e o mordomo culpado.

Negao: A governanta no mentiu ou o mordomo no culpado

2. Mrcia carioca ou Marconi no paulista.

Negao: Mrcia Marconi paulista.

no carioca e

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 8

EXERCCIOS
01. Dizer que a afirmao todos os economistas so mdicos falsa, do ponto de vista lgico, equivale a dizer que a seguinte afirmao verdadeira: a) pelo menos um economista no mdico b) nenhum economista mdico c) nenhum mdico economista d) pelo menos um mdico no economista e) todos os no mdicos so no economistas. 02. Dizer que no verdade que Pedro pobre e Alberto alto, logicamente equivalente a dizer que verdade que: a) Pedro no pobre ou Alberto no alto. b) Pedro no pobre e Alberto no alto. c) Pedro pobre ou Alberto no alto. d) se Pedro no pobre, ento Alberto alto. e) se Pedro no pobre, ento Alberto no alto. 03. A negao da afirmao Me caso ou compro sorvete : a) me caso e no compro sorvete; b) no me caso ou no compro sorvete; c) no me caso e no compro sorvete; d) no me caso ou compro sorvete; e) se me casar, no compro sorvete. 04. A negao de x > 4 ou x < 2 : a) b) c) d) e) x < 4 e x > 2; x < 4 ou x > 2; x 4ex 2; x 4 ou x 2; se x 4, ento x < 2.

determinou a libertao de estelionatrio nem de um ladro ( ) certo ( ) errado

um

06. A negao de: Milo a capital da Itlia ou Paris a capital da Inglaterra : a) Milo no a capital da Itlia e Paris no a capital da Inglaterra. b) Paris no a capital da Inglaterra. c) Milo no a capital da Itlia ou Paris no a capital da Inglaterra. d) Milo no a capital da Itlia. e) Milo a capital da Itlia e Paris no a capital da Inglaterra.

07. A correta negao da proposio "todos os cargos deste concurso so de analista judicirio. : a) alguns cargos deste concurso so de analista judicirio. b) existem cargos deste concurso que no so de analista judicirio. c) existem cargos deste concurso que so de analista judicirio. d) nenhum dos cargos deste concurso no de analista judicirio. e) os cargos deste concurso so ou de analista, ou no judicirio.

08. A negao da frase Todos os homens dirigem bem : a) todos os homens dirigem mal. b) todas as mulheres dirigem bem. c) todas as mulheres dirigem mal. d) nenhum homem dirige bem. e) existe homem que dirige mal.

09. A negao da afirmao condicional se estiver chovendo, eu levo o guardachuva : a) se no estiver chovendo, eu levo guarda-chuva. b) No est chovendo e eu levo guarda-chuva. c) No est chovendo e eu no levo guarda-chuva. d) Se estiver chovendo, eu no levo guarda-chuva. e) Est chovendo e eu no levo guarda-chuva. o o o o o

05. A negao da proposio O juiz determinou a libertao de um estelionatrio e de um ladro. expressa na forma O juiz no

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 9

10. A negao da sentena se voc estudou Lgica ento voc acertar esta questo : a) se voc no acertar esta questo, ento no estudou lgica; b) voc no estudou lgica e acertar esta questo; c) se voc estudou lgica, ento no acertar esta questo; d) voc estudou lgica e no acertar esta questo; e) voc no estudou lgica e no acertar esta questo. 11. Considere a afirmao P: A ou B, onde A e B, por sua vez, so as seguintes afirmaes: A: Carlos dentista B: Se Enio economista, ento Juca arquiteto. Ora, sabe-se que a afirmao P falsa. Logo: a) Carlos no dentista; Enio no economista; Juca no arquiteto. b) Carlos no dentista; Enio economista; Juca no arquiteto. c) Carlos no dentista; Enio economista; Juca arquiteto. d) Carlos dentista; Enio no economista; Juca no arquiteto. e) Carlos dentista; Enio economista; Juca no arquiteto. 12. Qual a negao da proposio Alguma lmpada est acesa e todas as portas esto fechadas? a) Todas as lmpadas esto apagadas e alguma porta est aberta. b) Todas as lmpadas esto apagadas ou alguma porta est aberta. c) Alguma lmpada est apagada e nenhuma porta est aberta. d) Alguma lmpada est apagada ou nenhuma porta est aberta. e) Alguma lmpada est apagada e todas as portas esto abertas. 13. Considere as proposies: P: sanso forte e q: Dalila linda. A negao da proposio p q a) Se Dalila no linda, ento Sanso forte. b) Se Sanso no forte, ento Dalila no linda. c) No verdade que Sanso forte e Dalila linda. d) Sanso no forte ou Dalila linda. e) Sanso no forte e Dalila linda.

14. A negao da sentena "A Terra chata e a Lua um planeta." : a) Se a Terra chata, ento a Lua no um planeta. b) Se a Lua no um planeta, ento a Terra no chata. c) A Terra no chata e a Lua no um planeta. d) A Terra no chata ou a Lua um planeta. e) A Terra no chata se a Lua no um planeta.

15. Considere a afirmao: Pelo menos um ministro participar da reunio ou nenhuma deciso ser tomada. Para que essa afirmao seja FALSA a) suficiente que nenhum ministro tenha participado da reunio e duas decises tenham sido tomadas. b) suficiente que dois ministros tenham participado da reunio e alguma deciso tenha sido tomada. c) necessrio e suficiente que alguma deciso tenha sido tomada, independentemente da participao de ministros na reunio. d) necessrio que nenhum ministro tenha participado da reunio e duas decises tenham sido tomadas. e) necessrio que dois ministros tenham participado da reunio e nenhuma deciso tenha sido tomada.

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com) Pgina 10

d) algum fsico aposentado; e) algum fsico no aposentado. 04. Em uma pequena comunidade, sabese que nenhum filsofo rico e que alguns professores so ricos. Assim, pode-se afirmar, corretamente, que nesta comunidade: a) b) c) d) alguns filsofos so professores. alguns professores so filsofos nenhum filsofo professor alguns professores no so filsofos e) nenhum professor filsofo. 05. 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. 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

Diagramas lgicos
importante a representao atravs de diagramas de trs proposies bsicas: 1) Todo a b.

2) Algum a b.

3) Nenhum a b.

Exerccios
01. Em certo planeta, todos os Aleves so Bleves, todos os Cleves so Bleves, todos os Dleves so Aleves, e todos os Cleves so Dleves. Sobre os habitantes desse planeta, correto afirmar que a) Todos os Dleves so Bleves e so Cleves. b) Todos os Bleves so Cleves e so Dleves. c) Todos os Aleves so Cleves e so Dleves. d) Todos os Cleves so Aleves e so Bleves. e) Todos os Aleves so Dleves e alguns Aleves podem no ser Cleves. 02. Considerando-se que todos os virginianos so organizados e que Aurlio organizado, temos que: a) b) c) d) e) Aurlio no virginiano. Aurlio no pode ser virginiano. Aurlio virginiano. Aurlio pode ser virginiano. Aurlio possui ascendente em virgem.

03. Em uma cidade, verdade que algum fsico desportista e que nenhum aposentado desportista. Portanto, nessa cidade: a) nenhum aposentado fsico; b) nenhum fsico aposentado; c) algum aposentado no fsico;

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com) Pgina 11

e) todos os professores de piano so professores de violo 07. Observe a sentena: Todo tcnico de informtica entende de computador. Algumas pessoas que estudam em uma faculdade no entendem de computador. A partir da sentena correto concluir que: a) As pessoas que no estudam em uma faculdade entendem de computador. b) Alguns tcnicos de informtica que estudam em uma faculdade no entendem de computador. c) Nenhum tcnico de informtica estuda em alguma faculdade. d) Todos os tcnicos de informtica que estudam em uma faculdade entendem de computador. 08. Avalie as afirmativas a seguir: I Se todo X Y e todo Y Z ento todo X Z. II Se nem todo A B ento existe A que no B. III Se todo A B ento todo B A. Est correto o que se afirma em: a) I, apenas; b) I e II, apenas; c) I e III, apenas; d) II e III, apenas; e) I,II e III. 09. Todo A B, e todo C no B, portanto: a) algum A C b) algum B C c) nenhum A C d) nenhum B A e) nenhum A B 10. Se Alguns poetas so nefelibatas e Todos os nefelibatas so melanclicos, ento, necessariamente: a) b) c) d) e) Todo melanclico nefelibata. Todo nefelibata poeta. Algum poeta melanclico. Nenhum melanclico poeta. Nenhum poeta no melanclico. 03. Numa sala de 30 alunos, 17 foram aprovados em Matemtica, 10 em Histria, 9 em Desenho, 7 em Matemtica e em Histria, 5 em Matemtica e Desenho, 3 em Histria e Desenho e 2 em Matemtica, Histria e Desenho. Sejam: v o nmero de aprovados em pelo menos uma das trs disciplinas; w o nmero de aprovados em pelo menos duas das trs disciplinas; x o nmero de aprovados em uma e uma s das trs disciplinas;

Cardinalidade de um conjunto
01. Em um grupo de 54 pessoas, 20 praticam futebol, 15 praticam natao, 12 praticam vlei, 8 praticam futebol e natao, 6 praticam futebol e vlei, 2 praticam natao e vlei e 1 pratica todos os esses trs esportes. O nmero de pessoas que no pratica nenhum esporte : a) b) c) d) e) 22 23 24 25 26

02. Uma escola de uma cidade do interior fez uma excurso com alguns de seus alunos cidade de So Paulo para visitar o zoolgico. Desses alunos: * 18 j estiveram antes em So Paulo, mas nunca haviam ido a um zoolgico; * 28 j tinham ido a algum zoolgico, mas nunca haviam ido a So Paulo; * ao todo, 44 j haviam ido antes a um zoolgico; * ao todo, 40 nunca estiveram antes em So Paulo. Pode-se concluir que a escola levou, nessa excurso: a) 84 alunos; b) 80 alunos; c) 74 alunos; d) 76 alunos; e) 66 alunos.

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com) Pgina 12

y o nmero de aprovados em duas e somente duas das trs disciplinas; z o nmero dos que no foram aprovados em qualquer uma das trs disciplinas.

Argumento
Os valores de v, w, x, y, z so respectivamente: a) b) c) d) e) 30, 17, 9, 7, 2; 30, 12, 23, 3, 2; 23, 12, 11, 9, 7; 23, 11, 12, 9, 7; 23, 11, 9, 7, 2. Argumentar apresentar uma proposio como sendo uma conseqncia de uma ou mais proposies. Um argumento constitudo pelas proposies p1, p2,..., pn, chamadas premissas, nas quais nos baseamos para garantir a proposio c, chamada concluso. Um argumento no uma proposio que devemos classificar como verdadeira ou falsa; ele estabelece uma relao entre as premissas e a concluso, garantindo a concluso a partir das premissas. Dizemos que um argumento vlido quando as premissas esto de tal modo relacionadas com a concluso que no possvel ter a concluso falsa se as premissas forem verdadeiras. O argumento que no vlido chamado sofisma ou falcia. Se um argumento constitudo de duas premissas e uma concluso, denominado silogismo. Exemplos: 05. Uma escola de idiomas oferece apenas trs cursos: um curso de alemo, um curso de francs e um curso de ingls. A escola possui 200 alunos e cada aluno pode matricular-se em quantos cursos desejar. No corrente ano, 50% dos alunos esto matriculados no curso de alemo, 30% no curso de francs e 40%, no de ingls. Sabendo-se que 5% dos alunos esto matriculados em todos os trs cursos, o nmero de alunos matriculados em mais de um curso igual a: a) 30 b) 10 c) 15 d) 5 e) 20 01. Todos os gatos so mamferos. Todos os mamferos tm pulmo. Portanto, todos os gatos tm pulmo. vlido

04. Em uma pesquisa sobre o consumo de trs produtos A, B e C se observou que 22 pessoas consomem A; 29 B; 23 C; 15 A e B; 12 A e C; 13 B e C; 8 A, B e C e 40 nenhum dos trs. a) Quantas pessoas foram consultadas? b) Quantas pessoas consomem s A? c) Quantas pessoas consomem A ou B? d) Quantas pessoas no consomem A? e) Quantas pessoas no consomem A ou no consomem B?

02. Todos os cachorros miam. Os gatos no miam. Logo, cachorros no so gatos. vlido

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com) Pgina 13