RACIOCNIO LGICO

TEORIA

1. SENTENA OU PROPOSIO..............................................................................................3 2. MODIFICADOR....................................................................................................................... 3 3. CONECTIVOS......................................................................................................................... 4 3.1. O CONECTIVO E ( /\ )........................................................................................................4 3.2. O CONECTIVO OU ( \/ ).....................................................................................................4 3.3. O CONECTIVO SE... ENTAO ( )....................................................................................5 3.4. O CONECTIVO SE E SOMENTE SE ( )........................................................................5

4. TAUTO!O"IA.......................................................................................................................... # 5. CONTRADICO...................................................................................................................... # #. E$UIVA!%NCIA...................................................................................................................... # &. PROPOSI'ES ASSOCIADAS A UMA CONDICIONA!........................................................& (. FORMA NORMA! DAS PROPOSI'ES................................................................................& ). NE"AO DE PROPOSI'ES..............................................................................................( &. $UANTIFICADORES..............................................................................................................) &. 1. DEFINIO......................................................................................................................... ) &. 2. NE"AO DE SENTENAS $UANTIFICADAS UNIVERSA!MENTE...............................) (. E*ERC+CIOS........................................................................................................................... )

1. SENTENA OU PROPOSIO
Sentena ou proposio e um conjunto de palavras ou smbolos que exprimem uma idia. Exemplos: a) O elefante um mamfero. b) s !rvores falam. c) "a infinitos n#meros primos. $osso interesse ir! se concentrar nas proposi%es que podem assumir apenas dois valores l&'icos: verdadeiro ou falso.

2. MODIFICADOR (ma proposio pode ser formada a partir de outra) pelo uso do modificador *no+. o acrescentar o modificador *no+ a uma proposio obtemos a sua ne'ao. ,ndicando uma proposio por p) sua ne'ao ser! representada por ~p) que se l-: *no p+. Exemplos: a) p: ,sabel tem ol.os a/uis. 0p: ,sabel no tem ol.os a/uis. b) q: dois um n#mero par. 0q: dois no um n#mero par.

Se uma proposio verdadeira) sua ne'ao ser! falsa. Se uma proposio falsa) sua ne'ao ser! verdadeira. 1emos) ento) a se'uinte tabela 2 verdade: p 3 4 Exemplo: ~p 4 3

a) p: o 'ato um animal 53) 0p: o 'ato no um animal 54) b) q: tr-s no um n#mero mpar 54) 0q: tr-s um n#mero mpar 53) Obs:: 050p) 6 p

3. CONECTIVOS 7onectivos so palavras usadas para formar uma proposio a partir de outra. Os principais conectivos so: *e+) *ou+) *se... ento+) *se e somente se+.
7onectivo *e+: 7onectivo *o%+: 7onectivo *se...en!o+: 7onectivo *se e somen!e se+. p => q p >= q p-q pAq conjuno disjuno condicional ou subcondicional bicondicional ou bijunco.

p '( ): Ser! .erdadeira quando ambas forem verdadeiras. p (' ): Ser! fa$sa quando ambas forem falsas. p - ): Somente ser! fa$sa quando apenas ) for falsa. p / ): Ser! .erdadeira quando ambas forem verdadeiras. Ser! fa$sa quando pelo menos uma for falsa.

Exemplos de proposi%es formadas a partir de conectivos: a) 8e/ um n#mero par e futebol um esporte. b) e .oje 8omin'o en!o aman. quarta9feira. "roposi#o simp$es o% a!&mica 9 no tem nen.um conectivo. Ex.: "oje feriado. Ex.: a laranja uma fruta ou os le%es so mansos. 3.1. O CONECTIVO E ( /\ ) Sejam: ;: a !'ua do mar sal'ada. <: todo p!ssaro tem quatro pernas.

"roposi#o compos!a ou mo$ec%$ar 9 duas ou mais proposi%es. 1em ao menos : conectivo.

proposio p '( ) ser!: *a !'ua do mar sal'ada e todo p!ssaro tem quatro pernas+. proposio p '( ) da9se o nome de conjuno. conjuno p => q somente ser! verdadeira quando p e q forem verdadeiras. Tabe$a*+erdade: p 3 3 4 4 ) 3 4 3 3 p '( ) 3 4 4 4

3.2. O CONECTIVO OU ( \/ ) Sejam: p: ?aquel 'osta de praia. ): @os pintor. proposio p >= q ser!: *?aquel 'osta de praia o% @os pintor+. proposio p >= q da9se o nome de dis,%n#o. 4

disjuno p >= q somente ser! falsa quando ambas as proposi%es forem falsas. Tabe$a*+erdade: p 3 3 4 4 ) 3 4 3 4 p (' ) 3 3 3 4

3.3. O CONECTIVO SE... ENTAO ( ) Sejam: p: .oje S!bado. q: aman. irei B praia. proposio p C q ser!: *se .oje S!bado ento aman. irei B praia+. proposio p C q denominada condiciona$ ou s%bcondiciona$. proposio p - q somente ser! falsa quando apenas q for falsa. Tabe$a*+erdade: p + 3 4 4 ) + 4 3 4 p-) + 4 + +

3.4. O CONECTIVO SE E SOMENTE SE ( ) Sejam: p: a lua um satlite. q: a 1erra um planeta. proposio p A q ser!: *a lua um satlite se e somente se a 1erra um planeta+. proposio p A q recebe o nome de bicondiciona$ ou bi,%nco. proposio p A q ser! .erdadeira quando ambas forem verdadeiras. proposio p A q ser! fa$sa quando pelo menos uma for falsa. Tabe$a*+erdade: p 3 3 4 4 ) 3 4 3 4 p/) 3 4 4 3

4. TAUTO O!IA 8enomina9se tautolo'ia a proposio que sempre verdadeira) independentemente dos valores l&'icos das proposi%es simples que a inte'ram. Exemplo: @os di/: *.oje 8omin'o o% .oje no 8omin'o+ Observe que @os esta sempre di/endo a verdade) no importa que dia seja .oje. Em nosso exemplo) temos a se'uinte tautolo'ia: p >= 5 0 p)) cuja tabela9verdade : p 3 4 ~p 4 3 p (' 0~p1 3 3

". CONTRADICO 8enomina9se contradio a proposio que sempre falsa) independentemente dos valores l&'icos das proposi%es simples que a inte'ram. Exemplo: *"oje 8omin'o e .oje no 8omin'o+. Em nosso exemplo) temos a se'uinte contradio: p => 5 0 p )) cuja tabela9verdade : p 3 4 ~p 4 3 p '( 0~p1 4 4

#. E$UIVA %NCIA (ma proposio p equivalente a uma proposio q se as tabelas verdade dessas duas proposi%es so id-nticas. $otao: p A q. Exemplo: condicional p - ) e a disjuno ~p . ) so equivalentes como exp%e sua tabela verdade: p 3 3 4 4 ) 3 4 3 4 p-p 3 4 3 3 ~p 4 4 3 3 ~p . ) 3 4 3 3

Equival-ncia: p - ) 2334 ~p . )

&. PROPOSI'ES ASSOCIADAS A UMA CONDICIONA ;roposio rec5proca de ;roposio con!r6ria de p C q: 05q C p) p C q: 05p C q) e)%i.a$7ncia ~p - ~) 3 3 4 3 ~) - ~p 3 4 3 3
454 6 C4078-942+7+,Se ?odri'o mentiu) ento ele culpado. Lo;o: Se ?odri'o no culpado) ento ele no mentiu. :D) inverte ED) ne'ativo 891 inverte e ne'ativo

;roposio con!raposi!i.a de p C q: 05q C p) p 3 3 4 4 E)%i.a$7ncias: p C q F66G 0q C 0p q C p F66G 0p C 0q O% se,a: ) 3 4 3 4 p-p 3 4 3 3 )-p 3 3 4 3

condicional 5p C q) equivalente a sua contrapositiva 50q C 0p) eH recproca da condicional 5q C p) equivalente B contr!ria da condicional 50p C 0q) ssim) teramos: Exemplo: p: a lua um satlite. ): a 1erra um planeta. e a lua um satlite en!o a 1erra um planeta. : rec5proca a: e a terra no um planeta en!o a lua no um satlite. E: e a 1erra um planeta en!o a lua um satlite. : rec5proca a: e a lua no um satlite en!o a 1erra no um planeta.
E)*+,-./01+-23 p '( )) F66G 00) '( p1 p (' )) F66G 00) (' p1 p C ) F66G 00) C p1 p A ) F66G 00) / p1 T%do ne;a!i.o T%do in.er!e E)*+,-./01+-23 p C ) F66G 00) C p1 ) C p F66G 00p C )1

(. FORMA NORMA DAS PROPOSI'ES

(ma proposio est! na forma normal 54$) quando contm apenas os conectivos 0) I e v. 1oda proposio pode ser levada para a forma normal equivalente eliminando os conectivos C e A. Exemplos: p C q 6 0p v q p A q 6 50p v q) I 5p v 0q) ;ode9se comprovar esta afirmao de i'ualdade acima construindo as respectivas tabelas verdade.

&

:. NE!AO DE PROPOSI'ES Este assunto de ne'ao de preposi%es. $o confundir com contrapositiva 5equivalente). C%idadoJ Obser.e: 11 r: p'() en!o ~r: ~0p'()1 3 0~p1('0~)1 p 3 3 4 4 Exemplo: q: ir ao cinemaH p'(): usar roupa branca e ir ao cinema. ~0p'()1 3 0~p1('0~)1: no usar roupa branca o% no ir ao cinema.
50p('~)1 50p'(~)1 5p'(0q) >50p '()(' p'(00q

) 3 4 3 4

p '( ) 3 4 4 4

~p 4 4 3 3

~) 4 3 4 3

0~p1('0~)1 4 3 3 3

p: usar roupa brancaH

<1 r: p(') en!o ~r: ~0p(')1 3 0~p1'(0~)1 p 3 3 4 4 Exemplo: q: ir ao cinemaH p('): usar roupa branca o% ir ao cinema. ~0p(')1 3 0~p1'(0~)1: no usar roupa branca e no ir ao cinema. ) p0q) (' ) 50p)('0 3 3 50p)'(00q) 4 3 5p)'(00q) 3 >50p)=>q?('>p=> 3 50q) ? 4 4 ~p 4 4 3 3 ~) 4 3 4 3 0~p1'(0~)1 4 4 4 3

p: usar roupa brancaH

0p'()1 ~0p'()1 6 50p)('00q) 0p(')1 00p(')1 6 50p)'(00q) 0p-)1 00p-)1 6 5p)'(00q) 0p/)1 00p/)1 6 >50p)=>q?('>p=>50q)?
0p'()1 (sar roupra branca e ir ao cinema ~0p'()1 $o usar roupa branca o% no ir ao cinema

81 r: p-) en!o ~r: ~0p-)1 3 p'(0~)1 p 3 3 4 4 Exemplo: q: ir ao cinemaH p-): Se usar roupa branca en!o ir ao cinema. ~0p-)1 3 0p1'(0~)1: usar roupa branca e no ir ao cinema. =1 r: p/) en!o ~r: >0~p1'()?('>p'(0~)1? ) 3 4 3 4 p (' ) 3 4 3 3 p'(0~)1 4 3 4 4

0p(')1 (sar roupa branca o% ir ao cinema. 00p(')1 $o usar roupa branca e no ir ao cinema. 0p-)1 e no usar roupa branca en!o ir ao cinema. 0 0p-)1 $o usar roupa branca e no ir ao cinema. 0p/)1 (sar roupa branca se e somen!e se ir ao cinema. 00p/)1 $o usar roupa branca e ir ao cinema o% usar roupa branca e no ir ao cinema

p: usar roupa brancaH

p 3 3 4 4 Exemplo:

) 3 4 3 4

p /' ) 3 4 4 3

~p 4 4 3 3

0~p1'() 4 4 3 4

0~)1 4 3 4 3

p'(0~)1 4 3 4 4

>0~p1'()?('>p'(0~)1? 4 3 3 4

p: usar roupa brancaH q: ir ao cinemaH p'(): Se usar roupa branca se e somen!e se ir ao cinema. ~0p'()1 3 0~p1('0~)1: no usar roupa branca e ir ao cinema) ou usar roupa branca e no ir ao cinema.

&. $UANTIFICADORES &. 1. DEFINIO <uantificadores so termos que indicam quantos elementos de uma determinada classe se aplica uma propriedade. Os principais so: o universal e o existencial) pelo menos um 5al'um) 5existe um). &. 2. NE!AO DE SENTENAS $UANTIFICADAS UNIVERSA MENTE ne'ao de *todos so+ *nem todos so+ ou *pelo menos um no +. Exemplo: ne'ao de *todos 'ostam de futebol+ *pelo menos um no 'osta de futebol+. (m erro muito comum ac.ar que a ne'ao de *pelo menos um+ * pelo menos um no +.
Afirma#o: $en.um artista atleta. Ne;a#o: 1odos os artistas no so atletas. 1odos os artistas so no9atletas.

(. E;ERC<CIOS

11 "edro@ apAs .isi!ar %ma a$deia dis!an!e@ afirmo%: BNo C .erdade )%e !odos os a$deDes da)%e$a a$deia no dormem a ses!aB. A condi#o necess6ria e s%ficien!e para )%e a afirma#o de "edro se,a .erdadeira C )%e se,a .erdadeira a se;%in!e proposi#o: a1 No m6Eimo %m a$deo da)%e$a a$deia no dorme a ses!a. b1 Todos os a$deDes da)%e$a a$deia dormem a ses!a. c1 "e$o menos %m a$deo da)%e$a a$deia dorme a ses!a. d1 NenF%m a$deo da)%e$a a$deia no dorme a ses!a. e1 NenF%m a$deo da)%e$a a$deia dorme a ses!a. ?esposta 7. ?esoluo: ne'ao de *todos no dormem+ *pelo menos um dorme.+ <1 Gadas as preposi#Des: I. Toda m%$Fer C boa mo!oris!aH )

II. NenF%m Fomem C bom mo!oris!aH III. Todos os Fomens so ma%s mo!oris!asH I+. "e$o menos %m Fomem C ma% mo!oris!aH +. Todos os Fomens so bons mo!oris!as. A ne;a#o de 0+1 C: a1 IH b1 IIH c1 IIIH d1 I+H e1 +. ?esposta 8. ?esoluo: ne'ao de *todos os .omens so bons motortistas+ *pelo menos um .omem no bom motorista+) ou seja) *pelo menos um .omem mau motorista+. 81 e C .erdade )%e InenF%m ar!is!a C a!$e!aJ@ en!o !ambCm ser6 .erdade )%e: a1 !odos noKar!is!as so no a!$e!asH b1 nenF%m a!$e!a C noKar!is!aH c1 nenF%m ar!is!a C noKa!$e!aH d1 pe$o menos %m noKa!$e!a C ar!is!aH e1 nenF%m noKa!$e!a C ar!is!a. ?esposta 8. ?esoluo: 8i/er que *nen.um artista atleta+ equivale a di/er que *todos os artistas so no9atletas+. ;ortanto) se considerarmos um artista qualquer) ele ser! um no9atleta. =1 e no C .erdade )%e Ia$;%ma professora %ni.ersi!6ria no do a%$as in!eressan!esJ@ en!o C .erdade )%e: a1 !odas as professoras %ni.ersi!6rias do a%$as in!eressan!esH b1 nenF%ma professora %ni.ersi!6ria d6 a%$as in!eressan!esH c1 nenF%ma a%$a in!eressan!e C dada por a$;%ma professora %ni.ersi!6riaH d1 nem !odas as professoras %ni.ersi!6rias do a%$as in!eressan!esH e1 !odas as a%$as no in!eressan!es so dadas por professoras %ni.ersi!6rias. e1 nenF%m noKa!$e!a C ar!is!a. ?esposta . ?esoluo: l'uma professora 6 nen.uma professora 5pelo menos uma professora).
Afirma#o: $en.um artista atleta. Ne;a#o: 1odos os artistas no so atletas. 1odos os artistas so no9atletas.

1,

ne'ao de *pe$o menos %ma professora universit!ria no d! aulas interessantes+ *!odas as professoras universit!rias do aulas interessantes+. L1 GiMer )%e C .erdade )%e Ipara !odos E@ se E C %ma r e se E C .erde@ en!o E es!6 sa$!andoJ C $o;icamen!e e)%i.a$en!e a diMer )%e no C .erdade )%e: a1 a$;%mas rs )%e no so .erdes es!o sa$!andoH b1 a$;%mas rs .erdes es!o sa$!andoH c1 nenF%ma r .erde no es!6 sa$!andoH d1 eEis!e %ma r .erde )%e no es!6 sa$!andoH e1 a$;o )%e no se,a %ma r .erde es!6 sa$!ando. ?esposta 8. ?esoluo: frase ori'inal *todas as rs verdes esto saltando.+ Sua ne'ao *existe uma r verde que no est! saltando+. N1 Gadas as proposi#Des: I. Toda m%$Fer C boa mo!oris!aH II. NenF%m Fomem C bom mo!oris!aH III. Todos os Fomens so ma%s mo!oris!asH I+. "e$o menos %m Fomem C ma% mo!oris!aH +. Todos os Fomens so bons mo!oris!as. O%a$ das a$!erna!i.as abaiEo rePne o par de proposi#Des em )%e %ma de$as C a ne;a#o da o%!raQ a1 II e +. b1 I e III. c1 III e +. d1 II e I+. e1 I+ e +. ?esposta E. s ne'a%es so respectivamente: ,) pelo menos uma mul.er m! motoristaH
Se no c.over) ento todos os bares B beira9mar devero ser abertos. K equivalente a 5con!raposi!i.a): Se pelo menos um bar B beira9mar no est! aberto) ento c.oveu. $o c.over $o ser! aberto ser! aberto c.over!

,,) todos os .omens no so bons motoristaH ,,,) pelo menos um .omem bom motoristaH ,3) todos os .omens so bons motoristasH 3) pelo menos um .omem mau motorista.

11

R1 0Impor!5ssima1 N%ma cidade $i!orSnea C ri;orosamen!e obedecida a se;%in!e ordem do prefei!o: I e no cFo.er@ en!o !odos os bares T beiraKmar de.ero ser aber!os.J "odeKse conc$%ir )%e: a1 se !odos os bares T beiraKmar e!o aber!os@ en!o cFo.e%H b1 se !odos os bares T beiraKmar es!o aber!os@ en!o no cFo.e%H c1 se cFo.e%@ en!o !odos os bares T beiraKmar es!o aber!osH d1 se cFo.e%@ en!o !odos os bares T beiraKmar no es!o aber!osH e1 se %m bar T beiraKmar no es!6 aber!o@ en!o cFo.e%. ?esposta E. ?esoluo: * e no c.over) en!o todos os bares B beira9mar devero ser abertos+ equivalente a 5contrapositiva): * e pelo menos um bar B beira9mar no est! aberto) en!o c.oveu+. U1 Considere as se;%in!es premissas: I. O%em sabe ca#ar borbo$e!as no C en;ra#adoH II. Coe$Fos no sabem andar de bicic$e!aH III. O%em no sabe andar de bicic$e!a C en;ra#ado. Gen!re as sen!ena#as abaiEo@ di;a )%a$ pode se a conc$%so das premissas. a1 O%em no sabe andar de bicic$e!a C coe$Fo. b1 O%em sabe andar de bicic$e!a no C en;ra#ado. c1 O%em no sabe ca#ar borbo$e!a C en;ra#ado. d1 Coe$Fos no sabem ca#ar borbo$e!as. e1 As pessoas en;ra#adas no sabem andar de bicic$e!a. ?esposta 8. ?esoluo: ,. <uem sabe caar borboletas no en'raadoH ,,. 7oel.os no sabem andar de bicicletaH ,,,. <uem no sabe andar de bicicleta en'raado. 7omo os coel.os no sabem andar de bicicleta 5por ,,) e quem no sabe andar de bicicleta en'raado 5por ,,,)) conclumos que coel.os so en'raados. 7omo a contrapositiva de , *quem en'raado no sabe caar borboletas+) conclumos que coel.os no sabem caar borboletas. V. 0WA"A * <XXV1 A Pnica das proposi#Des abaiEo )%e pode ser considerada %ma ne;a#o de Ise fico eEpos!o ao so$@ en!o fico .erme$FoJ C: A1 no fico eEpos!o ao so$ o% fico .erme$FoH Y1 fico eEpos!o ao so$ e no fico .erme$FoH C1 se no fico eEpos!o ao so$@ en!o no fico .erme$FoH G1 no fico eEpos!o ao so$ e fico .erme$FoH E1 fico eEpos!o ao so$ e fico .erme$Fo. 12

?esposta L. ?esoluo: 1emos a se'uinte preposio: e fico exposto ao sol) en!o fico vermel.o. firmao: p-) $e'ao: ~0p-)1 3 p'(0~)1 ssim: p: fico exposto ao solH q: fico vermel.oH p-): Se fico exposto ao sol en!o fico vermel.o. ~0p-)1 3 0p1'(0~)1: fico exposto ao sol e no fico vermel.o. 1X. 0WA"A * <XXV1 Gos ar;%men!os apresen!ados abaiEo@ o Pnico ar;%men!o ded%!i.o C: A1 se < C par@ en!o = C par e U !ambCm C parH Y1 8 Z L 3 U@ $o;o@ a soma de dois nPmeros 5mpares C parH C1 8 2 L e L 2 U@ $o;o@ 8 2 UH G1 8 C 5mpar e primoH R C 5mpar e primoH 11 C 5mpar e primo@ $o;o !odo nPmero primo C 5mparH E1 se IaJ C %m nPmero rea$@ en!o a < 4 a. 0ainda no reso$.i1

<. 0[CC * YACEN * <XXL1 No \apo@ m%i!as empresas dispDem de $%;ares para )%ese%s f%ncion6rios se eEerci!em d%ran!e os in!er.a$os de s%a ,ornada de !raba$Fo. No Yrasi$@ po%cas empresas !7m esse !ipo de pro;rama. Es!%dos !7m re.e$ado )%e os!raba$Fadores ,aponeses so mais prod%!i.os )%e os brasi$eiros. Lo;o@ de.eKseconc$%ir )%e a prod%!i.idade dos empre;ados brasi$eiros ser6 menor )%e a dos ,aponeses en)%an!o as empresas brasi$eiras no aderirem a pro;ramas )%e o bri;%em se%s f%ncion6rios T pr6!ica de eEerc5cios. A conc$%so dos ar;%men!os C .6$ida se ass%mirmos )%e: a1 a prod%!i.idade de !odos os !raba$Fadores pode ser a%men!ada com eEerc5cios. b1 a pr6!ica de eEerc5cios C %m fa!or essencia$ na maior prod%!i.idade dos!raba$Fadores ,aponeses. c1 as empresas brasi$eiras no dispDem de rec%rsos para a cons!r%#o de ;in6siosde espor!e para se%s f%ncion6rios. d1 ainda )%e os pro;ramas de eEerc5cios no a%men!em a prod%!i.idade dos!raba$Fadores brasi$eiros@ es!es pro;ramas me$Foraro a saPde de$es. e1 os !raba$Fadores brasi$eiros !7m %ma ,ornada de !raba$Fo maior )%e a dos ,aponeses. ?esoluo: 3amos resumir esse ar'umento: 13

;remissa:: Muitas empresas japonesas tem lu'ares para exerccios. ;remissaE: ;oucas empresas brasileiras tem lu'ares para exerccios. ;remissaN: @aponeses so mais produtivos que brasileiros. Conc$%so: ;rodutividade brasileira ser! menor enquanto empresas poucasempresas tornarem obri'at&ria a pr!tica exerccios. 3eja que .! um *salto+ das premissas para a concluso. $o possvel obteressa concluso apenas a partir das N premissas dadas. final) nada 'arante que a pr!tica de exerccios que torna os japoneses mais produtivos que os brasileiros. ;odem ser outros fatores) como) por exemplo) a educao. ;ara c.e'ar naconcluso desse ar'umento) preciso que uma *premissa O+ nos 'aranta que) defato) a pr!tica de exerccios uma 'rande respons!vel pelo aumento daprodutividade. 5letra L). $ote que a letra est! errada) pois ela simplesmente di/ que a produtividadepode ser aumentada por exerccios) mas no di/ se esse aumento si'nificativo) isto ) se este um fator essencial para o aumento da produtividade ou no. ?esposta: L.

14