Escolar Documentos
Profissional Documentos
Cultura Documentos
LGICA MATEMTICA
A Editora Nobel tem como objetivo publicar obras com qualidade editorial e grfica, consistncia de informaes, confiabilidade de traduo, clareza de te to, impresso, acabamento e papel adequados! "ara que voc, nosso leitor, possa e pressar suas sugestes, d#vidas, cr$ticas e eventuais reclamaes, a Nobel mant%m aberto um canal de comunicao! Entre em contato com& 'EN()A* N+,E* -E A(EN-./EN(+ A+ '+N01/.-+) 2one& 3445 676689:99 2a & 3445 6764867:: End!& )ua da ,alsa, ;;7 0o "aulo 'E" <974<8<<< .nternet& ===!livrarianobel!com!br o
oom._zto
LGICA INICIAO
MATEMTICA
51L3 1,tct
Hft) U663(
-ireitos desta edio reservados > *ivraria Nobel 0?! )ua da ,alsa, ;;7@ <974<8<<< 0o "aulo, 0" -- 2one& 3445 676689:99 2a & 3..5 6764867::
e8mau& ednobelAlivrarianobel!com!br
4: edio& 9<<< -ados .nternacionais de 'atalogao na "ublicao 3'."5 3'Dmara ,rasileira do *ivro, 0", ,rasil5 4! *Egica simbElica e matemtica 4! ($tulo
H ")+.,.-A A )E")+-1I?+
NenJuma parte desta obra poder ser reproduzida, copiada, transcrita ou mesmo transmitida por meios eletrKnicos ou gravaes sem a permisso, por escrito, do editor! +s infratores sero punidos pela *ei n 7!F 4<L7:! M 477; Edgard de Alencar 2ilJo
4 N4 E)0-A-E rOcio -E sO E4
A!6;;i
.mpresso no ,rasil L Printed in Brazil
ndice
'ap$tulo 4 ")+"+0.IPE0! '+NE'(.Q+0 4! 'onceito de proposio 44 9! Qalores lEgicos das proposies 49 6! "roposies simples e proposies compostas 49 N! 'onectivos 46 ;! (abela8verdade 46 F! Notao 4; E erc$cios 4; 'ap$tulo 9 +"E)AIPE0 *RC.'A0 0+,)E ")+"+0.IPE0 9! Negao 4S 6! 'onjuno 4: N! -isjuno 9< ;! -isjuno e clusiva 94 F! 'ondicional 99 S! ,icondicional 96 E erc$cios 9S 'ap$tulo 6 '+N0()1I?+ -E (A,E*A08QE)-A-E 4! (abela8verdade de uma proposio composta 97 9! N#mero de linJas de uma tabela8verdade 97
6! 'onstruo da tabela8verdade de uma proposio composta 6< 3. N! E emplificao 6< N! ;! Qalor lEgico de uma proposio composta 6F ;! F! 1so de parntesis 6: S! +utros s$mbolos para os conectivos 67 E erc$cios
Ca MI Captulo 4 TAUTOLOGIAS, CONTRADIES E CONTINGNCIAS 9! 1. Tautolog a N! !. "# $%p o &' substituio para a( tautolog a( 4) )
6! 'ontradio NF F! N! 'ontingncia NS S! E erc$cios N: 'ap$tulo 5 ./"*.'AI?+ L*GICA Ca A2 4! -efinio de implicao lEgica 9! "ropriedades da implicao lEgica N7 6! E emplificao ;< N! (autologias e implicao lEgica ; N E erc$cios F! Captulo + S!
E,UI-ALNCIA L*GICA
4! -efinio de equivalncia lEgica )) 9! "ropriedades da equivalncia lEgica ;; 6! E emplificao ;F Ca N! (autologias e equivalncia lEgica ;S ;! "roposies associadas a uma condicional 9! F! Negao conjunta de duas proposies F9 6 S! Negao disjunta de duas proposies F6 E erc$cios F6 'ap$tulo S
Captulo 11 -ALIDADE MEDIANTE REGRAS DE IN1ERNCIA 9! E emplificao 11! E:'#%% o( 116 Captulo 1! -ALIDADE MEDIANTE REGR;S DE IN1ERNCIA E E,UI-ALNCIAS 4! )egra de substituio 497 9! Equivalncias notveis 497 6! E emplificao 464 N! .nconsstncia 46: E erc$cios 4N4 Captulo 1< DEMONSTRA=O CONDICIONAL E DEMONSTRA=O INDIRETA 4! -emonstrao condicional 4N; 9! E emplificao 4NF 6! -emonstrao indireta 4N7 N! E emplificao 4;< E erc$cios 4;6 'ap$tulo 14 0EN(ENIA0 A,E)(A0 4! 0entenIas abertas com uma varivel 156 9! 'onjunto8verdade de uma sentena aberta com uma varivel 4;F 6! 0entenas abertas com duas variveis 4;: N! 'onjunto8verdade de uma sentena aberta com duas variveis 4;7 ;! 0entenas abertas com n variveis 4F< F! 'onjunto8verdade de uma sentena aberta com n variveis 4F4 E erc$cios 4F9 'ap$tulo 4; O"ERAES L*GICAS SO/RE SENTENAS A/ERTAS !. Co$>u$34o 1+4 <. D (>u$34o 1++ 4. N'ga34o 1+6 ). 'ondicional 1+0 F! ,icondicional 4S< S! Olgebra das sentenas abertas 4S4 E erc$cios 4S9 Captulo 1+ ,UANTI1ICADORES
4! Tuantificador universal 4S; 9! Tuantificador e istencial 4S: 6! Qarivel aparente e varivel livre 4:< N! Tuantificador dc e istncia e unicidade 4:< ;! Negao de proposies com quantificador . . 4:4 F! 'ontra8e emplo 4:6 E erc$cios 4:6 'ap$tulo 4S ,UANTI1ICA=O DE 0EN(ENIA0 A,E)(A0 COM /A.0 DE UMA -ARI.-EL
4! Tuantificao parcial 4:S 9! Tuantificao m#ltipla 4:S 6! 'omutatividadc dos quantificadores 4:7 N! Negao de proposies com quantificadores 47< E erc$cios 47<
Captulo 1
Proposies. Conectivos
4! '+N'E.(+ -E ")+"+0.I?+ -efinio 'Jama8se proposio todo o conjunto de palavras ou s$mbolos que e primem um pensamento de sentido completo! As proposies transmitem pensamentos, isto %, afirmam fatos ou e primem ju$zos que formamos a respeito de determinados entes! Assim, p! e !, so proposies& 3a5 A *ua % um sat%lite da (erra 3b5 )ecife % a capital de "ernambuco 3e5 rULV 3d5 sen 4 A *Egica /atemtica adota como regras fundamentais do pensamento os dois seguintes princ$pios 3ou a iomas5& 345 ").N'G".+ -A N?+ '+N()A-.I?+& 1ma proposio no pode ser verdadeira e falsa ao mesmo tempo! 3..5 ").N'.".+ -+ (E)'E.)+ EW'*1G-+& (oda a proposio ou % verdadeira ou % falsa, isto %, verifica8 se sempre um destes casos e nunca um terceiro! "or virtude deste princ$pio diz8se que a *Egica /atemtica % uma *Egica bivalente! "or e emplo, as proposies 3a5, 3b5, 3e5 e 3d5 so todas verdadeiras, mas so falsas as cinco seguintes proposies& 3a5 QA0'+ -A CA/A descobriu o ,rasil 3b5 -AN(E escreveu os *us$adas
-
3c5 -- % um n#mero inteiro 3d5 + n#mero ir % racional 3e5 tg88 X9 Assim, as proposies so e presses a respeito das quais tem sentido dizer que 035 verdadeiras ou falsas! 9! QA*+)E0 *RC.'+0 -A0 ")+"+0.IPE0 -efinio 'Jama8se val6r lEgico de uma proposio a verdade se a proposio % verdadeira e a falsidade se a proposio A falsa! +s valores lEgicos verdade e falsidade de uma proposio designam8se abreviadamente pelas letras Q e 2, respectivamcnte! Assim, o que os princ$pios da no contradio e do terceiro e clu$do afirmam % que& (oda a proposio tem um, e um sE, dos valores Q, 2! 'onsideremos, p! e !, as proposies& 3a5 O merc#rio A mais pesado que a gua 3b5 + 0ol gira em torno da (erra + valor lEgico da proposio 3a5 % a verdade3Q5 e o valor lEgico da proposio 3b5 % a falsidade325!
p, q, r, s cJamadas letras proposicionais! Assim, p! e !, so proposies simples as seguintes& p & 'arlos % careca q & "edro % estudante r & + n#mero 9; % quadrado perfeito
D'2 $ 34o ! CBa5a9(' p#opo( 34o %o5po(ta ou p#opo( 34o 5ol'%ula# aCu'la
formada pela combinao de duas ou mais proposies! As proposies compostas so Jabitualmente designadas pelas letras latinas mi#sculas "! +! ), 0,! . . , tamb%m cJamadas letras proposicionais!
INICIAO LGICA MATEMTICA 13
Assim, p! e !, so proposies compostas as seguintes& " & 'arlos % careca e "edro % estudante T & 'arlos % careca ou "edro % estudante ) & 0e 'arlos % careca, ento % infeliz visto que cada uma delas % formada por duas proposies simples! As proposies compostas tamb%m costumam ser cJamadas fErmulas proposicionais ou apenas fErmulas! Tuando interessa destacar ou e plicitar que uma proposio composta " % formada pela combinao das proposies simples p, q, r escreve8se& "3p, q, r,! As proposies simples e as proposies compostas tamb%m so cJamadas respectivarnente tomos e mol%culas! +bservaremos ainda que as proposies componentes de uma proposio composta podem ser, elas mesmas, proposies compostas! N! '+NE'(.Q+0 -efinio 'Jamam8se conectivos palavras que se usam para formar novas proposies a partir de outras! Assim, p! e !, nas seguintes proposies compostas& " & + n#mero F % par e o n#mero : % cubo perfeito T & + triDngulo A,' % retDngulo ou % isEsceles ) & No est cJovendo 0 & 0e Yorge % engenJeiro, ento sabe /atemtica ( & + triDngulo A,' % equiltero se e somente se % equingulo so conectivos usuais em *Egica /atemtica as palavras que esto grifadas, isto %& Ze[, Zou[, Zno[, Zse . . . ento se e somente se . . 5. (A,E*A8QE)-A-E 0egundo o "rinc$pio do terceiro e clu$do, toda proposio simples p % verdadeira ou % falsa, isto %, tem o valor lEgico Q3verdade5 ou o valor lEgico 23falsidadc5! Em se tratando de uma proposio composta, a determinao do seu valor lEgico, conJecidos os valores lEgicos das proposies simples componentes, se faz 2 com base no seguinte princ$pio&
14 EL)GARD DE ALENCAR FILHO
+ valor lEgico de qualquer proposio composta depende unicamente dos valores lEgicos das proposies simples componentes, ficando por eles univocament% determinado! Admitido este princ$pio, para aplic8lo na prtica > determinaao do valor lEgico de uma proposio composta dada, recorre8se quasi sempre a um dispositivo denominado tabela8verdade, na qual figuram todos os poss$veis valores lEgicos da proposio composta correspondentes a todas as poss$veis atribuies de valores lEgicos >s proposies simples componentes! Assim, p! e !, no caso de uma proposio composta cujas proposies simples componentes so p e q, as #nicas poss$veis atribuies de valores lEgicos a p e a q san& p cl v
r
9Q2
62Q N22 +bserve8se que os valores lEgicos Q e 2 se alternam de dois em dois para a primeira proposio p e de um em um para a segunda proposio q, e que, al%m disso, QQ, Q2, 2Q e 22 so os arranjos binrios com repetio dos dois elementos Q e 2! No caso de uma proposio composta cujas proposies simples componentes so p, q e r, as #nicas poss$veis atribuies de valores lEgicos a p, a q e a r so& pqr
v v
Q Q Q Q 2 2
2 2
Q Q 2 2 Q Q
2 2
Q 2 Q 2 Q 2
Q 2
Analogamente, observe8se que os valores lEgicos Q e 2 se alternam dc quatro em quatro para a primeira proposio p, de dois em dois para a segunda proposio q e de um em um para a terceira proposio r, e que, al%m disso, QQQ, QQ2, Q2Q! Q22, 2QQ, 2Q2, 22Q e 222 so os arranjos ternrios com repetio dos dois elementos Q e 2!
6. NOTAO
+ valor lEgico de uma proposio simples p indica8se por Q3p5! Assim, e prime8se que p % verdadeira3Q5, escrevendo& Q3p5 Q! Analogamente, e prime8se que p % falsa325, escrevendo& Q3p5 = 2! 0eiam, p! e !, as proposies simples& p & +0ol%verde q & 1m Je gono tem 7 diagonais 2 % raiz da equao 9 \ 6 @N = + ( emos& Q3p5X2, Q3q5XQ, Q3r5X2 -o mesmo modo, o Dalo# lEg %o de uma proposio composta " indica8se por Q3"5! E?ERC2tEIOS 4! -eterminar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& 3a5 + n#mero 4S % primo! 3b5 2ortaleza % a capital do /aranJo!
2
3e5 + valor arcJimediano de ir e 3f5 @l!388S 3 g5 <,464646!! . % uma d$zima periEdica simples! 3J5 As diagonais de um paralelogramo so iguais! 3 i 5 (odo pol$gono regular conve o % inscrit$vel!
3j 5 + Je
16
3]5 A e presso ri2 @n + N4 3n N5 sE produz n#meros primos! 34 ) (odo n#mero divis$vel por ; termina por ;! 3rn5 + produto de dois n#meros $mpares % um n#mero $mpar!
2 O2
O
3n5 sen 6< + sen F< 9! 3o54\6\;\!!!\39n8l59n9! 3p5 As ra$zes da equao 6 4 = + so todas reais! 3q5 + n#mero 49; % cubo perfeito! 3r5 <,N e @N so as ra$zes da equao 6 - 4F +! 3s5 + cubo % um poliedro regular! 3t5 sen3 3u5 tg
j.
5 = scn3 5! ^ tg --
4-
Capitulo
2
Operaes Lgicas sobre Proposies
4! Tuando pensamos, efetuamos muitas vezes certas operaes sobre proposies! cJamadas operaes lEgicas! Estas obedecem a regras de um clculo, denominado clculo proposicional, semelJante ao da aritm%tica sobre n#meros! Estudaremos a seguir as operaes lEgicas fundamentais!
2. NEGAO()
-efinio 'Jama8se negao de uma proposio p a proposio representada por Zno p[, cujo valor lEgico % a verdde3Q5 quando p % falsa e a falsidade325 quando p % verdadeira! Assim, Zno p[ tem o valor lEgico oposto daquele dc p! 0imbolicamente, a negao de p indica8se com a notao p[, que se l& nao p + valor lEgico da negao de uma proposio %, portanto, definido pela seguinte tabela8verdade muito simples&
p) = Q3p5
-FpG -FpG -1
395 q:7<3 325 e 8q&SN 6 3Q5 Q3q5X Q3q5 2Q 365 r & )oma% acapital da2rana325 e @r &)oma no% acapital da2rana3Q5 Q3V@r5X Q3r5X 82XQ Na linguagem comum a negao efetua8se, nos casos mais simples, antepondo o adv%rbio Zno[ ao verbo da proposio dada! Assim, p! e !, a negao da proposio& p & + 0ol % uma estrela e e p & + 0ol no % uma estrela +utra maneira de ef`tuar a negao consiste em antepor > proposio dada e presses tais como Zno % verdade que[, Z% falso que[! Assim, p! e !, a negao 345 da proposio& q & 'arlos % mecDnico e - q & No % verdade que 'arlos % mecDnico 395 ou q & . falso que 'arlos % mecDnico +bserve8se, entretanto, que a negao de Z(odos os Jomens so elegantes[ % ZNem todos os Jomens so elegantes[ e a de ZNenJum Jomem % elegante[ % 365 ZAlgum Jomem % elegante[!
+ valor lEgico da conjuno de duas proposies %, portanto, definido pela seguinte tabela8verdade& ou seja, pelas igualdades& QAQQ, QA2X2, 2AQX2, 2A2X2 e Q3p A q5Q3p5A Q3q5 !xemp1os: (1) jV p & A neve branca 3Q5 2<5 3Q5 p A q & A neve % branca e 9 <5 3Q5 Q3p A q5 Q3p5 A Q3q5 = Q A Q = Q 395 p & + en Kfre % verde 325 q & 7 % um n#mero primo 3Q5 p A q & + en Kfre % verde e % um n#mero primo 325 Q3pAq5Q3p5 AQ3qY2AQ2 365 p & 'AN(+) nasceu na )#ssia 3Q5 q & 2E)/A( era m%dico 325 p A q & 'AN(+) nasceu na )#ssia e 2E)/A( era m%dico 325 Q3p Aq5XQ3p5 AQ3q5QA 2X2 irUN 325 ]q&sen X< 325 pAq&.(UN e sen X< 325 Q3p Aq5Q3p5AQ3q52A 22
pAq
v
Q 2 2
v
2 Q a2
v
2 2 2
N! -.0Y1NI?+ ( Q ) -efinio 'Jama8se disjuno de duas proposiPes p e q a proposio representada por Zp ou q[, cujo valor lEgico % a verdade3Q5 quando ao menos uma das proposies p e q % verdadeira e a falsidade325 quando as proposies p e q so ambas falsas! 0imbolicamente, a disjuno de duas proposies p e q indica8se com a notao& Zp Q q[, que se l& Zp ou q[! + valor lEgico da disjuno de duas proposies %, portanto, definido pela seguinte tabela8verdade&
Tq
pQq
v v
2 2
Q 2
Q 2
pq
ou seja, pelas igualdades& QQQX2, QQ 2XQ, 2QQXQ, 2v2X2 e Q3p q5Q3p5bQ3q5 N+(A A l$ngua latina tem duas palavras diferentes correspondentes aos dois sentidos distintos da palavra Zou[ na linguagem comum! A palavra latina Zvel[ e prime a disjuno no seu sentido d%bil ou inclusivo, ao passo que a palavra latina Zaut[ e prime a disjuno rio seu sentido forte ou e clusivo! F! '+N-.'.+NA* (-.) -efinio 'Jama8se proposio condicional ou apenas condicional uma proposio representada por Zse p ento q[, cujo valor lEgico % a falsidade325 no caso em que p % verdadeira e q % falsa e a verdade3Q5 nos demais casos! 0imbolicamente, a condicional de duas proposies p e q indica8se com a notao& Zp * q[, que tamb%m se l de uma das seguintes maneiras& 3i5 p % condio suficiente para q 3ii5 q % condio necessria para p Na! condicional Zp - q[, diz8se que p % o antecedente e q o consequente! + s$mbolo - % cJamado s$mbolo de implicao! + valor lEgico da condicional de duas proposies %, portanto, definido pela seguinte tabela8verdade& ou seja, pelas igualdades& Q8cQXQ, Q@c2X2, 28\QXQ, 28d2XQ e Q3p88q5Q3p58!Q3q5 "ortanto, uma condicional % verdadeira todas as vezes que o seu antecedente % urna proposio falsa!
p8dq
v v
2 2
2 2
Eremplos: 345 p : CA*+.0 morreu em duelo 3Q5 q : ir um n#mero real 3Q5 p q : 0e CA*+.0 morreu em duelo, ento ir % um n#mero real 3Q5
-*
Q3p8dq5Q3p588dQ3q5XQ8dQXQ 395 j p : + mes de /aio tem 64 dias 3Q5 q : A (erra % plana 325 p * q : 0e o mes de /aio tem 64 dias, ento a (erra % plana 325 Q3p8cq5XQ3p588dQ3q5XQ8c2X 2 365 j p -AN(E escreveu os *us$adas 325 C : 'AN(+) criou a (eoria dos 'onjuntos 3Q5 p -* C : 0e -AN(E escreveu os *us$adas, ento 'AN(+) criou a (eoria dos 'onjuntos 3Q5 Q3p8dq5XQ3p58cQ3q5X28dQQ 3N5 j p : 0AN(+0 -1/+N( nasceu no 'ear 325 q : + ano tem 7 meses 325 p - q : 0e 0AN(+0 -1/+N( nasceu no 'ear, ento o ano tem 7 meses 3Q5 Q3p8\q5XQ3p58cQ3q5 28c2XQ N+(A 1ma condicional p -+ q no afirma que o consequente q se deduz ou A conseqencia do antecedente p! Assim, p! e !, as condicionais& S % um n#mero $mpar -* ,ras$lia % uma cidade < \ ) = 7 - 0AN(+0 -1/+N( nasceu no 'ear no esto a afirmar, de modo nenJum, que o fato de Z,ras$lia ser uma cidade[ se deduz do fato de ZS ser um n#mero $mpar[ ou que a proposio Z0AN(+0 -1/+N( nasceu no 'ear[ A conseqencia da proposio Z6 \ ) = 7[! + que uma condicional afirma % unicamente uma relao entre os valores lEgicos do antecederite e do consequente de acordo com a tabela8verdade anterior!
J. /ICONDICIONAL ()
-efinio 'Jama8se proposio bicondicional ou apenas bicondicional uma proposio representada por Zp se e somente se q[, cujo valor lEgico % a verdade3Q5 quando p e q so ambas verdadeiras ou ambas falsas, e a falsidade325 nos demais casos!
24 EDGARD DE ALENCAR FILHO
0imbolicamente, a bicondicional de duas proposies p e q indica8se com a notao& p + q, que tamb%m se l de uma das seguintes maneiras& 3i5 p % condio necessria e suficiente para q 3ii5 q % condio necessria e suficiente para p + valor lEgico da bicondicional de duas proposies %, portanto, definido pela seguinte tabela8verdade& ou seja, pelas igualdades& Qd@8QXQ, Qc@82X2, 2!@8QX2, 2@2Q e Q3pq5Q3p5Q3q5 "ortanto, uma bicondicional % verdadeira somente quando tamb%m o so as duas condicionais& p - q e q - p!
E emplos
345 fp & )oma fica na Europa 3Q5 q & A neve % branca 3Q5 p q & )oma fica na Europa se e somente se a neve % branca 3Q5 Q3pd@q5XQ3p5N8cQ3q5XQc8cQ8Q 395 p & *isboa % a capital de "ortugal 3Q5 fq& tg X6 325 p * q & *isboa % a capital de "ortugal se e somente se tg 6 325 Q3pc@d q5Q3p5\@dQ3q5XQdgc2X2 365 p & QA0'+ -A CA/A descobriu o ,rasil 325
q & (.)A-EN(E0 foi enforcado 3Q5 p q & QA0'+ -A CA/A descobriu o ,rasil se e somente se (.)A- EN(E0 foi enforcado 325 Q3p\8q5Q3p5888Q3q5X2_888QX2
p\@\q
3N5 f p & A(erra% plana 325 q & s,/ % um n#mero racional 3E5 p * q & A (erra % plana se e somente se /i % um n#mero racional 3Q5 Q3p q5 = Q3p5 Q3q5 = E * E = Q EWE)'G'+0 4! 0ejam as proposies p & Est frio e q & Est cJovendo! (raduzir para a linguagem corrente as seguintes proposies& 3a5 @p 3b5 pAq 3c5 pQq 3d5 qc@dp 3e5 p8d@8q 3f5 pvV@Vq
3g5 @pAV8q 3J5 p^@\q O pA@q8cp 9! 0ejam as proposies p & Yorge % rico e q & 'arlos % feliz! (raduzir para a linguagem corrente as seguintes proposies& 3a5 q@Vp 3b5 pQ@q 3c5 q^@c888p 3d5 @p8cq 3e5 @f88p 3f5 888pAq8cp 6! 0ejam as proposies p & 'laudio fala ingls e q & 'laudio fala alemo! (raduzir para a linguagem corrente as seguintes proposies& 3a5 pVq (b) pAq 3c5 pA@q (d) pA-q 3e5 3f5 @pA88qY 4. 0ejam as proposies p & Yoo % ga#cJo e q & Yaime % paulista! (raduzir para a linguagem corrente as seguintes proposies& 3a5 @3pA@8q5 3b5 @@8p 3c5 3fpQV8q5 3d5 p@d88q 3e5 p!@8q 3f5 f@3888q8cp5 5. 0ejam as proposies p & /arcos % alto e q & /arcos % elegante! (raduzir para a linguagem simbElica as seguintes proposies& 3a5 /arcos % alto e elegante 3b5 /arcos % alto, mas no % elegante 3c5 No % verdade que /arcos % bai o ou elegante 3d5 /arcos no % nem alto e nem elegante 3e5 /arcos % alto ou % bai o e elegante 3f5 falso que /arcos % bai o ou que no % elegante
F! 0ejam as proposies p & 0uelB rica e q & 0uelB % feliz! (raduzir para a linguagem simbElica as seguintes proposies& 3a5 0uelB % pobre, mas feliz 3b5 0uelB % rica ou infeliz 3c5 0uelB % pobre e infeliz 3d5 0uelB % pobre ou rica, mas % infeliz S! 0ejam as proposies p & 'arlos fala francs, q & 'arlos fala ingls e r & 'arlos faia alemo! (raduzir para a linguagem simbElica as seguintes proposies& 3a5 'arlos fala francs ou ingls, mas no fala alemo 3b5 'arlos fala francs e ingls, ou no fala francs e alemo 3c5 H falso que 'arlos fala francs mas que no fala alemo 3d5 H falso que 'arlos fala ingls ou alemo mas que no fala francs :! (raduzir para a linguagem simbElica as seguintes proposies matemticas& 7! (raduzir para a linguagem simbElica as seguintes proposies matemticas& (a) (x-i-y=0 e z>O) 3b5 x=O e (y+z>x (e) x:_0 ou (x=0 3d5 3 XB e zXt5 OU 4<! (raduzir para a linguagem simbElica as seguintes proposies matemticas& 3a5 0e U + ento B = 9 3b5 0e \BX9 ento zU+ 3c5 0e 4 ou z = 9 ento BU 4 3d5 0ezU; ento gl e g9 3e5 0e gB ento !z"5 e B\z^; 3f5 0e cBUz e zXl entDo \BU4 3g5 0e ^9 ento = 4 ou ? = + 3J5 BXN ese ^B ento #5 44! 0imbolizar as seguintes proposies matemticas& 3a5 % maior que 5 e menor que S ou nDo igual a 6 3b5 0e % menor que ; e maior que 6, ento % igual a N 3c5 % maior que 4 ou % menor que 4 e maior que +
3a5 x=0 ou x>O (e) x>l ou x+y=0 3b5 g< e Bg+ 3d5 9X ! e hXl
OU zX<
49! -eterminaroval 3a5 6\9XS 3e5 senir< 3e5 <Ultf 3g5 ../<lA 46! -eterminar o vai 3a5 )oma % a ca 3b5 2*E/.NC d 3e5 iL^e ou 3d5 9U!Lou 3e5 .,/ > 1 V 3f5 9X9QsenI
3]5 @;4^ <j 4N! -eterminar o vai 3a5 0e6\9XF 3b5 0e+^4 en 3e5 0eVLU4 3d5 0ei88li 4 3e5 tgF+h 3f5 f> 3g5 ,/T= @4 (h) ir UN -* 6 4;! -eterminar o vaI 3a5 6\NXS se 3b5 02 1 sees (e) kX 3d5 tgir X4 see 3e5 @4U @9 3f5 @9U<
49! -eterminar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& 3a5 3+2=7 e ;\;X4< 3b5 9\SX7 e N\:X49
(c) senir0 e cosir=0 (d) l>0A2+2=4 (e) 0>1 A % irracional (f) 3LE(59 1 A ir racional (g) / < 1 A !L;V % racional
46! -eterminar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& 3a5 )oma % a capital da 2rana ou tgN;h = 3b5 2*E/.NC descobriu a penicilina ou sen6+h = 3e5 L6V ^< ou *ondres % a capital da .tlia 3d5 9 U ou )ecife % a capital do 'ear 3e5 kf U4 Qir no%umn#meroreal (f) 2=2V sen7ohgtgN;h
(g)
!=
10V ir racional
3J5 66Q;g;
(e) tg6O Xfl@ 9X9 (f) v-2-2 (g) .fZT 1 -).%/35 3J5 # >4 3>
-*
4;! -eterminar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& 3a5 3 K 4 = 7 se e somente se ;6 125 3b5 <9 = 4 seesomentese 34\;5<X6 3c5 LMN = se e somente se \f + 3d5 tgir = 4 se e somente se scnir + 3e5 @4U @9 * #! <20 (f) -2>0 ir9 ^< 3g5 <! 4! O)! *+ ir % racional 3J5 4 U sen * cos ^4
F G sen9<
U 4 + cos9< U 9
o5
84 89
(c) falsoque2+3=5 e 1+1=3 (d) falsoque3+3=6 OU fE(Xo (e) -(l \ 1=2 34=5) (f) -(ll=5 3+3=l) 3g5 2+2=4 - (3+3=7 11=4) (li) 8!!39\9gN e 35=8)
*
4:! 0abendo que os valores lEgicos das proposies p e q so respectivamente V e F, determinar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies&
3a5 Q3p8dq5Q
V(p V q)
Q3@p Q q5 = Q
28
c
3a5 pA8q 3d5 @p A @8q 4! 3b5 pV-q
(e) -.-pVq col
47! -eterminar Q3p5 em cada um dos seguintes casos, sabendo& 3e5 @pAq (f) pA(-pVqJ
3a5 Q3T2 3c5 Q3cij2 3e5 Q3q5Q e Q3pAcijX2 e Q3p!8i!q52 e V(p.q)F
e3
(b) V(q) = 2 (d) V(q)F
3f5 Q3q5X2
9<! -eterminar Q3p5 e Q3q5 em cada um dos seguintes casos, sabendo&
e Q3pQq52 e Q3q8cp5Q e
e e e e e
(C e ta va 2. ni
Captulo
9! Nm/E)+ -E *.NnA0 DE 1/A (A,E*A QE)-A-E + n#mero de linJas da tabela8verdade de uma proposio composta depende do n#mero de proposies simples que a integram, sendo dado pelo seguinte teorema& A tabela8verdade de uma proposio composta com n proposies simples componentes cont%m 9 linJas!
30 EDGARD DE ALENCAR FILHO
-em! 'om efeito, toda proposio simples tem dois valores lEgicos& Q e 2, que se e cluem! "ortanto, para uma proposio composta "3p, "9, , p5 com n proposies simples componentes "4, "9, "n J tantas possibilidades deatribuio dos valores lEgicos Q e 2 a tais componentes quantos so os arranjos com repetio n a n dos dois elementos Q e 2, isto %, A9 ,n = 9V, segundo ensina a Anlise 'ombinatEria! <. '+N0()1I?+ -A (A,E*A8QE)-A-E -E 1/A ")+"+0.I?+ '+/"+0(A "ara a construo prtica da tabela8verdade de uma proposio composta comea8se por contar o n#mero de proposies simples que a integram! 0e J n proposies simples componentes& p4, "9, . . , p, ento a tabela8verdade cont%m 9[ linJas! "osto isto, > 4a proposio simples "i atribuem8se 9VL9 2fl_1 valoresQ seguidos de 9 valores 2o > 9pV proposio simples "9 atribuem8se 9[LN 99 valores Q, seguidos de 9<9 valores 2, seguidos de 9V ! valores Q,seguidos, finalmente, de 2-2 valores 2o e assim por diante! -e modo gen%rico, a ]8%sima proposio simples pk(k n5 atribuem8se alternadamente 9VL9 = 9 ] valores Q seguidos de igual n#mero de valores 2! No caso, p! e !, de uma proposio composta com cinco (5) proposies simples componentes, a tabela8verdade cont%m 9V 69 linJas, e os grupos de valores Q e 2 se alternam de 4F em 4F para a 4pV proposio simples "i de : em : para a 9pV proposio simples !, de Ncm N para a 6pV proposio simplesp6, de 9 em 9 para a NpV proposio simples p,, e, enfim, de 4 em 4 para a ;pV proposio simples p;!
4. E?EM"LI1ICA=O
345 'onstruir a tabela8verdade da proposio& 4a )esoluo 2orma8se, em primeiro lugar, o par de colunas correspondentes >s duas proposies simples componentes p e q! Em seguida, forma8se a coluna para q! -epois, forma8se a coluna para p A f@q! Afinal, forma8se a coluna relativa aos valores lEgicos da proposio composta dada!
pAq
pA q)
1 1 1 1 1 1 1 1 1 1 -
9 )esoluo 2ormam8se primeiro as colunas correspondentes >s duas proposies simples p e q! Em seguida, > direita, traa8se uma coluna para cada Uma dessas proposies e para cada um dos conectivos que figuram na proposio composta dada!
-epois, numa certa ordem, completam8se essas colunas, escrevendo em cada uma delas os valores lEgicos convenientes, no modo abai o indicado&
+s valores lEgicos da proposio composta dada encontram8se na coluna completada em #ltimo lugar 3coluna N5! "ortanto, os valores lEgicos da proposio composta dada correspondentes a todas as possfveis atribuies dos valores lEgicos Q e 2 >s proposies simples componentes p e q 3QQ, Q2, 2Q e 225 so Q, 2, Q e Q, isto %, simbolicamente& "3QQ5 = Q, "3Q25 = 2, "32Q5 = Q, "3225 Q ou seja, abreviadamente& "3QQ, Q2, 2Q, 225 = Q2QQ +bserve8se que a proposio "3p, a5 associa a cada um dos elementos do conjunto 1 q QQ, Q2, 2Q, 22 r um #nico elemento do conjunto qQ, 2r
isto %, "3p, q5 outra coisa no % que uma funo de 1 em qQ, 2V "3p,ci5&1@d qQ,2r
3p
q5
v
2
--
8j
Q Q Q 2 2 Q 2 2 2 Q Q Q 2 2 Q Q. Q 2 2 Q 2 Q 2 Q 2 2 2 2
cuja representao grfica por um diagrama sagital % a seguinte& " 1 ou e 3 22 } 6a )esoluo )esulta de suprimir na tabela8verdade anterior as duas primeiras colunas da esquerda relativas >s proposies simples componentes p e q, o que d a seguinte tabela8verdade simplificada para a proposio composta dada& QQ22Q 2QQQ2
E
395 'onstruir a tabela8verdade da proposio& "3p,q5X 3pA q5v3qp5 365 fs. 4a )esoluo& 9 )esoluo&
INICIAO LGICA MATEMTICA 33
FV, FF)
2QQQ
+bserve8se que "3p, ci5 outra coisa no % que uma funo de 1 = { QQ, Q2, 2Q, 22r em Q, 2r , cuja representao grfica por um diagrama sagital % a seguinte&
3p
q5
3q
+*
p5
F V
V V
F F V V V
V V V F F V F F F V F F V V F F V V V V F F V F F V F
2 1
4 3 1 2 1
@r
pQV8r
qA8r
pQ8r8\qA8888r
V V V F V V F V F V F F V
V V
F V
F V
V F F V
V V
F F
F F
V V F
F V F V
F V F F
V V V F
F V F V F F V F F F F V
9 )esoluo&
"ortanto, simbolicarnente& "3QQQ5 = 2, "QQ25 Q, "3Q2Q5 = 2, "3Q225 2 "32QQ5 Q, "32Q25 = Q, "322Q5 = Q, "32225 = 2
ou seja, abreviadamente& "3QQQ, QQ2, Q2Q, Q22, 2QQ, 2Q2, 22Q, 2225 = 2Q22QQQ2 +bserve8se que a proposio "3p, q, r5 outra coisa no % que uma funo de 1 3QQQ, QQ2, Q2Q, Q22, 2QQ, 2Q2, 22Q, 222r em qQ, 2r , cuja representao grfica por um diagrama sagital % a seguinte&
INIC
6iV 4 3N5 4 1 ou
-*
Q Q Q Q Q 2 Q 2 2 Q Q 2 2 2 2 2 Q 2 2 2 2 Q 2 Q Q 2 Q 2 2 2 2 2 2 Q Q 2 2 Q 2 Q 2 2 Q 2 Q Q 2 Q 2 Q 2 2 Q Q 2 Q Q 2 2 Q Q 2 Q 2 Q 2 Q 2 Q Q Q Q Q Q Q 2 Q 2 Q 2 Q 2 Q 2 Q Q 2 2 Q 2 2 Q 2 Q 2 Q
6 )esoluo&
2 Q Q 2 2 2 2 Q 4
3p
-+
q5
3q
r5
3p
-+
r5
v
Q
v v
2 Q 2 Q 2 Q 2
v v
Q Q Q 2 2 2 2 Q 2 2 Q Q Q Q
v v
Q 2 2 Q Q 2 2 2 2 2 Q 2 Q Q
v v v v
Q 2 2 Q Q 2 2 2 Q Q Q 2 Q Q 2 Q 2 Q 2 Q 2 Q Q Q Q Q Q Q
v v v
Q Q Q 2 2 2 2 2 Q 2 Q Q Q Q 2 Q 2 Q 2 Q 2
Q Q 2 Q 2
2 Q Q 2 2
2 2 2
+bserve8se que a #ltima coluna 3coluna N5 da tabela8verdade da proposio Exei "3p, q, r5 sE encerra a letra Q3verdade5, isto %, o valor lEgico desta proposio % sempre Q quaisquer que sejam os valores lEgicos das proposies componentes 345 0a p,qer! Qe 3;5 'onstruir a tabela8verdade da proposio& )eV "3p, q, r5 = 3p8\3888q V r55 A @3q Q 3p + @r55 Q3l )esoluo& 395 0ej Note8se que % uma tabela8verdade simplificada da proposio "3p, q, r5, pois, no encerra as colunas relativas >s proposies componentes p, q e r! "ortanto, simbolicamente& "3QQQ5 = 2, "3QQ25 = 2, "3Q2Q5 = Q, "3Q225 = 2 "32QQ5 = 2, "32Q25VX 2, "322Q5 = 2, "32225 = Q ou seja, abreviadamente& "3QQQ, QQ2, Q2Q, Q22, 2QQ, 2Q2, 22Q, 2225 = 22Q2222Q 5. QA*+) *RC.'+ -E 1/A ")+"+0.I?+ '+/"+0(A -ada uma proposio composta "3p, q, r,! . .), pode8se sempre determmar o seu valor lEgico 3Q ou 25 quando so dados ou conJecidos os valores lEgicos respectivos das proposies componentes p, q, r, .
3Q
3 p
r5 5
3q
3p
+ +
r55
E emplos:
345 0abendo que os valores lEgicos das proposies p e q so respectivamente Q e 2, determinar o valor lEgico 3Q ou 25 da proposio& P(p, aj = f883p V q) * p A @q )esoluo (emos, sucessivamente Q3"5X3Q Q 25@c88QA 2X@Q88d2 A QX2d@d2XQ 395 0ejam as proposies p ir = 6 e q : sen - = +! -eterminar o valor lEgico 3Q ou 25 da proposio& "3p,ci5X3p@dq58\3p8dp A cij )esoluo As proposies componentes p e q so ambas falsas, isto %, Q3p5 = 2 e Q3q5 = 2! "ortanto& Q3"5X32@d2583282 A 25XQ8d328d25XQ88dQXQ 365 0abendo que Q3p5 = Q, Q3q5 2 e Q3r5 2, determinar o valor lEgico 3Q ou 25 da proposio& "3p, q, r5 = 3q - 3r - @p55 Q 33q -* p5 * r5 )esoluo (emos, sucessivamente& = 32@d3288d255Q33Q88dQ5^888d25X = 32cQ5v3Q@25X2Q2X2 3N5 0abendo que Q3r5 Q, determinar o valor lEgico 3Q ou 25 da proposio& p @q Q r! )esoluo 'omo r verdadeira3Q5, a disjuno f@q Q r verdadeira3Q5! *ogo, a condicional dada % verdadeira3Q5, pois, o seu consequente verdadeiro
3Q5! 3;5 0abendo que Q3ci5 = Q, determinar o valor lEgico 3Q ou 25 da proposio& 3p - q5 -+( q -+ )esoluo 'omo q% verdadeira3Q5, ento f@q % falsa325! *ogo, a condicional -+ @!8p % verdadeira3Q5, pois, o seu antecedente % falso325! "or conseqencia, a condicional dada % verdadeira3Q5, pois, o seu consequente % verdadeiro3Q5!
38 EDGARD DE ALENCAR FILHO INIC
3F5 0abendo que as proposies Z = +[ e Z B[ so verdadeiras e que a e, au proposio ZB = z[ % falsa, determinar o valor lEgico 3Q ou 25 da proposio& g+ V B8\Bgz )esoluo - (emos, sucessivamente& este QQ8Q822v 28QX28 QXQ F! 10+ -E "A)sN(E0.0 . Ebvia a necessidade de usar parntesis na simbolizao das proposies, que devem ser colocados para evitar qualquer tipo de ambiguidade! Assim, p! e !, a 8se e presso p A q Q r d lugar, colocando parntesis, >s duas seguintes proposies& 3i5 3p A q5 V r e 3ii5 p A 3q v r5 que no tm o mesmo significado, pois, na 3i5, o conectivo principal % Q , e na 3ii5, o conectivo principal % A , isto %, a 3i5 uma disjuno e a 3ii5 uma 'onjunIo! esc Analogamente, a e presso p A q * r Q s d lugar, colocando parntesis, >s seguintes proposies& 33p A q58cr5 Q s, pO 33q8dr5 Q s5, 3p A 3q8cr55 v s, pA3q8\3rQ s55, 3pA q5@d3rQ s5 tais que, duas quaisquer delas, no tm o mesmo significado! S! "or outro lado, em muitos casos, parntesis podem ser suprimidos, a firii de simplificar as proposies simbolizadas, desde que, naturalmente, ambiguidade alguma venJa a aparecer! A supresso de parntesis nas proposies simbolizadas se faz mediante algumas convenes, das quais so particularmente importantes as duas seguintes& 345 A Zordem de precedncia[ para os conectivos %& 345 o 395 A e V ; (3) o 3N5 "ortanto, o conectivo mais Zfraco[ % e o conectivo mais Zforte[ % ++. Assim, p! e !, a proposio& p -+ q + s A r % urna bicondicional e nunca uma condicional ou uma conjuno! "ara convert8la numa condicional J que usar parntesis& p8c3q888s Ar5
INICIAO LGICA MATEMTICA
+ consequente da condicional % uma bicondicional! -esejando8se converter este consequente numa conjuno cumpre escrever&
p -* 33q s5 A r5
(amb%m so bicondicionais as trs seguintes proposies& pAq@rQso p8cq^@crAso pQqc@c8r8cs 3445 Tuando um mesmo conectivo aparece sucessivamente repetido, suprimem8 8se os parntesis, fazendo8se a associao a partir da esquerda! 0egundo estas duas convenes, as quatro seguintes proposies&
33f@38883p A q555 Q 388p55o 33p Q 3@fa55 A 3r A 3@p555 333p Q 3f8f8q55 A r5 A 3f@p55o 33@p58c3q88d3V883p Q r5555 escrevem8se mais simplesmente assim& 3p Q @q5 A r A 8f@po 3p Q f@ci5 A 3r A f88p5 @@p8c3q8V@83pQ r55 S! OUTROS S@M/OLOS "ARA OS CONECPI -OS Nos livros de *Egica, usam8se diferentes s$mbolos para os conectivos! Assim, p! e !, so frequentemente usados os s$mbolos& E?ERC@CIOS
- 3ferradura5 para a condicional F9KG 3a5 --(pV--q) 3e5 pAq8cpQq 3e5 3p8dq58dpAq 3g5 3pN@d888q5c@dq8\p 3b5 @3p8dqY 3d5 f@p88d3q88dp5 3f5 qN@\888qAp 3J5 3pc@\8888q58d8V8pAq
39
3e5 ( 3g5 3 3i5 ( 3]5 ( 4<! 0abe v, prop 3a5 3e5 3e5
3a5 "3p, q, r5 p A @8r + 3b5 "3p, q, r5 3e5 "3p, q, r5 3d5 "3p!q,r5 = 3e5 "3p, q, r5 = 3f5 "3p, q, r5 =
49! 0abe prop cada 3a5 3c5 3e5 46! 0abe 3Q o 9! 'onstruir as tabelas8verdade das seguintes proposies& 3a5 @pAr8cqQr 3c5 p8\3p8c8r5!E8888dqQr 3b5 p8rc88cqQV888r 3d5 3pAqcr5Q3@8p!E@cqQ88r5
6! -eterminar "3QQ, Q2, 2Q, 225 em cada um dos seguintes casos& 3a5 "3p, ci5 @388p + q5 3J5 l53p,q5 = !fpQq@dp 3e5 "3p, q5 = 3p Q ci5 A @83p A q5 3d5 "3p! q5 = 3p A q5 Q 3@p A ci5 3e5 "3p, q5 = @33p Q q) A 3f8p Q -q))
(f) P(p,q)
3g5 "3p,q5 3pQq5AV8!p8\3q8dp5 N! -eterminar "3QQQ, QQ2, Q2Q, Q22, 2QQ, 2Q2, 22Q, 2225 em cada unidos SeguiliteS casos& 3a5 "3p, q, r5 p Q 3q A r5 3b5 "3p, q, r5 = 3p A q) V r 3c5 "3p, q, r5 = f88p Q 3q A r5 3d5 "3p, q, r5 3p Q ci) A 3p Q r5
(g)
3i ) 3]5 3s\8r5c883pc8cq5 3b5 3p8c8q5!88c33pQr5Aq5 e q so verdadeiras e que as proposies r e s lEgico 3Q ou 25 de cada uma das seguintes 3b5 rvs8\q 3d5 3f5 3J5 3r - s5 A3pA q5 (j) 33rp5Q3sdq5 345 r q3 p r5
4<! 0abendo que os valores lEgicos das proposies p, q, r e s so respectivamente Q, Q, 2 e 2, determinar o valor lEgico 3Q ou 25 de cada uma das seguintcs proposies&
3a5 pAqc@rA8s 3c5 3p8\q58d3s8\r5 3e5 3q A r5 A s * 3p * s5 3g5 3pAq5A3rAs58dpQs
3d5 x_0Vx_y-*yi. 46! 0abendo que a condicional p q % verdadeira3Q5, determinar o valor lgiCo 3Q ou 25 das condicionais&
:! 0abendo que os valores lEgicos das proposies p, q e r so respectivamente Q, 2 e 2, determinar o valor lEgico 3Q ou 25 de cada urna das seguintes proposi
pAs 3q -+ s5 * r 3q V r5 A 3p Q s5 3p A q5 Q r
4*
p 3r A s5 r8\pAq
1
1
3a5 p8dqc88\q8\p 3e5 3p8dr583V8p88r5 3e5 883pAs58d888pA888s
3b5 3r@!p58d3p8cr5 3d5 3pAq58dpQq (f) @f33p V s5 A 3s Q r55 li! 0abendo que Q3p5 Q3r5 = Q e Q3q5 Q3s5 2, determinar o valor lEgico 3Q OU 25 de cada uma das seguintes proposies&
4N! -eterminar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& 3a5 p * q A 888r, sabendo que Q3p5 = Q3r5 Q 3b5 p A q8dp Q r,sabendoqueQ3p5XQ3r5Q 3c5 3p - f88q5 A 3f8p Q r5, sabendo que Q3q5 = 2 e Q3r5 = Q 4;! 0uprimir o maior n#mero poss$vel de parntesis nas seguintes proposies& 3a5 33qc@3r Q q55@d3p A 3b5 33p A (-(-qj)) 3q E* 3r Q q555 3c5 333p v q5 3f@r55 Q 3333@q5 A r5 A q555
Captulo #
D'2 $ 34o 'Jama8se tautologia toda a proposio composta cuja #ltima coluna da sua tabela8verdade encerra somente a letra
Q3verdade5! Em outros termos, tautologia % toda proposio composta "3p, q, r, . . .) cujo valor lEgico % sempre Q3verdade5, quaisquer que sejam os valores lEgicos das proposies simples componentes p, q, r, As tautologias so tamb%m denominadas proposiPes tautolEgicas ou proposies 4 ogicamente verdadeiras! imediato que as proposies p - p e p * p so tautolEgicas 3"rinc$pio de identidade para as proposies5!
E emplos:
345 A proposio Z@3p A QNpGR F"# $%p o &a $4o %o$t#a& 34oG A tautolEg %a, conforme se v pela sua tabela8verdade&
"ortanto, dizer que uma proposio no pode ser simultneamente verdadeira e falsa % sempre verdadeiro!
EDGARD DE ALENCAR FILHO F!G A p#opo( 3I o Sp v pR F"# $%p o &o t'#%' #o ':%lu&oG A tautolEg %a, CO2lIFG imediatamente se v pcla sua tabela-verdade: lortanto, & T'# Cu' u5a p#opo( 34o ou A D'#&a&' #a ou A 2al(a A ('5p#' D'#&a&' #o.
(4) A proposio p A q (p q) tautolEgica, conforme mostra a sua tabela-verdade:
3;5 A proposiio Zp Q 3q A @q5 @cp[ % tautolEgica, conforme mostra a sua tabela-verdade: 44 (3) A proposio p V --(p A q) tautolEg %a, conforme se v pela sua tabela-verdade:
v v
E E
v
F
v
F F 2 F
v v
1 1
v v
v v
"#
Q Q
3pAq 5
pV(pA]
pA q
pd@ cq
pAq8d3p888\q5
v v
1
v
F
2
v
F
v
Q Q Q
2 Q
E E
2 Q
Ei iiLE
45
q A p V (q Aq)
pV (q A q)
3p
v V E v v v v FV F V FIV FJV
4Y6 3
v v
F
v v v
F E
v F v v F v v
1
r55
v
F
v v v
E v E
2 3 4
pA r
qQr
p A r88qQr
V V 2
V 2
V F
E F V 1
r5
vv v v V V V F F V
F E V
V V
E F V
F V
V V V
V V
V V F
E V
V E V
V V
V F F
E V
6! '+N()A-.I?+ -efinio - 'Jama8se contradio toda a proposio composta cuja #ltima coluna da sua tabela8verdade encerra somente a letra 23falsidade5! Em outros termos, contradio % toda proposio composta "3p, q! r, - . .) cujo valor lEgico % sempre 23falsidade5, quaisquer que sejam fos valores lEgicos das proposies simples componentes p, q, r, 'omo uma tautologia % sempre verdadeira3Q5, a negao de uma tautologia % sempre falsa325, ou seja, % urna contradio, e vice8versa! "ortanto, "3p, q, r, . . .) % uma tautologia se e somente se @"3p, q, r, . .) % uma contradio, e "3p, q, r, . . .) % uma contradio se e somente se f@"3p, q, r, . . % uma tautologia! As contradies so tamb%m denominadas proposies contravlidas ou proposies logicamente falsas! "ara as contradies vale um Z"rinc$pio de substituio[ anlogo ao que foi dado para as tautologias& 0e "3p, q, r, . . .) % uma contradio, ento "3"<, T<, ), . . .) tamb%m % uma contradio, quaisquer que sejam as proposies "<, T<, )<, . E emplos: 345 A proposio Zp A @p[ % uma contradio, conforme se v pela sua tabela8 8verdade& "ortanto, dizer que uma proposio pode ser simultneamente verdadeira e falsa % sempre falso! 395 A proposio Zp @p[ % uma contradio, conforme mostra a sua tabela8 8verdade&
LL# $
Q2 2Q
pA@p
2 2
365 A proposio Z3p A ci5 A f@3p Q q5[ % uma contradio, conforme se v pela sua tabela8verdade&
3N5 A proposio Z8!p A 3p A @q5[ % uma contradio, conforme mostra a sua tabela8verdade&
N! '+N(.NCsN'.A -efinio 'Jama8se contingncia toda a proposio composta em cuja #ltima coluna da sua tabela8verdade figuram as letras Q e 2 cada uma pelo menos uma vez! Em outros termos, contingncia % toda proposio composta que no % tautologia nem contradio! As contingncias so tamb%m denominadas proposies contingentes ou proposies indeterminadas!
E emplos:
345 A proposio Zp * @p[ % uma contingncia, conforme se v pela sua tabela verdade&
pAq
pQq
(pVq)
(pAq)A(pVq)
Q Q Q 2 2 Q 2 2 Q 2 2 2 Q Q Q 2 2 2 2 Q 2 2 2 2
-q
p A q
p A (p A q)
Q Q 2 Q 2
2 Q
2 Q 2
2 Q 2
2 2 2
2
Q
Q 2
p f@p Q2 2Q
p8dp
2 Q
(3) A proposio Z 6 A 3 B
x=3 x=y_3Ix*y
-+
3a5 3p8cp5Q3p8cp5 3c5 3p8cq5Ap8dq 3e5 3p@q5A8888q8c888p 3g5 p@cpA3pQq5 3i5 @3p A @p5 Q 3q@d88q5 3]5 @3pQq58c3p@8dq5 3a5 3p8dq58c3pAr8\q5 3c5 3p8\a58\3pAr8\qAr5 3a5 pQq@8pAq 3c5 3p@d3p88dq558cq 3a5 p8c388p8cq5 3c5 p83q8\3q8\p55 3e5 pQ8q8\3p\q5 3g5 p8\3pQQr
3b5 3p@pAp5888d888p 3d5 pV(qVp) 3f5 3pQq5A@p8dq 3J5 f@3p V @p5 Q 3q Q 88q5
3i5 pQ3pAq5c@dp
345 3pc@dq5Ap8\q
EWE)'G'.+0 4! /ostrar que as seguintes proposies so tautolEgicas& 9! /ostrar que as seguintes proposies so tautolEgicas& 6! /ostrar que as seguintes proposies so contingentes& N! -eterminar quais das seguintes proposies so tautolEgicas, contravlidas, ou contingentes&
pQq
pQq@dp
v v
Q Q Q 2 Q 2 2 2 2
v
Q 2 Q
Captulo &
<. E?EM"LI1ICA=O 345 As tabelas8verdade das proposies& sao& pAq, pQq, p@q
A proposio Zp A q[ % verdadeira3Q5 somente na linJa 4 proposies Zp V q[ e Zp * q[ tamb%m so verdadeiras3Q5! proposio implica cada uma das outras duas proposies, isto %& pAqXpQq e pAqXp8!8dq
e, nesta linJa, as *ogo, a primeira As mesmas tabelas8verdade tamb%m demonstram as importantes )egras de inferncia& 3i5 pXpQq 3ii5 pAqXp e e q p Q q 3Adio5 p A q q 30implificao5 395 As tabelas8verdade das proposies& sao& p@\q, p8q, q8cp
A proposio Zp q[ % verdadeira3Q5 nas linJas 4 e N e, nestas linJas, as proposies Zp - q[ e Zq p[ tamb%m so verdadeiras! *ogo, a primeira proposio implica cada uma das outras duas proposies, isto %&
L
pc@dqp8cq e
pc8\q = q8dp
%1
p
q pAq pVq p.q
v v
1 1 1 - 1 1 1 1
v
1
v
1 1 -
pc@dq
p8 q
q8\p
v v
1
v
1
v
1
v
-
2 Q 1 1
Q
-
2
-
Esta proposio % verdadeira3Q5 somente na linJa 6 e, nesta linJa, a proposio Zq[ tamb%m % verdadeira3Q5! *ogo, subsiste a implicao lEgica& 3p Q q5 A f8p = q denominada )egra do 0ilogismo disjuntivo! +utra forma desta importante )egra de inferncia %& 3p Q q5 A f88q = p 3N5 A tabela8verdade da proposio Z3p -+ q5 A p[ %&
vvvv
Q222 2QQ2 2 2. Q 2 Esta proposio % verdadeira3Q5 somente na linJa 4 e, nesta linJa, a proposio Zq[ tamb%m % verdadeira3Q5! *ogo, subsiste a implicao lEgica& 3p8\q5Ap q denominada )egra /odus ponens! (5) As tabelas8verdade das proposies Z3p q5 A f@q[ e Z@p[ so&
= -*
pV q
(pVq)Ap)
Q Q Q 2 2 Q 2 2 Q Q Q 2 2 2 Q Q 2 2 Q 2
" 4
3p8\q5Ap
p q Q 2 Q
3pq5Aq5
Q Q 2
2 Q
2 2 2
2 2
Q 2 Q 2 2 2 Q Q Q
52
A proposio Z3p -* q5 A 8f8q[ % verdadeira3Q5 somente na linJa N, e nesta linJa, a proposio Z@p[ tamb%m % verdadeira3Q5! *ogo, subsiste a implicao lEgica& 3pq5Aq denominada )egra /odus toliens! As mesmas tabelas8verdade tamb%m mostram que Z888p[ implica Zp * q[, isto %& @p p8cq! N! (A1(+*+C4A0 E ./"*.'AI?+ *PC.'A (eorema A proposio "3p, q, r,!!!5 implica a proposio T3p! q, r,!! isto %& "3p,q!r,!!!5 T3p,q!r,!!!5 se e somente se a condicional& "3p!q,r,!!!5 -* T3p,q,r,!!!5 345 % tautolEgica! -em! 3i5 0e "3p, q, r,!!!5 implica T3p! q! r,! . .), ento, no ocorre que os valores lEgicos simultneos destas duas proposies sejam respectivamente Q e 2, e por conseguinte a #ltima coluna da tabela8verdade da condicional 345 encerra somente a letra Q, isto %, esta condicional % tautolEgica! 3ii5 )eciprocamente, se a condicional 345 % tautolEgica, isto %, se a #ltima coluna da sua tabela8verdade encerra somente a letra Q, ento, no ocorre que os valores lEgicos simultDneos das proposies "3p, q, r, . .) e T3p, q, r, . . .) sejam respectivamente Q e 2, e por conseguinte a primeira proposio implica a segunda! "ortanto, a toda implicao lEgica corresponde uma condicional tautolEgica, e vice8versa! 'orolrio 0e "3p, q! r, . . .) = T3p, q, r, . . .), ento, tamb%m se tem& "3"<, T<, )<,!!!5 T3"+, T<, )<,!!!5 quaisquer que sejam as proposies "<, T<, )<, . N+(A +s s$mbolos - e so distintos, pois, o primeiro % de operao lEgica 3aplicado, p! e !, >s proposies p e q d a nova proposio p -* q5, enqunto que o segundo % de relao 3estabelece que a condicional "3p, q, r,! . T3p, q, r, . . .) % tautolEgica5!
INICIAO LGICA MATEMTICA 53
E emplos:
345 A condicional Z3p -+ q5 A 3q -* r5 - 3p - r5[ % tautolEgica, pois, a #ltima coluna da sua tabela8verdade encerra somente a letra Q 3'ap! 6, N, E ! N5! *ogo, subsiste a implicao lEgica&
3pci5A3q8r5 = p8cr
*ogo, subsiste a implicao lEgica& p A @p q! Assim, de uma contradio p A p se deduz qualquer proposio q 3"rinc$pio da inconsistncia5! 365 A proposio Z3p q5 A p[ implica a proposio Zq[, pois, a condicional * q5 A p - q[ % tautolEgica conforme se v pela sua tabela8verdade& "ortanto, simbolicamente& 3p * q5 A p q!
@ p
pA@p
pf@p8dq
Q Q Q 2 1 1 1 2 2 2 2 1 1 Q Q Q -
pq3pq5A p
3pq5A pq
v v
1 1 1 - 1 1 1
v
1 1 1
v
-
3d5 p : + pol$gono A,'-E! . . % regularo q & + pol$gono A,'-E! . . % ins crit$vel 3e5 p & + n#mero inteiro termina por <o q & + n#mero inteiro % divis$vel por; '() p & A,' um triDnguloo q& A soma dos Dngulos internos A, , e ' % igual a 4:< 3g5 p&tg = fL q&sen - = cos 9! /ostrar& 3a5 q p - qo 3b5 q p A q * p 6! /ostar que p @q no implica p -* q! )esoluo - As tabelas8verdade das duas proposies dadas so& A proposio Zp + @q[ verdadeira3Q5 na linJa 9 e, nesta linJa, a proposio - q[ % falsa325! *ogo, a primeira proposio no implica a segunda! 4* /ostrar que p no implica p A q e que p Q q no implica p! ;! /ostrar& 3 = B v x ^N5 A ^N = B! 6* /ostrar& 3 d + -* x = B5 A d B <!
@ q
pN@c8888q
Q Q Q 2 2 Q 2 2 2 Q 2 Q 2 Q Q 2 Q 2 Q Q
Captulo *
imediato
que a relao de equivalncia lEgica entre proposies goza das propriedades refle iva3)5, sim%trica305 e transitiva3(5, isto %, simbolicamente& 3)5 "3p, q, r,!!!5 "3p, q,r,!!!5 305 0e"3p,q,r,!!!5 T3p,q,r,!!!5, ento T3p, q, r,!!!5 "3p, q, r,! ..)
3(5 0e "3p, q, r,!!!5 T3p, q, r,!!!5 e T3p, q, r, . . .) )3p, q, r, . . .), ento "3p, q, r,!!!5 )3p, q, r,!!!5
56 EDGARD DE ALENCAR FILHO
6! EWE/"*.2.'AI?+ 345 As proposies Z@8f8fp[ e Zp[ so equivalentes, isto %, simbolicamente p p 3)egra da dupla negao5! )ealmente, % o que demonstra a tabela8verdade& p f@p f@888p Q2Q 2Q2
4.
"ortanto, a dupla negao equivale > afirmao! 395 As proposies Z@p -* p[ e Zp[ so equivalentes, isto %, simbolicamente& - p p 3)egra de '*AQ.105! )ealmente, % o que demonstra a tabela8verdade& p @p Q2Q 2Q2 365 As condicionais Zp - p A q[ e Zp q[ tm tabelas8verdade idnticas&
v v Q2Q
Q2222 2QQQQ 22QQQ p858q
QQQQQ Q2222 2Q2QQ 222QQ
4
"or consequncia, estas condicionais so equivalentes, isto %! subsiste a equivalncia lEgica& p8dp AqXXp8uq denominada )egra de absoro! 3N5 A condicional Zp * q[ e a disjuno Z@p V q[ tm tabelas8verdades idnticas&
pAq
p@pAq
p8dq888p8 pQq
"or consequncia, estas duas proposies so equivalentes, isto %, subsiste a importante equivalncia lEgica&
vvvvvv
Q222Q2 2Q2Q22 22QQQQ "or consequncia, estas duas proposies so equivalentes, isto %, subsiste a importante equivalncia lEgica& p q& 3p -+ q5 A 3q -* p5 3F5 A bicondicional Zp +- q[ e a disjuno Z3p A a,5 Q 3f8p A @fq5[ tm tabelas8verdade idnticas& Q Q Q Q QQ 2 2 2 Q22Q22222Q 2 Q 2 2 2 Q2 Q 2 2 2 2 Q 2 2 2Q Q Q Q
4. 1
"or consequncia, estas duas proposies so equivalentes, isto %, subsiste a importante equivalncia lEgica& pc8dqXX!3p A q5 Q 3@p A q5 N! (A1(+*+C.A0 E ET1.QA*sN'.A *RC.'A (eorema A proposio "3p, q, r,!! .) % equivalente > proposio T3p, q, r, . . .), isto %& "3p, q, r,!!!5 T3p, q, r,!!!5 se e somente se a bicondicional& "3p, q, r,!!!5 +-+ T3p, q, r,!!!5 345 % tautolEgica!
5 g
p!N@ dq
p8\q
q8\p
X L
-em! 3i5 0e as proposies "3p, q, r, . . .) e T3p, q, r, ...) so equivalentes, ento, tm tabelas8verdade idnticas, e por conseguinte o valor lEgico da bicondicional 345 % sempre Q3verdade5, isto %, 345 % tautolEgica! 3ii5 )eciprocamente, se a bicondicional 345 % tautolEgica, ento, a #ltima coluna da sua tabela8verdade encerra somente a letra Q3verdade5, e por conseguinte os valores lEgicos respectivos das proposies "3p, q, r, . . .) e T3p, q, r, . ..) so ambos Q3verdade5 ou so ambos 23falsidade5, isto %, estas duas proposies so equivalentes! "ortanto, a toda equivalncia lEgica corresponde uma bicondicional tautolEgica, e vice8versa! 'orolrio 0e "3p, q, r, - . .) T3p, q, r, - . .), ento, tamb%m se tem& P(P0, Q0, R0, . . T3"T, T<, )<,!!!5
quaisquer que sejam as proposies P0, Q0, R0, N+(A +s s$mbolos e so distintos, pois, o primeiro % de operao lEgica 3aplicado, p!
..-
e !, >s proposies p e q d a nova proposio p q5, enquanto que o segundo % de relao 3estabelece que a bicondiciorntl "3p, q, r,! . * T3p, q, r, . . .) % tautolEgica5!
E emplos:
345 A bicondicional Z3p A 8q -* c5 - 3p -. q5[, onde c % uma proposio cujo valor lEgico % 23falsidade5, % tautolEgica, pois, a #ltima coluna da sua tabela8verdade encerra somente a letra Q3verdade5& "ortanto, as proposies Zp A @q - e[ e Zp - q[ so equivalentes, isto %, simbolicamente& p A f@q e p -+ q Nesta equivalncia consiVte o Z/%todo de demonstrao por absurdo[!
( p
--q
c5
(p
-+
ci)
V V V F F V F F V V F F F V F F F V F V V F V V F F F F V V V V V V F F V F V V V F V F
395 A Jicondicional (p A q -* r5 3p - 3q - r55[ % tautolEgica, pois, a #ltima coluna da sua tabela8verdade encerra somente a letra Q3verdade5& "ortanto, as condicionais Zp A q * r[ e Zp - (q -* r5[ so equivalentes, isto %, simbolicamente& p A q - r p - 3q -* r5 Esta importante equivalncia lEgica % denominada Z)egra de E portao8.mportao[! 365 As proposies Z = 4 Q ^6[ e Z@3 ^6 A = 45[ no so equivalentes, pois, a bicondicional& 3 X 4Q ^65@88883 ^6 A X 45 no % tautolEgica, conforme se v pela sua tabela8verdade&
( p
r5
3p
( q
r55
v v v v v v v v v v v
Q Q Q 2 Q 2 2 2 2 2 2 2 2 2
Q 2 2 Q Q 2 2
2 Q Q Q Q Q Q
2 Q 2 Q 2 Q 2
Q Q Q Q Q Q Q Q Q Q 2 2 2 2
2 Q Q Q Q Q Q Q 2 2 Q Q 2 2
2 Q Q Q 2 Q Q 2 Q 2 Q 2 Q 2
3 X.
^65
3 ^6
X45
Q Q Q 2 2 Q 2 Q 2 Q 2 Q
2 Q 2 Q
2 Q Q Q Q 2 Q 2
Q 2 2 2 Q Q 2 2
+7 EDGARDDEALENCAR FILHO
e demonstram as duas importantes propriedades& 345 A condicional p - q e a sua contrapositiva @q + 8f88p so to %, simbolicamente&
v v 2 2 v 2 v 2
v
2
v v
t
vv vv
22
vv
v
2
v v
1
equivalentes, isp -+ q f@q 3..5 A rec$proca q -* p e a contrria @p -* q da condicional p -* q so equivalentes, isto %, simbolicamente& q -p p q As mesmas tabelas8verdade tamb%m demonstram que a condicional p -* q e a sua rec$proca q - p ou a sua contrria f@p @q no so equivalentes! A contrria de p - q tamb%m % denominada a inversa de p - q e a contrapositiva de p - q outra coisa no % que a contrria da rec$proca de p -* q e por isso tamb%m % denominada contra8rec$proca de p - q! (amb%m se diz que p -+ q % a direta em relao >s associadas!
E emplos*
Aqui, a condicional p q % vcrdadeira3Q5, mas a sua rec$proca q p% talsa3l8V5!
e
-
p8cq
q@dp
@p8 d888q
f@q8c888p
365 0eja acJar a contrapositiva da condicional& Z0e % menor que zero, ento no % positivo[! )epresentando por p a proposio Z % menor que zero[ e por q a proposio Z % positivo[, a condicional dada sob forma simbElica escreve8se& p - @q, e por conseguinte a sua contrapositiva %& q8p q8d p isto %, em linguagem corrente& Z0e % positivo, ento no % menor que zero[! 3N5 0eja demonstrar a proposio condicional& p - q & 0e 9 % $mpar, ento % $mpar A contrapositiva desta condicional %& 8q8c f88p & 0e % par, ento 9 % par que vamos demonstrar ser verdadeira! 'om efeito, suponJamos par, isto %, = 9n3n E v5! 'orno 9 = 9!9n9 segue8se que 9 % par! *ogo, a contrapositiva % verdadeira, e por conseguinte a proposio condicional dada p -+ q tamb%m % verdadeira! 3;5 -eterminar& 3a5 A contrapositiva da contrapositiva de p - q 3b5 A contrapositiva da rec$proca de p -+ q 3c5 A contrapositiva da contrria de p * q )esoluo 3a5 A contrapositiva de p@d q % q@dp! E a contrapositiva de 3b5 A rec$proca de p - q % q8c p! E a contrapositiva de q - p%& @p - fq! 3e5 A contrria de p -+ q % @p -* f@q! E a contrapositiva de @p -* 88q %& qpq8p! +bserve8se que a rec$proca e a contrria so cada uma a contrapositiva da outra e que a condicional e a contrapositiva so cada uma a coritrapositiva da outra! (6) -eterminar& 3a5 A contrapositiva de p - 3b5 A contrapositiva de @p -+ q 3e5 A contrapositiva da rec$proca de p - 3d5 A rec$proca da contrapositiva de p 62 EDGARD DE ALENCAR FILHO
)esoluo 3a5 A contrapositiva de p -+ @q %& qpq88p 3b5 A contrapositiva de @p - q %& 3c5 A rec$proca de p - @q % f8q -+ p! E a contrapositiva de @q - p %& p8qp8q 3d5 A contrapositiva de @p * @q %& @8q88p q8p Earec$procadeq8\p % p8dq! 3S5 -eterminar& 3a5 A contrapositiva da rec$proca de = + -+ ^ 4 3b5 A contrapositiva da contrria de ^ 4 -* ^ 6 )esoluo 3a5 A rec$proca de = + - ^ 4 % ^ 4 -* = +! E a contrapositiva desta rec$proca % g + - ^ 4! 3b5 A contrria de ^4 @ ^6 % ^4 8d ^6! E a contrapositiva desta contrria % ^6 - ^ 4! F! NECAI?+ '+NY1N(A -E -1A0 ")+"+0.IPE0 -efinio 'Jama8se negao conjunta de duas proposies p e q a proposio Zno p e no q[, isto %, simbolicamente Z8f8p A A negao conjunta de duas proposies p e q tamb%m se indica pela notao Zp . q[! "ortanto, temos& pN qX@pA q 'omo a proposio Z88p A q[ % verdadeira somente no caso em que p e q so ambas falsas, ento, a tabela8verdade de Zp q[ % a seguinte& p q pNq QQ2 Q22 2Q2 22Q
S! NEGA=O DISHUNTA DE DUAS "RO"OSIES D'2 $ 34o 'Jama8se negao disjunta de duas proposies p e q a proposio Zno p ou no q[, isto %, simbolicamente Z88p Q @fq[! A negao disjunta dc duas proposies p e q tamb%m se indica pela notao Zp t q[! "ortanto, temos& ptqXX8pQ q 'omo a proposio Z88p v QCR % falsa somente no caso em que p e q so ambas verdadeiras, ento, a tabela8verdade de Zp t q[ % a seguinte& p q ptq QQ2 Q2Q 2QQ 22Q +s sfmbolos % Zt[ so cJamados Zconectivos de 0'nE22E)[!
E?ERC@CIOS
4! /ostrar que as proposies p e q so equivalentes 3p ci) em cada um dos seguintes casos& 3a5p&l\6No q&3l\6594F 3b5 p&sen+h4o q&cos+h< 3c5 p&9h 4o q&4r^N 3d5 p& XBo q& czXBcz3 ,B,zE)5 3e5 p & % paro q & + 4 % $mpar 3 v5 3f5 p & + triDngulo A,' % isEsceles 3A, A'5o q & +s Dngulos , e ' so iguais 3g5 p&a!*bo q&b!*a 3J5 p&a..bo q&b..a 3i5 p & + triDngulo A,' % retDngulo em Ao q & a9 = b9 +
!)
9! k primir a bicondicional p 4* q em funo dos trs conectivos& A, Q e )esoluo (emos& p q 3p q5 A 3q -+ p5 pqp V q q -* p q V p Portanto: pq3V8p v q5 A (q Q p5! 6! k5cmonstrar por tabelas8verdade as seguintes equivalncias& 3a5 pA3pQq5Xp 3b5 pQ3pAq5sXp 3c5 pc@p A qp8cq 3d5 qc@dp Q qpgdq (e) (p A(pr)p-qA r (1) (g) (p 8\rXp A 8f8r8d8q N! Mostrar que as proposies Z = 4 Q ^6[ e Z@3 ^ 6 A = 45[ no so equivalentes! ;! -emonstrar que o conectivo /! Z3Zou[ e clusivo5 e prime8se em funo dos trs conectivos --, A e Q do seguinte modo& p b qVXX3p V q5 A -(p A q5 -em! 'om efeito, as tabelas8verdade de Zp b! q[ e Z3p v q5 A @f3p A o5[ so idnticas& F! -emonstrar que os trs conectivos ---, Q e A e primem8se em funo do conectivo . Zde 0'nE22E) do seguinte modo& 3a5 @pXpp 3b5 3c5 pAq3pNp5l3q!q5
p q 2
3p
ci 5 Q
( p
q5
Q Q
Q 2 2 Q 2 2 Q Q 2 Q 2 2 Q Q 2 2 Q 2 Q Q 2
Q Q Q
Q 2 2
2 2 2
2 Q 2
3a5 2 2 2Q Q
4.
S! -emonstrar por tabelas8verdade que os trs conectivos , Q e A e primem 8s em funo do conectivo t de 0'nE22E) do seguinte modo& 3a5 w@pVXptp 3b5 pQq8XX3ptp5t3qtq5 3c5 pAqX3ptq5t3ptq5 :! 0abendo que as proposies p e q so verdadeiras e que a proposio r % falsa, determinar o valor lEgico 3Q ou 25 das seguintes proposies& 3a5 38pq5A3qt888r5 3b5 33ptq5 Q3qr55t3rp5 3c5 3p t @q588\33q r5 p5 3d5 33ptp5q5i!3qAr5
pq 3b5
v v
1 F 3p q5 NV3p q5
v 2 v 2
3c5
v v 2 2 v
1
v 2
v
2
1 1
+
1 1
v v
1
v
1
v
1 1 1 K
pvq
pAq
j;-:-j; j--j-
3p p5 3c
7! -emonstrar que o conectivo Q e prime8se em funo unicamente de pela equivalncia& p Q q 3p - q5 -* p! 4<! -emonstrar que a negao conjunta e a negao disjunta gozam da propriedade comutativa, isto %& pN8qXqN!p e ptqXqfp 44! -emonstrar& 33p t f8p5 t 3p t p55 p A p 49! -emonstrar que as seguintes proposies so contingentes& 3a5 3pq53@qtp5 3b5 (pt(qvr))*---r 3e5 33pp5 vq5.38!q A@r5
Captulo -
vv 22
345 glA _lX _l 3ii5 ^+A ^+XX ^+
v v
Assim, p! e !, temos& (h) 'omutativa& p A q q A p -em! 'om efeito, so idnticas as tabelas8verdade das proposics p A q e q A p, ou seja, a bicondicional p A q q A p % tautolEgica&
v v 2 2 v 2
v 2
vg v
22 22 22
v v v v
q
pAq
q A p
pAq\@dqAp
Assim, p! cx., temos: (i) x1Ax>O=x>OAx1 3ii5 ir>3 A n<4e=*ir<4 A ir>3 3iii5 U 4 A ^6 ^6 U 1 (e) Associativa: (p A q) A r p A (q A r) Dem. (um efeito, so id%nticas as tabelas-verdade das proposies 3p A q5 A r e p A (q A r): Observe-se que a bicondicionai (p A q) A r + p A (q A r) tautolgica. Assim, p. ex., ternos: (i) (ab Ab_c)Ac<d=ab A(b*cAc<d) (ii) (x*OAX>1)Ax<3=x_OA(X>1Ax<3)
(d) Identidade: Dem. Com p, p A e e e, lgicas: pAtp e pAc>c efeito, so idnticas as tabelas-verdade das proposies p A t e ou seja, as bicondicionais p A t 4 p e p A e ** e so tauto
Q2Q2 2Q222
vv vv
Estas propriedades exprimem que t e e so respectivamente elemento neutro e elemento absorvente da conjuno!
v v v v 2 2 2 2 v v
F
2 v v
F
2 v
F
v
F
v
F
v 2
v v
2 2 2 2 2 2
v 2 2 2 2 2 2
t
v
F
2 2
v
2 2 2
v
2 2 2 2 2 2 2
-
t
e P t P e p t+p P
1
pqrp Aq
(pAqjAr
qA r
pA(qr )
Assim, p! e !, temos& (i) x*lAIxIO.=x*l (ii) x_1AxI<O=IxI<O 9! ")+").E-A-E0 -A -.0Y1NI?+ 0ejam p, q e r proposies simples quaisquer e sejam t e c proposies tamb%m simples cujos valores lEgicos respectivos so Q3verdade5 e 23falsidade5! 3a5 .dempotente& p v
pp
*
-em! 'om efeito, so idnticas as tabelas8verdade das proposies p v p e p, ou seja, a bicondicional p v p p % tautolEgica& Assim, p! e !, temos&
vv
2F
tt
(i) x_OVxO-=x*O 3ii5 xlV xl=x1
v v
3b5 'omutativa& p
vqqvp
qe
vv vv vv
22 (i) x#1vxO=xOvx_l 3ii5 a>bv b<c==b<cv aUb
v v v v 4 pvppvpgdp
v v 2 2 v 2 v 2
1
p q pv
q
q v p
pvq qvp
3c5 Associativa& 3p v q) v r p v (q v r5 -em! 'om efeito, so id%nticas as tabelas8verdade das proposies 3p v ci5 v r e p v (q v r5&
vvvvvvv
QQ2QQQQ Q2QQQQQ Q22QQ2Q 2QQQQQQ 2Q2QQQQ 22Q2QQQ 2222222 +bserve8se que a bicondicional 3p v q) v r p v 3q v r5 % tautolEgica! Assim, p! e !, temos& (i) (X_1VX2)VX<4=x_1V(X2Vx<4) (ii) (abVbc)vc<d4==a_bv(bcvc<d) 3d5 .dentidade& pQtXt e pQc!cXp -em! 'om efeito, so idnticas as tabelas8verdade das proposies p V t e t, pQ c e c, ou seja, as bicondicionais pQ t@dt e pQcc@dp so tautolEgicas& p t e iLpvt pvc pv t@t pvc*p QQ2QQQQ 2Q2Q2 Q Q Estas propriedades e primem que t e e so respectivamente elemento absorvente e elemento neutro da disjuno! Assim, p! e !, temos& 3i5 l V j+X j+ (ii).x#1vIxJ<O=x_i 3iii5 x_OV 9 <O=x_O
py q
(pvqjvr qvr
<. "RO"RIEDADES DA CONHUN=O E DA DISHUN=O 0ejam p, q e r proposies simples quaisquer! 3a5 -istributivas&
(i) pA(qv r)==(pA q)v(pA r) 'ii) pv(qAr)c=(pvq)A(pv r) D'5. F G Co5 efeito, so idnticas as tabelas8verdade das proposies pA(qvr) e(pAq)v(pAr):
v v v
1 1 1 1
t
v v
1 1 1 1 1 1
v
1
v
2
1 1 1 1
vvvv
Q-1-1--111 2QQQ 1-111-22 2 2 +bserve8se que a bicondicional p A 3q v #G
3p A q5 v 3p A r5 % tautolEgica!
A 3p Q r5&
v v v
1 1 1 1
1
v v v v v
1 1 1
t
v v v v v v
1 1
v v v v v
1
v
1
vvvv
Q-11 -1-1 -111 1QQQ 1-11 11-1 1111 +bserve8se que a bicondicional p v 3q A r5 3p v q5 A 3p v r5 % tautolEgica! A equivalncia 3i5 e prime que a conjuno % distributiva em relao > disjuno e a equivalncia 3ii5 e prime que a disjuno % distributiva em relao > conjuno!
v v v
v v
1 1 1
t
1
pq r
qQr
pA3qQr5
pAq
pAr
3pAq5v3pAr5
pq r
qr
pv3qAr5
pv q
pvr
3pvq5A3pvr5
Z'arlos estuda e Yorge ouve m#sica ou l[ % equivalente > seguinte proposio& Z'arlos estuda e Yorge ouve m#sica[ ou Z'arlos estuda e Yorge l[ 0egundo 3ii5, a proposio& Z'Jove ou (az vento e frio[ 3b5 Absoro& Z'Jove ou faz vento[ e Z'Jove ou faz frio[ 3i5 pA3pvq5!XX&p 3ii5 pv3pAq5Xp
-em! 3i5 'om efeito, so idnticas as tabelas8verdade das proposies p A 3p v q5 e p, ou seja, a bicondicional p A 3p v q5 * p % tautolEgica& 3ii5 Analogamente, so idnticas as tabelas8verdade das proposies p Q 3p A q5 e p, ou seja, a bicondicional p v 3p A q5 p % tautolEgica&
72
v 2 v 2
v v
2 2
t
v v v
2
v v
2 2
t
v v v v
v 2 v 2
v v
2 2
1
v
2 2 2
v v
2 2
t
v v v v
p v q
pA3pQq 5
pA3pQq5@cp
pqp Aq
pv3pApv3pAp
3c5 )egras de -E /+)CAN 34:<F84:S45& 3i5 83pAq588Vpvq 3ii5 pvq5VXX@pAV8q -em! 3i5 'om efeito, so idnticas as tabelas8verdade das proposies @3p Aq5 e
f@pv @q&
+bserve8se que a bicondicional @3p A q5 @p v @q % tautolEgica! 3ii5 Analogamente, so idnticas as tabelas8verdade das proposies 883p v q5
e @p A 88q&
+bserve8se que a bicondicional np V q5 ** 88p A q % tautolgica. As )egras de -E /+)CAN ensinam& 3i5 Negar que duas dadas proposies so ao mesmo tempo verdadeiras equivale a afirmar que uma pelo menos % falsa! 3ii5 Negar que uma pelo menos de duas proposiPes % verdadeira equivale a afirmar que ambas so falsas! Estas )egras de -E /+)CAN podem e primir8se ainda dizendo que a negao transforma a conjuno em disjuno e a disjuno em conjuno! Assim, p! e !, segundo 3i5, a negao da proposio& % a proposio& Zl inteligente e estuda[
v v
F
v 2 v 2
v
2
F F
2 2
v v
2
v v v
t
2
v
2 v
2
v v v v v v
2
2 2 2 v
t
2 2 v v 2 v
2 v 2 2 2 v
t
ZNo % inteligente ou no estuda[
p q
"Aq
@f3p A q5
@ p
f@ q
@p v @q
p q
pq
(pvq)
8p
@ q
@pAV8q
v v
0egundo 3ii5, a negao da proposio& &' mEdico ou professor[ % a proposio& ZNo % m%dico e no % professor[ NOTA As )egras de -E /+)CAN mostram como % poss$vel definir a disjuno a partir da conjuno e da negao! conjuno a partir da disjuno e da negao& p v q=(---pA q) p A q 88388p v f8q5
OU a
N! NECAI?+ DA CONDICIONAL 'omo p - q f@p V q 3'ap! F, x6, E ! N5, temos& v q5XX@!888Vp A ou seja& - q5 p A q Esta equivalncia tamb%m % demonstrada pelas tabelas8verdade das proposies q5 e p A q, que so idnticas& QQQ222 Q22QQQ FVQ 2 E 2
11-1-1
N+(A A condicional p - q no goza das propriedades idempotente, comutativa e associativa, pois, as tabelas8verdade das proposies p - p e p, p * q e q - p, 3p -+ q5 - r e p 3q -+ r5 no so idnticas! 5. NEGA=O DA /ICONDICIONAL 'omo p q 3p -+ CG A 3q - p5 3'ap! F, x6, E ! ;5, temos&
q) A(qVp)
p q
p8q
3pq5qpAq
E?ERC@CIOS
4! -emonstrar as propriedades comutativa e associativa da bicondicional, isto %&
v v
1 F F
v v
1
t
v
1 F
v v
1
v
1
v v
1 1 1
v
1 F 1
v
1
v
1 1
v v
1
v v
1
t
1 1
v
1
v
1
v
2
v v
1 1
v
1
v
1
v
F F
v
1
v v
1
t
2
v
1
v
2
v v
1
t
2
1
v v
2
v v
2
3 p
q 5
3 p
f@ q5
(p
q5
pu@dq
83p\@dq5
8 q
pq8 p
8pc88cq
-em!
(a) 'om
qA r e
3p q5 A (p
-
e A equivalncia 3a5 e prime que a condicional % distributiva > esquerda em relao > conjuno e a equivalncia 3b5 e prime que a condicional % distributiva > esquerda em relao > disjuno! A condicional no % distributiva > direita em relao a nenJuma dessas duas operaes 3conjuno e disjuno5! 6! -ar a negao em linguagem corrente da proposio& Z)osas so vermelJas e violetas so azuis[!
INICIAO LGICA MATEMTICA II
)esoluo -enotando por p a proposio Z)osas so vermelJas[ e por q a proposio ZQioletas so azuis[, a proposio dada sob forma simbElica escreve8se Zp A q[, cuja negao % Z@3p A q5 @p v f@fq[! *ogo, a negao da proposio dada em linguagem corrente %& Z)osas no so vermelJas ou violetas no so azuis[ N! -ar a negao em linguagem corrente de cada uma das seguintes proposies& 3a5 . falso que no est frio ou que est cJovendo! 3b5 No % verdade que o pai de /arcos % pernambucano ou que a me % ga#cJa! 3c5 No % verdade que as vendas esto diminuindo e que os preos esto aumen tan do! 3d5 No % verdade que Yorge estuda 2$sica, mas no Tu$mica! ;! -emonstrar as seguintes )egras de -E /+)'AN para trs componentes& 3a5 3p A q A r5 p vq v r 3b5 @3pvqvr58pAqA88r F! -emonstrar por Z.nduo matemtica[ as seguintes Z"ropriedades distributivas generalizadas[& 3a5 p A 3qi v q v ... Qq5X3p A qi)v (p A q2)v ... V 3p A q) 3b5 pv3q.Aq9A!!! Aqn)=(pvq1)A(pvq2)A... A(pvq)
Captulo /
01todo 2edutivo
4! (odas as implicaes e equivalncias foram demonstradas at% aqui pelo Z/%todo das tabelas8verdade[! Qamos agora e emplificar a demonstrao de implicaes e equivalncias por um m%todo mais eficiente, denominado Z/%todo dedutivo[! No emprego do Z/%todo dedutivo[ desempenJam papel importante as equivalncias relativas > ZOlgebra das "roposies[, que, observamos, subsistem quando as proposies simples p, q, r, t 3verdadeira5 e c 3falsa5, que nelas figuram,so substitu$das respectivamente por proposies compostas ", Q, ), ( 3tautolegia5 e ' 3contradio5!
!. E?EM"LI1ICA=O
345 -emonstrar as implicaes& 3i5 cp 3ii5 pXt onde p % uma proposio qualquer e e e t so proposies cujos valores lEgicos respectivos so 23falsidade5 e Q3verdade5! -em! (emos, sucessivamente& 3i5 c8\p88c QpXtvpt 3ii5 +bserve8se que as tabelas8verdade de e p e p * t mostram que estas condicionais so tautolEgicas&
c Q2
t Q
c8\p
p8ct
11
A q5 ==pV 'X@p 34N5 -emonstrar a equivalncia& p A q -* r p * 3q r5 3E portao8.mportao5 -em! (emos, sucessivamente& p83q8r5pv3q8dr5XX8!8p Q3V8q v r5X3@pv f@q5v r
8f83p A q5 v
r p A q -+ r 34;5 -emonstrar a equivalncia& 3p - r5 A 3q * r5 p v q -em! (emos, sucessivamente& 3p8\r5 A3q8cr5XX3@pv r5A 3@qv r5XX38V88p A 8f8q5Q r 8f83p v ci5 v r p v q -+ r
34F5 -emonstrar a equivalncia& (p - q5 v (p -* r5 p -+ q v r D'5. T'5o(, sucessivamente& 3p8\q5 v 3p@dr5 X3@p V q) V (-.-p v r53@p v --p) v(q v r5 p v 3q v r5 p q Q r
INICIAO LGICA MATEMTICA 81
34S5 -emonstrar a equivalncia& 3p - r5 v 3q -* s) p A q (p-r) v (q*s) =(-p V r) (pA q)v (rV s)pA q-.rV s 34:5 -emonstrar as equivalncias& (a) p=pp (b) pAq(pp)(qlq) (e) pvq=(pq)(pq) (d) pgdq33pp5Nq5N33pN8p5Nq5 D'5. (emos, sucessivamente&
FaG
(h) p A qp A qp q==(p p)(q q) (c) p v (1(PA q)-(p q5X3p q) N (p q) (d) pqp v q(pA q)(p A q) q5 3@p N q5X33p p5 q5 N 33pNV p5 NV q5 3475 -emonstrar as equivalncias& (a) p==ptp 3b5 pAqNXV3ptq5t3ptq5 3c5 pvqX3ptp5t3qtq5
3d5 p8\qXXpf3qtq5 Dem. Temos, sucessivamente& 3a5 p8pv 8pXXpfp (b) p A v -q)=(p t q53p t q5 t 3pt q 3c5 pvqpvqpt8qXX3ptp5t3qtq5 (d) p-q=pV q==pV qptq=>pt(q q)
<. REDU=O DO NVMERO DE CONECTI-OS T'o#'5a E$t#' os cinco conectivos fundamentais (, A V trs e primem8se em termos de apenas &o ( dos seguintes pares&
, , -,
(1) e V (2)
, *
e A (3)
-*
D'5. Co5 '2' toI 345 A ' * e primem8se em termos de ' Q p A q --p A ---q N9Fp V -q)
p_*qp V q
(2) V , e 4* e primem8se em termos de - e A pvq-pV-q-(---pA----q) p8dq88p v q=--(p A -q) q)A (--p A ci) 365 A , v e e primem8se em termos de e -* p AqX8XV8388pQ fq5V83p8!8Vci5 p V q88888p V q-p-*q pc@cqX3p8dq5 A3q8p5XX88833p8cq588dV8883q8dp55 +s conectivos A , V e * no se e primem em termos de e +. + conectivo v e prime8se em funo unicamente de * pela equivalncia& p v qX3p8dqj8cq! (odos os 'onectivos e primem8se em termos de um #nico& ou f, conforme mostrou A! /! 0'nE22E) em 4746 39, E ! 4: e 475!
4. 1ORMA NORMAL DAS "RO"OSIES D'2 $ 34o D T9(' Cu' u5a p#opo( 34o '(tW $a 2o#5a $o#5al F1NG (' ' somente se, quando muito, cont%m os conectivos A ' V
-,
E emplificando, esto na forma normal 32N5 as seguintes proposies& @pA88q, --(--pv----u), 3pAq5v3@qvr5 (oda a proposio pode ser levada para uma 2N equivalente pela eliminao dos conectivos e , se e istirem, isto %, pela substituio de p * q por @p v q e de p q por 3@p v CG A 3p v @q5! n duas esp%cies de 2N para uma proposio& a forma normal conjuntiva 32N'5 e a forma normal disjuntiva 32N-5, que a seguir vamos definir e e emplificar!
E emplificando, esto na 2N' as seguintes proposies& pvV8q, f8p AqAr, (pvA(-qV--r) "ara toda proposio pode8se determinar uma 2N' equivalente mediante as seguintes transformaes& 345 Eliminando os conectivos e mediante a substituio de p -* q por fp v q e de p 4* q por 3f8p v q5 A 3p v @q5o
395 Eliminando negaes repetidas e parntesis precedidos de pelas regras da Z-upla negao[ e de Z-E /+)CAN[o 365 0ubstituindo p v 3q A r5 e 3p A q5 v r pelas suas equivalentes respectivas (p v q) A (p v r) e (pv r) A
(q v r).
bxemplos: 345 -eterminar a 2N' da proposio @3ftp v q5 A @q5 v 3q r55 )esoluo (emos, sucessivamente& 833p v q5 A q5A @3q A r5X3@3p v q5 Q f@8q5 A 3f8q v fr5!X +bserve8se que uma outra 2N' da proposio dada %& 3fp v q5 A 3@q v 8r5 equivalente > anterior! Assim sendo, uma mesma proposio pode ter mais de urna 2N', mas equivalentes! 395 -eterminar a 2N' da proposio& 3p - q5 4* ( q -* p5 )esoluo (emos, sucessivamente& v q5 V 3q v 8p55 A 3T@p v q5 v @3q v p55 33@f8p A q5 v 3q v @p55 A 33@p v q5 v 3@q A @8p55 33p A q5 v 3q v p55 A 33p v q5 v 38q A p55 3pvqvp5A3qvqvp5A3@pv qv8q5A388pv qvp) +bserve8se que a proposio dada % tautolEgica, pois, cada elemento da sua 2N' % tautolEgico! )ealmente, o 47 elemento cont%m p e p, o 97 elemento cont%m q e 8q, o 67 elemento cont%m q e @q, e, finalmente, o N7 elemento cont%m p e -e modo geral, % tautolEgica toda a proposio cujos elementos da sua 2N' encerram, cada um deles, uma proposio e a sua negao, isto %, cujos elementos so todos tautolEgicos! 84 EDGARD DE ALENCAR HL-iu 365 -eterminar a 2N' da proposio& p * q v f@fr )esoluo (emos, sucessivamente& 3p83qv r))A((qv r58p5 3pvqvr5A3@3qvr5vp5 ( p v q V - r) A 33f q Ar) v p) (-pv qV -r)A (Pv q)A (pv r) F! 2+)/A N+)/A* -.0Y1N(.QA -efinio -iz8se que uma proposio est na forma normal disjuntiva 32N-5 se e somente se so verificadas as seguintes condies& 345 'ont%m, quando muito, os conectivos , A e V 395 no aparece repetido 3como ) e no tem alcance sobre A e V 3isto %, sE incide sobre letras proposicionais5o 365 A no tem alcance sobre v 3isto %, no J componentes do tipo p A 3q V r55! E emplificando, esto na 2N- as seguintes proposies& pvq, pv(qAr), (pAq)v(pAqAr) "ara toda proposio pode8se determinar uma 2N- equivalente mediante as seguintes transformaes& 345 Eliminando os conectivos * e mediante a substituio de p -+ q por pvqedep\qpor3pvq5A3pvg5o 395 Eliminando negaes repetidas e parntesis precedidos de pelas regras da Z-upla negao[ e de Z-E /+)CAN[o 365 0ubstituindo p A 3q Q r5 e 3p v q5 A r pelas suas equivalentes respectivas (p A qv (p A r) e (p A r) v (q A r).
(remplos:
345 -eterminar a 2N4 da proposio& 3p - q5 A 3q - p5 )esoluo (emos, sucessivamente& (p v q) A(qV p)((p v A q)v((pv qA p) (pAv(qAv(_pAp)v(pAq) +bserve8se que urna outra 2N- da proposio dada % 3@8p A f@q5 v 3p A q5, equivalente > anterior! "ortanto, uma mesma proposio pode ter mais de uma 2N-, mas equivalentes! INICIAO LGICA MATEMTICA 85 395 -eterminar a 2N- da proposio& @333p v ci5 A @ci5 v 3q A r55 )esoluo - (emos, sucessivamente& @33pv q5 A q) A (qA r5X (pvq)v)A(qVr)= ((pAv)A(qvr)= (((-p A q) v q) A o) v (((-p A-q) v q) A 8@8r5
+bserve8se que uma outra 2N- da proposio dada %& 3p A v (p A q A r5 v 3q A r5 equivalente > anterior! .mporta notar que % contravlida toda a proposio cujos elementos da sua 2N- encerram, cada um deles, uma proposio e a sua negao, isto %, cujos elementos so todos contravlidos! S! ").N'G".+ -E -1A*.-A-E 0eja " uma proposio que sE cont%m os conectivos , A e V . A proposio que resulta de " trocando cada s$mbolo A por V e cada s$mbolo v por A cJama8se a dual de "! Assim, p! e !, a dual de @33p
A o5 v @r5 % @33p v q5 A -- r5!
"rinc$pio de dualidade& 0e " e Q so proposies equivalentes que sE contm os conectivos - A e v , ento as suas duais respectivas "4 e Q1 tamb%m so equivalentes! Assim, p! e !, da equivalncia p A 3p v q5 p deduz8se, pelo "rinc$pio dc dualidade, a equivalncia p v 3p A q5 p! Analogamente, a partir de 3p A @p5 v q q deduz8se, pelo "rinc$pio dc dualidade& 3p v @@p5 A q q!
9! 0implificar as proposies& 3a5 3p q5 3b5 3p v q v (p A q) )esoVuo (emos, sucessivamente& 3a5 3b5 3p vq)v (p A5X3@p A-q)V (-pA q)pA(qV q) A T=p 3. 0implificar as proposies& 3a5 f83p v q5 3b5 A q5 (c) &pvq) (d) (pvq)A p (e) (p-q)A (p-*q) (f) pA (pq)A (p-q) 4. Demonstrar a equivalncia: p * q 33p f p5 t 3p t p55 t 3q t ci) 5. Usar o Mtodo dedutivo para demonstrar: 3a5 pA--pq (b) --p--pp 3e5 p8dp Aqp8q 3d5 3p848\qXp v q 3e5 3p8r5v3q8r5Xp A q8cr (f) (p-q) (p- r5Xp8q Ar F! -emonstrar& ptq q55 S! -eterminar uma forma normal conjuntiva 32N'5 equivalente para cada uma das seguintes proposies& 3a5 p8q 3b5 p@dV88p 3e5 p@\V88p 3d5 pvp 3e5 ptq 3f5 ptp (g) pt-p (h) pq 3i5 3p Ap5N3qAq5 !) 388p Aq5 q 3]5 3ptq5c@dp 345 8p3qvp5 3m5 pt83q r5 3n5 338ptV8q55N3r8!@8p5 :! -eterminar uma forma normal disjuntiva 32N-5 equivalente para cada uma das seguintes proposies& 3a5 (-pv-q) 3b5 3p8!q5 3c5 3p8dq5ij @p 3d5 f83p v q5 3e5 3p - c5 v @p 3f5 3p A q5 3g5 pv p 3J5 pc8\888p
Captulo
Em outros termos, um argumento "4, "9, . . , " 4@ Q % DWl &o se e somente se ll5r Q o valor lEgico da cbncluso Q todas as vezes que as premissas "4, "9, . tiverem o valor lEgico Q! "ortanto, todo argumento vlido goza da seguinte propriedade caracter$stica& A verdade das premissas % incompat$vel com a falsidade da %o$%lu(4o. 1m argumento no8vlido diz8se um sofisma! -este modo, todo argumento tem um valor lEgico, digamos Q se % DWl &o 3correto, leg$timo5 ou 2 se % um sofisma 3incorreto, ileg$timo5! As premissas dos argumentos so verdadeiras ou, pelo menos admitidas como tal! Alis, a *Egica sE se preocupa com a validade dos argumentos e no com a D'#&a&' ou a 2al( &a&' das premissas e das concluses! A validade dc um argumento depende e clusivamente da relao e istente entre as premissas e a concluso! "ortanto, afirmar que um dado argumento % vlido significa afirmar que as premissas estio de tal modo relacionadas com a concluso que nfio % poss$vel ter a concluso falsa se as premissas so verdadeiras!
% vlido, ento o argumento da Zmesma forma[& "43), 5, T , P1(R, S, (,!!!5 T3), S, T,...) tamb%m % vlido, quaisquer que sejam as proposies ), 0, (, . .
INICIAO LGICA MATEMTICA 89
E emplificando, do argumento vlido p2@p Q q 345 segue8se a validade dos argumentos& 3@p A r5 n@38p A r5 Q 38s8c r5o (p-r v s5@3p88dr Q s5 Q 3f8r As5
pois, ambos tm a mesma forma de (1). "ortanto, a validade ou no8validade de um argumento depende apenas da sua forma e no de seu
conte#do ou da verdade e falsidade das proposies que o integram! Argumentos diversos podem ter a mesma forma, e como % a forma que determina a validade, % l$cito falar da validade de uma dada forma ao inv%s de falar da validade de um dado argumento! E afirmar que uma dada forma % vlida equivale a asseverar que no e iste argumento algum dessa forma com premissas verdadeiras e uma concluso falsa, isto %, todo argumento de forma vlida % um argumento vlido! Qice8versa, dizer que um argumento % vlido equivale a dizer que tem forma vlida!
p-+qVr, s, qVr*sHs--pAq
90 EDGARD DE ALENCAR FILHO
). ARGUMENTOS -.LIDOS 1UNDAMENTAIS 0o argumentos vlidos fundamentais ou bsicos 3de uso corrente5 os constantes da seguinte lista& 4! Adio 3A-5& 345 pi@pvqo 3ii5 pf@qvp ..! 0implificao 30./"5& (i) pA qip; 3ii5 p Aqq ...! Conjuno (CONJ): (i) p, q i p A q; 3ii5 ), 3Y PQ l A p .Q! Absoro (ABS): p -* q F p - (p A l5 Q! /odus ponens 3/"5& p8\q, p2@q Q.! /odus toliens 3/(5&
p*q, qH-p
Q..! 0ilogismo disjuntivo 30-5& 3i5 pv q, 88pi88888@qo 3ii5 pv q, @qn8@p Q..p! 0ilogismo Jipot%tico 30n5& p8cq, q8cr.888@p8\r
W! -ilema destrutivo 3--5& p-q, r8ds, qV---sI--pV--r A validade destes dez argumentos % consequncia imediata das tabelas8verdade constru$das no 'ap$tulo ; e do (eorema anterior! F! )EC)A0 -E .N2E)sN'.A +s argumentos bsicos da lista anterior so usados para fazer Zinferncias[, isto %, e ccutar os Zpassos[ de uma deduo ou demonstrao, e por isso cJamam8se, tamb%m, regras de inferncia, sendo Jabitual escrev8los na forma padronizada abai o indicada colocando as premissas sobre um trao Jorizontal e, em seguida, a concluso sob o mesmo trao! 4! )egra da Adio 3A-5o 3i5 " 3ii5 " pvq qQp l.! )egra de 0implificao 30./y5& 3i5 3ii5 "A p ...! )egra da 'onjuno 3'+NY5& 3i5 3ii5 " qq pq qAp .Q! )egra da Absoro 3A,05& p8Uq p -* 3p A q5 Q! )egra /odus ponens 3/"5& p8q p q
92 EDGARD DE ALENCAR FILHO
Qil! )egra do 0ilogismo disjuntivo 30-5& 3i5 pvq 3ii5 pvq 4 Q...! )egra do 0ilogismo Jipot%tico 30n5& pcq q8dr p8dr .W! )egra do -ilema construtivo 3-'5&
p-*q
pQ r qV s W! )egra do -ilema destrutivo 3--5& p8dq r - s f@q v 88s p V f8r 'om o au ilio destas dez regras de inferncia pode8se demonstrar a validade de um grande n#mero de argumentos mais comple os! S! EWE/"*+0 -+ 10+ -A0 )EC)A0 -E .N2E)sN'.A -amos a seguir e emplos simples do uso de cada uma das regras de inferncia na deduo de concluses a partir de premissas dadas! 4! )egra da Adio -ada uma proposio p, dela se pode deduzir a sua disjuno com qualquer outra proposio, isto %, deduzir p v q, ou p v r, ou s V p, ou t Q p, etc!
INICIAO LGICA MATEMTICA 93
Eemplos* (a) 345 p P (b) (1) p " 395 pv --q (2) qv --p 3c5 345 p A q P (d) (1) p v q P 395 3p A q5 v r 395 3r A s5 v 3p v cij
x=2V x<1
..! )egra da 0implificao Da conjuno p A q de duas proposies se pode deduzir cada urna das proposies, p ou q!
E eniplos:
3a5 345 3p v q5 A r P (b) 345 p A f@q P 395 pvq 395 8q 3c5 345 x>OAx_1 P (d) (1) xEAAxEB P 395 d4 395 A ...! )egra da 'onjuno "ermite deduzir de duas proposies dadas p e q 3premissas5 a sua conjuno p A q ou q A p 3concluso5!
E emplos:
3a5 345 pQ q " 3b5 345 pQ q " 395 88r " 395 qvr " (3) (pv q5A@r (3) (pv q)A(qv r) 3c5 (1) #+ P 3d5 (1) EA " 395 x>1 P (2) xB P 365 UlA ^; 365 xBAxEA
EDGARD DE ALENCAR FILHO
.Q! )egra da Absoro Esta regra permite, dada uma condicionai como premissa, dela deduzir como concluso uma outra condicional com o mesmo antecedente p e cujo consequente % a conjuno p A q das duas proposies que integram a premissa, isto , p - p A q*
-:re.,nplos:
Q! )egra /odus ponens (amb%m % cJamada )egra de separao e permite deduzir q 3concluso5 a partir de p q e p 3premissas5!
xcmp1os: (e) 345 g+c \BU4 395 g+ 3d5 345 pv r8dsA88q (2) --pv r
Q.! )egra /odus toilens "ermite, a partir das premissas p - q (condicional) e @q 3negao do consequente5, deduzir como concluso f@p 3negao do antecedente5!
395 WEA8WEAAWEA1,
3e5 365 r '3) LiA r " " p " 365 \BU4 3f5 365 eA E emplos: 3a5 '1) qAr*s P (2) -s P 3e5 " " (3) p 365 X+
3 6 5 3 4 5 3 9 5
Z8q
p8!qAr
"
"
3 6 5 3 4 5 3 9 5
sA8q
3 6 5 3 4 5 3 9 5
83qA r5
p@qQr
"
-(qvr)
'3 )
(1)
x_Oxrry
(2 )
x*y
Q..! )egra do 0ilogismo disjuntivo "ermite deduzir da disjuno p v q dc duas proposies e da negao @p 3ou @ci5 de uma delas a outra proposio q 3ou p5! /i0emplos: (3) pAq
395 Vgl
Q...! )egra do 0ilogismo Jipot%tico Esta regra permite, dadas duas condicionais& p - q e q - r 3premissas5, tais que o consequente da primeira coincide com o antecedente da segunda, deduzir uma terceira condicional p * r 3concluso5 cujo antecedente e consequente so respectivamente o antecedente da premissa p q e o consequente da outra premissa q r 3transitividade da seta i-v(-nlp1os:
3a5 345 @p88dq " 395 @q@U88r " 3c5 3b5 345 p-qvr 395 qvr-*----s 365 @p88d888s (d) (1) xI=O-*x=O (2) x=O*x+1=l " " (3) IxI=O-*x+ll 4W! )egra do -ilema construtivo Nesta regra, as premissas so duas condicionais e a disjuno dos seus antecedentes, e a concluso % a disjuno dos consequentes destas condicionais. " 3b5 345 ^B@d X9 " 395 ^B8d U9 " 365 ^Bv ^B " " " 3a5 345 3pAq5vr 395 @r " "
3b5 345 @pQ @q 395 p
E0emplos: 3a5 345 3p A q5@@r 395 s8\t 365 (pAq)vs (4) rVt 3N5 x=2Vx>2
(3 )
@q
(1)
(pci)v
-.-(p-*q)
"
395
"
(3 ) 345
p-*r
3p88ci588dr
" P
395
r-(qAs)
W! )egra do Dilema destrutivo . Nesta regra, as premissas so duas condicionais e a disjuno da negao dos seus consequentes, e a concluso % a disjuno da negao dos antecedentes destas condicionais!
I.Vctflp1os:
3a5 345 @q8cr " 3b5 345 cBXS@d X9 " (2) p8d8s " 395 B@ X98c X6 " (3)-rV--s P (3) x2Vx3 P (4) qvp (4) x+y_7Vy-x2 EWE)'G'.+0 4! 'onstruir a Zcondicional associada[ a cada um dos seguintes argumentos& 3a5 @p, q8pn@q 3b5 pcq@3pAq5 3c5 p, p8\ q, f88q v 3r A s52@g r As 3d5 XB ;, X0 ^z XB ^S
2. 'onstruir o argumento 3premissas e concluso5 correspondente a cada uma das seguintes condicionais&
3a5 p A(qV p)-.q (b) (p-+q)A 3pO f8q58ds (c) (x<OAy_x)-+x<OV y=x 6! .ndicar a )egra de inferncia que justifica a validade dos seguintes argumentos& 3a5 pq3pq5v r 3b5 pA3q8r5fg8gp 3c5 p8cq, q8dV88r88888 p@dV88r (d) p83q8cr5, p2@q8cr 3c53qvr58d8p, f8p288@3qvr5 (f) p-+q, r888sf8888g3p8cq5 A3r8d88s5 (h) p@qv rFp-+pA(qv r5 (i) \BzB\ zo !1z1! z
(2) (x=yA y=z)-*x=z (2) x,yeR (c) (1) (x>yA y>z)-x>z (d) (1) 2>l-*3>l (2) x>yAy>z (2) 2>1 (e) (1) x+12 3f5 345 8t8+XB8c XB (2) x+l=2*y+l=2 (2) x+O=y ;! Usar a regra Modus toliens para deduzir a concluso de cada um dos seguintes pares de premissas&
3a5 345 g+@d \BgB 3b5 345 Xz8d XF (2) \BXB (2) x6 3c5 345 3pc@dq58c8!83rAs5 3d5 345 U6@d UB (2) @8883rAs5 (2) x>y F! 1sar a regra do Z0ilogismo disjuntivo[ para deduzir a concluso de cada um dos seguintes pares de premissas& 3a5 (1) x+8=l2Vx_4 (b) (1) y<6Vxy<lO 395 \:g49 395 cB^4+ 3c5 (1) s V 3r A t) 3d5 345 f88pv @q
(2) s (2) q
S! 1sar a regra do Z0ilogismo Jipot%tico[ para deduzir a concluso dc cada um dos seguintes pares de premissas& 3a5 345 p8crv888s 3b5 345 X68c ^B 395 r \ @s8ct 395 ^B8d dz
(c) (1) sVt-rAq (d) (1) xy=6-*xy+511 (2) rAq-*-p (2) xy+511*y=2
:! 1sar a regra do Z-ilema construtivo[ para deduzir a concluso de cada um dos seguintes ternos de premissas& 3a5 345 p8cr 3b5 345 X;Q ^B (2) @fq88d@8s 395 x=5-x>3 365 pv--q (3) x<y*t<2
9. Usar a regra do Dilema destrutivo para deduzir a concluso de cada um dos seguintes ternos de premissas: (a) (1) p A q-r (b) (1) p*---r A q (2) q-r As (2) (-r A q5 v f8s
365 f8rQ @3r As) (3) 8q8cs 3c5 345 ^68! gB 3d5 345 Bg7QBgVl: 395 UN8d ^B (2) x=2-+y=9 365 Bv ^B 365 X:8cBXl:
Captulo 17
e reconJecer se esta condicional % ou no uma tautologia mediante a construo da sua respectiva tabela8 verdade! 0c esta condicional % tautolEgica, ento o argumento dado 345 % vlido! 'aso contrrio, o argumento dado 345 % um sofisma! !. E?EM"LI1ICA=O
345 Qerificar se % vlido o argumento& p - q, q j@p )esoluo 'onstruamos a seguinte tabela8verdade&
4-3
p@dq
Q Q 2 Q -
Q 2 -
1 1 1
As premissas do argumento dado figuram nas colunas 9 e 6, e a concluso figura na coluna 4! As premissas so ambas verdadeiras 3Q5 nas linJas 4 e 6! Na linJa 4 a concluso tamb%m % verdadeira 3Q5, mas na linJa 6 a concluso % falsa 325! *ogo, o argumento dado no % vlido, ou seja, % um sofisma, pois, a falsidade da concluso % compat$vel com a verdade das premissas! +bserve8se que esta forma de argumento no8vlido apresenta certa semelJana com a forma de argumento vlido /odus ponens! (em o nome de Z0ofisma de afirmar o consequente[! 395 Qerificar se % vlido o argumento& p -+ q, 8888pi@@ @q )esoluo 'onstruamos a seguinte tabela8verdade& As premissas do argumento dado figuram nas colunas 6 e N, e a concluso figura na coluna 5. As premissas so ambas verdadeiras 3Q5 nas linJas 6 e N! Na linJa N a concluso tamb%m % verdadeira 3Q5, mas na linJa 6 a concluso % falsa 325! *ogo, o argumento dado no vlido, ou seja, % um sofisma! +bserve8se que esta forma de argumento no8vlido apresenta certa semelJana com a forma de argumento vlido /odus tollens! (em o nome de Z0ofisma de negar o antecedente[! 365 Qerificar a validade do argumento& p - q, q 1 p )esoluo 'onstruamos a seguinte tabela8verdade& N84 As premissas do argumento dado figuram nas colunas 9 e 6, e a concluso figura na coluna 4! As premissas so ambas verdadeiras 3Q5 somente na linJa 4, e nesta linJa a concluso tamb%m % verdadeira 3Q5, isto %, no % poss$vel ter premissas verdadeiras e concluso falsa! *ogo, o argumento dado % vlido!
4-3 4-4
p8q
f@p
f@q
Q Q Q 2 2 Q 2 2 Q 2 Q Q 2 2 Q Q 2 Q 2 Q
pd@cq
Q Q Q2 2Q 22
Q 2 2 Q
As premissas do argumento dado figuram nas colunas N, 5 e F, e a concluso figura na coluna 6! As trs premissas so verdadeiras 3Q5 somente na linJa 6, e nesta linJa a concluso tamb%m % verdadeira 3Q5, isto %, no % poss$vel ter premissas verdadeiras e concluso falsa! *ogo, o argumento dado % vlido! 3;5 (estar a validade do argumento&
0e X+ e y=z, entoBUl
y>1
"ortanto, B z )esoluo )epresentando as trs proposies simples = +, B = z e BU 4 respectivamente por p, q e r, o argumento dado sob forma simbElica escreve8se& pAqr, f@ri@88888q
pv q
f@q
p8cr
p q
pAq8r
f88r
@q
2 2
As premissas do argumento dado figuram nas colunas ; e F, e a concluso figura na coluna S! As premissas so ambas verdadeiras 3Q5 nas linJas N, F e :! Nas linJas N e : a concluso tamb%m % verdadeira 3Q5, mas na linJa F a concluso % falsa 325, isto %, a falsidade da concluso % compat$vel com a verdade das premissas! *ogo, o argumento dado no % vlido, ou seja, % um sofisma! N+(A "ara demonstrar que um argumento % no8vlido basta encontrar um argumento da mesma forma e que tenJa, no entanto, premissas verdadeiras e concluso falsa! Esta maneira de demonstrar a no8validade dc um argumento cJama8se Z/%todo do contra8e emplo[! 2 cmplificando, o seguinte argumento tem a mesma forma do que foi dado& 0e 4 = + e < +, ento <U 4 <U4 "ortanto, + g < A primeira premissa % verdadeira 3Q5, porque o seu antecedente % falso, e a segunda premissa % obviamente verdadeira 3Q5, mas a concluso % claramente falsa 325! *ogo, este argumento % um contra8e emplo que prova que o argumento dado % no8vlido 3sofisma5! 3F5 Qerificar se % vlido o argumento& @p - q, p i @q )esoluo A Zcondicional associada[ ao argumento dado %& 33@p8\q5 A p5@d88q 'onstruamos a tabela8verdade desta condicional&
Na #ltima coluna desta tabela8verdade figuram as letras Q e 2! *ogo, a fcondicional associada[ no % tautolEgica e por conseguinte o argumento dado no % vlido, ou seja, % um sofisma! 'Jega8se a mesma concluso observando que as premissas do argumento dado so ambas verdadeiras 3Q5 na linJa 4 e que nesta linJa a concluso % falsa 325!
p q
3pq5A p
33p A p5q
Q Q Q 2 2 Q 2 2 2 Q Q 2 Q Q Q 2 Q Q 2 2 2 Q 2 Q 2 Q Q Q
3S5 Qerificar se % vlido o argumento& p - q p -* q V r )esoluo - A Zcondicional associada[ ao argumento dado %&
3p -* q5 -+ 3p * q v r5
Na #ltima coluna desta tabela8verdade figura somente a letra Q 3verdade5! *ogo, a Zcondicional associada[ % tautoiEgica e por conseguinte o argumento dado % vlido! 'Jega8se a mesma concluso observando que a premissa do argumento dado % verdadeira 3Q5 nas linJas 4, 9, ;, F, S e :, e em cada uma destas linJas a concluso % verdadeira 3Q5! 3:5 (estar a validade do argumento& 0e X+, ento 8.8BXB 0e BXz, ento 8.8BgB *ogo, se X+, entoB_z
)esoluo )epresentando as trs proposies simples = +, dado sob forma simbElica escreve8se& p8cq, r8c888qj@@p8d8888r Ento, a Zcondicional associada[ ao argumento dado %&
-( B = B e B = z respectivamente por p, q e r, o argumento
3p - a) A 3r ci5 3p
-
pqr QQQ Q Q
p q Q Q
qv r
pq v r
3p3pqv r5
Q Q Q Q
QQ2 Q 2 Q 2
Q 2
2 2
Q 2
Q 2
Q Q
Q Q Q Q
Q Q Q 2
Q Q Q Q
Q Q Q Q
N8F
4-7
N@:
Na coluna 5 desta tabela8verdade figura somente a letra Q 3verdade5! *ogo, a Zcondicional associada[ % tautolEgica e por conseguinte o argumento dado % vlido! 'Jega8se ao mesmo resultado observando que as premissas do argumento dado so ambas verdadeiras 3Q5 nas linJas 9, F, S e :, e em cada uma destas linJas a concluso tamb%m % verdadeira 3Q5! 375 (estar a validade do argumento&
0e : no % par, ento ; no % primo /as : % par ______________________
*ogo, 5 primo )esoluo 'umpre, em primeiro lugar, passar o argumento dado para a forma simbElica! )epresentando por p a proposio Z: % par[ e por q a proposio % primo[, temos& f@p8\@8q, pi@q "osto isto, construamos a seguinte tabela8verdade&
4<N
v v 2 2 v 2 v 2 2 2 v v 2 v 2 v
v v
2
( p
uj
3r
-*
q)
-*
3p
-*
f@jr5
f8p
@ q
p8\V88q
As premissas do argumento dado figuram nas colunas 4 e 5, e a concluso figura na coluna 9! As premissas so ambas verdadeiras 3Q5 nas linJas 4 e 9, mas na linJa 9 a concluso % falsa 325! *ogo, o argumento dado % um sofisma, embora tenJa premissas e concluso verdadeiras! 34<5 Qerificar a validade do argumento& 0e S % menor que N, ento S no % primo S no % menor que N *ogo, S % primo )esoluo 0eja p a proposio ZS % menor que N[ e q a proposio ZS % primo[! Ento sob forma simbElica o argumento dado escreve8se& p8c8V88q, @8pi8@88q "osto isto, construamos a seguinte tabela8verdade&
As premissas do argumento dado figuram nas colunas N e ;, e a concluso figura na coluna 9! As premissas so ambas verdadeiras 3Q5 nas linJas 6 e N, mas na linJa N a concluso % falsa 325! *ogo, o argumento dado % um sofisma, embora tenJa premissas e concluso verdadeiras! 3445 Qerificar se % vlido o argumento& 0e S % primo, ento S no divide 94 S divide 94 *ogo, S no % primo )esoluo )epresentando por p a proposio ZS % primo[ e por q a proposio ZS divide 94[, o argumento
@ q
p8cV8q
f@p
Q Q Q 2 2 Q 2 2 2 Q 2 Q 2 Q Q Q 2 2 Q Q
As premissas do argumento dado figuram nas colunas 9 e ;! e a concluso figura na coluna 3. As premissas so ambas verdadeiras (V) somente na linJa 6, e nesta linha a concluso tamb%m % verdadeira 3Q5! *ogo, o argumento dado % vlido! Observe-se que a primeira premissa e a concluso deste argumento vlido so proposies falsas! 3l95 Qerificar a validade do argumento& 0e cJove, /arcos fica resfriado /arcos no ficou resfriado *ogo, no cJoveu )esoluo )epresentando por p a proposio Z'Jove[ e por q a proposio Z/arcos fica resfriado[, o argumento dado sob forma simbElica escreve8se&
p-q, qI---.p e por conseguinte % vlido, pois, tem a forma do argumento vlido Modus tollens 3/(5! (13) Verificar se % vlido o argumento& 0e um homem % careca, ele % infeliz 0e um homem % infeliz, ele morre jovem
*ogo, carecas morrem jovens )esoluo )epresentando as proposies ZEle % careca[, ZEle % infeliz[ e ZEle morre jovem[ respectivamente por p, c e r, o argumento dado sob forma simbElica escreve8se& pq, q8Nr.888@p88r e por conseguinte % vlido, pois, tem a forma do argumento vlido 0ilogismo Jipot%tico 30n5!
@ p
p@d88q
VVFF V22Q
r
fv
FVVF F2VQ
s V
"ortanto, : % $mpar
)esoluo )epresentando as proposies simples Z: % par[, Z6 divide S[ e % primo[ respectivamente por p, q e r, o argumento dado sob forma simbElica escreve8se& p@d88q, --rvq, rH--p Ento, a Zcondicional associada[ ao argumento dado %& 33p@88q5 A3@r v q5A r5888p "osto isto, construamos a tabela8verdade abreviada de reconJecer se % ou no uma tautologia& desta condicional a fim
4-5
Na coluna F desta tabela8verdade figura somente a letra Q 3verdade5! *ogo, a Zcondicional associada[ % tautolEgica e por conseguinte o argumento dado % vlido! 'Jega8se ao mesmo resultado observando que as trs premissas do argumento dado so ao mesmo tempo verdadeiras 3Q5 somente na linJa ;, e nesta linJa a concluso tamb%m % verdadeira 3Q5! Note8se que a segunda premissa e a concluso deste argumento vlido so proposies falsas!
(( p
V Q Q Q 2
q)
F 2 Q Q 2 2 Q Q
3@8 r 2 Q 2 Q 2 Q 2 Q
q )
Q Q 2 2 Q Q 2
r5
@p
F 2 Q Q Q Q
2 2 2 Q Q Q
Q V 2 Q Q Q
2 2 2 2 Q Q
Q 2 Q 2 Q 2
Q2 Q2 Q2 Q2 QQ QQ QQ QQ
E 2 4
Q Q 6 9 N9 6
2 Q
2 2 Q 4
2 2 ;
Q 2 4 F9
6! ")+QA -E N?+8QA*.-A-E + m%todo usual para demonstrar, verificar ou testar a no8validade de um dado argumento "4, "9, . . . , " 1) * consiste em encontrar uma atribuio de valores lEgicos s proposies simples componentes do argumento que torne todas as premissas P1, "9 " verdadeiras 3Q5 e a concluso Q falsa 325, o que equivale em encontrar urna linJa da tabela8verdade relativa ao argumento dado em que os valores lEgicos das premissas "4, "9 " so todos Q e o valor lEgico da concluso Q % 2! l Ebvio que, todas as vezes que seja poss$vel encontrar essa atribuio de valores lEgicos, sem a construo da tabela8verdade completa relativa ao argumento dado, evita8se uma boa parte de trabalJo!
E emplos:
345 -emonstrar a no8validade do argumento& 3p8cq5Q883rAs5, pQs2@r8cq -em! 'om a seguinte atribuio de valores lEgicos >s proposies simples componentes dc5 argumento dado& Q2 rp )q os valores lEgicos das duas premissas so Q e o valor lEgico da concluso % 2, pois, temos& lV "remissa& 32 -+ 25 v 3Q A Q5 Q Q @Q Q Q 2 = Q
9V"remjssa& 2Q QQ 'oncluso& Q 2 2
-
*ogo, o argumento dado % no8vlido 3sofisma5! 395 -emonstrar a no8validade do argumento& pv@q, 8388rAs5, f83f8pA8!8sz8888V8!8q8dr -em! - 'om a seguinte atribuio dc valores lEgicos >s proposies simples componentes do argumento dado& Q2 pq r s
INICIAO LGICA MATEMTICA 109
os valores lEgicos das trs premissas so Q e o valor lEgico da concluso % 2, pois, temos& l"remissa& Q Q @2Q Q QQ 2 "remissa& @38882 A 25 nQ A 25 = @2 = Q 6a "remissa& @38888Q A @25 = f@3f A Q5 = @!82 Q 'oncluso& @2 -* 2 = Q -* 2 = 2 *ogo, o argumento dado no % vlido 3sofisma5! 365 -emonstrar que % no8vlido o argumento& p A q83p8\r5v s, p A rn@p v@q *Yem! Atribuindo >s proposies simples componentes do argumento dado os valores lEgicos indicados pela tabela& Q2 pr q
5
resulta o valor lEgico Q para as duas premissas e o valor lEgico 2 para a concluso, pois, temos&
la"remissa& QAQ8\3Q8825Q QQ8c2QQQ8QQ 9 "remissa& Q A 82 Q A Q Q 'oncluso& @Q V @Q = 2 Q E = 2 "ortanto, o argumento dado no % vlido 3sofisma5! 3N5 -emonstrar que % no8vlido o argumento& 345 g+ (2) x=Ov(x<lVy>x) 365 y>x-+y>l Ax+y>2 y>l-x<l -em! Atribuindo >s proposies simples componentes do argumento dado os valores lEgicos indicados pela tabela& Q2 BU X+ y>l ^l x+y>2
110 EDGARD DE ALENCAR FILHO
resulta o valor lEgico Q para as trs premissas e o valor lEgico 2 para a concluso, pois, temos& ."rcmissa& 882XQ 9V"rcmissa& 2Q @32Q @Q52v f@f32Q 25X2Q@2X2v QQ 6"remissa& QQAQQ8cQQ 'oncluso& Q -* F F (5) -emonstrar a no8validade do argumento& (1) x23x+2=9x=lvx2 (2) x=lVx2-3x>x2 (3) 3x>x2 3x>x2Vx=l -em! Atribuindo a todas as proposies simples componentes do argumento dado o mesmo valor lEgico 2, resulta o valor lEgico Q para as trs premissas e o valor lEgico 2 para a concluso, pois, temos& 4"remissa& 282Q 2282Q 9"remjssa& FV F-+FF--*FV 6V "remissa& 882 = Q 'oncluso& 2 V F = 2 EWE)'G'.+0 4! 1sar tabelas8verdade para verificar que so vlidos os seguintes argumentos& 3a5 p8cq, r8q28888@r8cV88p 3b5 p8d88q, r8\p, q.@@8r 3e5 p@dq, rv@q, f8tn8@88p 3d5 p8qvr, q.@gp8cr 3e5 p8c888q, p, q8\ri@@@r 3f5 pA8q, r8cq@8pAr 3g5 pv3qvr5, p, @r2@@q 3J5 p v q, @p, @3p A r5 * q@ r 2. Qerificar mediante tabelas8verdade que so vlidos os seguintes argumentos& 3a5 p8q, q, @p8rAsf8@@rAs 3b5 p8qAr, f83qAr5, 8p8sJ888888888pAs 3c5 p v cl, q - r, @r V si@ s
6! 1sar tabelas8verdade para mostrar a validade dos seguintes argumentos& 3a5 (1) r+8d gB 3b5 (1) x=6-.x>y (2) x=z-x=y 395 f@3BU; A x_6) (3) x=z (3) y>5-*x>y _+ :. UB 3c5 (1) x#y*x_z 3d5 345 BU c@! + 395 gt8 g+ 395 B+c@d + 365 X+ 365 BU
XB .. Bg+ N! -emonstrar a no8validade dos seguintes argumentos pelo Z/%todo de atribuiio de valores lEgicos[& 3a5 p@q, r8s, pv s2@qv r 3b5 @3p A q5, @p A @q8cr As, s8\r l@r 3c5 p@cqQr, q!E@\pvr, rN@\pvq, @p2@@qv r
Captulo 11
!. E?EM"LI1ICA=O
345 Qerificar que % vlido o argumento& p C, p A r q )esoluo (emos, sucessivamente& 345 p8cq " 395 pAr " 365 p 9 @04/" 3N5 q l,6@/" -a segunda premissa& p A r, pela )egra de 0implificao 30./"5, inferimos p! -e p e da primeira premissa& p q, pela )egra /odus ponens 3/"5, inferimos q, que % a concluso do argumento dado!
-+
Assim, a concluso pode ser deduzida das duas premissas do argumento dado por meio de duas )egras de inferncia, e por conseguinte o argumento dado % vlido! 395 Qerificar que % vlido o argumento& pAq, pvr8cs.88@8pAs )esoluo (emos, sucessivamente& 345 pq " 395 pv r8ds " 365 p 4 0./" 3N5 pvr 6 @A3;5 s 9,N@/" 3F5 p A s 6,; '+NY -a primeira premissa& p A q, pela )egra de 0implificao 30./"5, inferimos p! -e p, pela )egra da Adio 3A-5, inferimos p v r! -e p v r e da segunda premissa& p v r -+ s, pela )egra /odus ponens 3/"5, inferimos s! -e s e de p 3linJa 65, pela )egra da 'onjuno 3'+NY5, inferimos p A s, que % a concluso do argumento dado! Assim, a concluso pode ser deduzida das duas premissas do argumento dado por meio de quatro )egras de inferncia, e por conseguinte o argumento dado % vlido! 365 Qerificar a validade do argumento& p8c3q88dr5, p8cq, p2@r
)esoluo (emos, sucessivamente& 345 p8\3q88r5 " 395 p8\q " 365 p "
)esoluo (emos, sucessivamente& 345 p8q " 395 pAq8cr " 365 HpAr) " 3N5 p8\pAq 4 A,0 3;5 p8dr 9,N@0n 3F5 p@dpAr ; A,0 3S5 88p 6,F@/( 3;5 Qerificar que % vlido o argumento& pvq8dr, rvq8d3p83sc8\t55, pAsi@sc88d!t )esoluo (emos, sucessivamente& 345 pvq8cr " 395 rvq83p8d3sN88ct55 " 365 AS " 3N5 p 6 @0./" (5) pvq N @A3F5 r 4,;@/" 3S5 rvq F A3:5 p8c3sN88ct5 9,S@/" 375 sc@\t N,: /" 3F5 Qerificar que % vlido o argumento& p8\8q, @p8d3r8c888q5, 3@!sv r58\@888q, @s@@@V88r )esoluo (ernos, sucessivamente& 345 p8dV8q " 395 @p8d3r88q5 " 365 3@8s v f@jr5 -* f88q " 3N5 " (5) @sQV88r N @A3F5 6,; /" 3S5 4,F@/( 3:5 r@d888q 9,S@/" 375 F,: /(
INICIAO LGICA MATEMTICA 115
3S5 Qerificar a validade do argumento& p q8Vr, r8s, t8c@8u, t, sV ui-(p q) )esoluo (emos, sucessivamente& 345 pAq8Vr " 395 r@ds " 365 t8c888u " 3N5 t " 3;5 @svu " 3F5 @u 6,N - /" 3S5 @s ;,F@03:5 f@r 9,S@/( 375 @3p A a5 4,:@/( 3:5 Qerificar a validade do argumento& p8\q, q@dr, s@dt, pQs.@rQt )esoluo (emos, sucessivamente&
345 p@Vq " 395 q8dr " 365 s8ct " 3N5 pvs " 3;5 p8\r l,9@048i 3F5 rQ t 6,N,;@-' 375 Qerificar a validade do argumento& pgdq, @r8!3s8dt5, rv(pvs), @ri@@qvt )esoluo (emos, sucessivamente& 345 p8dq " 395 @r8!3s88t5 " 365 rv(pvs) " 3N5 @r _________ 9,N @/" 6,N @04,;,F -'
34<5 Qerificar que % vlido o argumento& p8dq, 3p8r58ds vq, p Aq8cr, f8s@88@q )esoluo (emos, sucessivamente& 345 p8cq " 395 3p8cr58csvq " 365 pAq8r " 3N5 fs " (5) "8pAq 4 A,0 3F5 p8cr 6,;@0n 3S5 svq 9,F8/" 3:5 q N,S 03445 Qerificar a validade do argumento& p - q, p v 3@8r A @88a5, s - @r, @3p A a52@ @s v )esoluo (emos, sucessivamente& 345 p8dq " 395 pv38rA888888q5 " 365 s8c8888r " (4) (pAq) " (5) p8pAq 4 8A,0 3F5 @p 4,5 /( 3S5 -rA @888q 9,F@03:5 @@8r S 0./" 375 @s 6,: - /( 34<5 8sv@8q 7 @A3495 Qerificar a validade do argumento& p@dr, q@\s, @8r, 3pv qA3rvs5s )esoluo (emos, sucessivamente& 345 p8\r " 395 q8us " 365 @r p
p8q, q8dr, r8cs, s, pVtIt )esoluo (emos, sucessivamente& 345 p8q " 395 q8\r " 365 r8ds " 3N5 @s " (5) pvt " 3F5 p8r 4,9@0n 3S5 p8cs 6,F 0n 3:5 @p N,S8 /( 375 t ;,: 034N5 Qerificar que % vlido o argumento& (p-q)A 3r@ds5, t@du, u8dv, qv 8vn@8pv 88t )esoluo (emos, sucessivamente& 345 3p8\q5A 3r8cs5 " 395 t8u " 365 u8dv " 3N5 @qQ8888v " 3;5 t8v 9,6 0n 3F5 p8q 4 @0./" 3S5 @pv Qt N,;,F -34;5 Qerificar a validade do argumento& x=y*x=z, x=z-x=1, xO-x#1, x=y[x_O )esoluo - (emos, sucessivamente& 345 x=y-*x=z " 395 Xz8c X4 " 365 X+8c _4 " 3N5 XB " 3;5 XB@d X4 4,9@0n 3F5 X4 N,; /" (7) g+ 6,F /(
118 EDGARD DE ALENCAR FILHO
34F5 Qerificar a validade do argumento& 0e XB,ento X 0e Xz,ento Xt Ou XB ou + 0e X+,ento \uX4 /as \ug. "ortanto, = t )esoluo (emos, sucessivamente& 345 &1-2 &z " (2) &z-2 &t "
(3) x=yVx=O P (4) x=O-*x+u1 P (5) x+u_1 P (6) x=y-x=t 1,2 0n 3S5 x_O N,; /( (8) x=y 3,7 SD (9) x=i 6,8- MP
34S5 Qerificar que % vlido o argumento& &1-2 &z, x_y-x<z, x<zv y>, y_zA x_iIy>z )esoluo (emos, sucessivamente& 345 x=y*x=z P (2) gB8c ^z "
(6) gB 4,; /( 3S5 ^z 2,6 /" (8) y>t 6,S 0EWE)'G'.+0 4! 1sar a regra Z/odus ponens[ para deduzir de cada um dos seguintes temos de premissas a concluso indicada& 3a5 (1) p8cq 3b5 (1) p_*q (2) q@r 395 p (3) p (3) @q8r rr
INICIAO LGICA MATEMTICA 119 (e) (1) p*qA r
(2) sVt---p
365 sVt qvr
3N5 r8@8t
(c) 345 pvq (2) p Vq-f
365 --r-+sA-t
(4) sA.-t-*uVv
uvv 3d5 345 8p8\q 395 q@dr 365 fp 3N5 r@d8888s 3;5 88fs@dt 3F5 t@du u
N! 1sar as regras Z/odus ponens[ e Z/odus toilens[ para &'&uT # de cada um dos seguintes conjuntos de premissas a concluso indicada& 3a5 345 p@dq " 3b5 345 p8dV88q "
395 @p8cr " 395 8f8q " F<G -q " 365 @p r A ) " 9! 1sar a regra Z/odus ponens[ para deduzir de cada um dos seguintes ternos de premissas a concluso indicada& 3a5 345 9Ul8\6U4 395 6Ul@d6U+
_________________
r rAs
120 EDGARD DE ALENCAR FILHO
3e5 345 p8\q " 3d5 345 _+8dBX4 " 395 q8c@8V8r " 395 XB8cBXt " 365 s888r " 365 BXt8dBg4 " 3N5 p " 3N5 XB " X+ ;! 1sar as regras da Z'onjuno[, Z0implificao[, Z/odus ponens[ e Z/odus tollens[ para verificar que so vlidos os seguintes argumentos& 3a5 pAq, p8cr.8@@pAr
1
INICIAO LGICA MATEMTICA 121
(g)p-*q, q, pvrir
3J5pv f88q, r8c88p, r@V88q 3i5 p v 8q, @88q, r - p kggg@r 3j5p@@8q, 8f888q, fp8crvs4@grvs 3]5 @pv @f88q, f88f888p, 8r88q2@88@8@r 345p8\88qA r, p, s8uq, 0Q t.@t 3m5pAq, p8r, rAs8c88t, q@dsg@8t 7! Qerificar que so vlidos os seguintes argumentos& 3a5 (1) x+8l2Vx_4 (2) x4Ay<x (3) x+8= 12 A y<x-*y+8<12 y-t-8<12 (b) (1) x+2<6-x<4 (2) y<6vx-i-y<1O (3) x+y<lOAx+2<6 ^NAB^F 3e5 345 B@d dB\6 (2) x=y+3Vx+2y (3) x+2*yAx=5 x5Ax_y (d) (1) x<yvxy (2) x=y-*y_5 (3) x<yAy=S-+x<5 (4) y5 x<5 (e)(1) 3x+2yl8Ax+4y16 (2) x23x+2y_18 (3) x2V y3 (4) x_4.-*y*3 N (f) (1) x+2>5-x4 (2) x4-x+4<7 365 \N^S 3N5 x+2>5V (5x>2A x<3)
4
^6
122 EDGARD DE ALENCAR FILHO
UF
lO. 1sar a regra da ZAdio[ para verificar que so vlidos os seguintes argumentos& (a) pvq, p-r, --rF--qvs (b) pA--q, r--q, r-sI--sv--p (c) p, q-*p, -qv r>sH-s (d) pAq-s, r, r-pAql--SVq (e) pA-q, r-*q, rvs, pvs-*tI----t li. Usar a regra da Adio para verificar que so vlidos os seguintes argumentos: (a) (1) x>3Vy<4 (b) (1) x>yvx>5 (2) x>3-+x>y (2) "501#6 (3) x>y (3) x+y1Axy y<4Vx>2 ... x>yvy<6 (c) (1) x2-x<3
(2) x_4Ax3 (3) x_z2Vx>4*x=5 x=5Ax4 (e) (1) x2=IA 2x_1 (f) (1) x-f2#5V 2x6 (2) xl2xl (2) x+2*5-+x_3 '3) lv x+25 365 2x28--*2x_6 (4) x+25Vx21-x3 (4) x+38A2x28 x_3vx>2
vBU
6 4 9 !
395 - 6 6 9 * - 9 9 365 - 9 9 V - 6 = 498c 9 X9 3c5 345 B^NA XBc6 395 83 dB\6588! U9 365 BU98d U9
(4) y>2Vy=3-+x>5 y<3V x>5 (d) (1) x=yv x<y 395 y=x-s-4 (3) (x<3V x>5)A y=x4-*y_8 (4) x#y (5) y6v x<y-+x<3 (x4V y8)A x <3 13. Usar a regra do Silogismo Jipot%tico[ para verificar que so vlidos os seguintes argumentos: (a)(1) 5x43x+4-*5x3x+8 395 2x8*x4 (3) 5x3x+8-2x8 5x43x+4-*x4
395 (x>5-+y<x)-+y=5
(3) y5Vx=6 (4) x>5-x_y x=6V x>6 (c) (1) z=5((y=3-+y+z=8)A z"1)
395 3 BczX448\ X9583BX6A zX;5 365 BXF8\ X9 3N5 BczX448\ BXF B\zX:
124 EDGARD DE ALENCAR FILHO
3d5 345 ; X9<8c XN (2) 2x6Vx_3 365 '5 -3& lS@! XN58d9 _F 3N5 ; @6X4S88d; X9< x#3Vx<4 (c)(I) (x+y=5*y3)Vx+z=3 395 z3l v ' !z&343 i-1&5) (3) x-i-y_5Az=l x+z=3-y=3 (f) (1) x=3*x>y (2) x_3-zrr5 365 ' &3-3 #z)-3 #z '4) "1-3 #z z&50z"5 4N! 1sar a regra do Z-ilema construtivo[ para verificar a validade dos seguintes argumentos& 3a5 345 9 \BVXS@d9 XN 395 9 cBX;8cBXl (3) 2x+y=7V2x+y=5 (4) 2x_4 BX4 (b) (1) *Fc3 X9Q X:5 (2) 2x+3y=2lAx_6 (3) xr2-y=9 3N5 x=8*yzl y=lvy=9 (c) (1) x>5Vy<6 395 y<6-+x<z (3) "5-!1#z (4) y<zAz6 x<zvz=6
INICIAO LGICA MATEMTICA 125
3d5 345 BX+8c BX+ 395 BX+vB^4 (3) xy=OVxy>3-*x*4 (4) B^48c BU6 x_4Vx>y (e) (1) x<yvy<x (2) y<x-+x>6 365 ^B8d ^S (4) (x>6Vx<7)-+y>11 (5) y>11v x<O x<OVy<12 () (1) 2x2lOx+12OAx<4 (2) x25x+6O-x2vx3 (3) X98\ 9XN (4) X68d 9X7
(5) 2x2 .+ \ 49<8d 9 -5x+60 x2r4Vx2=9 (g) (1) x=5V x<y (2) x>3vz<2-+z<xvy=1 (3) x<y-*z<2 (4) X;8d U6
(5) z<x-x=4
(6) x>3vz<2-+y_1 x4 (h) (1) (y=5x<y)A x>1 (2) y>5Vy=5 (3) x<yVy>4-+x+1>yAy<9
(4) y>5-*y>4
x+1>yVx>4 4;! Qerificar a validade de cada um dos seguintes argumentos& 3a5pA8q, qv @jr, s8cr.@88@pA @s 3b5pv@q, f@q8cr, p@ds, @rk@@s
3c5 pq, pv 3sA t5s 3d5pvq, qr, ps, 0rA3pvq5 3e5 pv q, trA t 3f5p@888q, pv r, r8c88q, s8q, t[--sA t 3g5V8!!p8dq, q8rA ;, p8dt, @8t2@@s
(h)pvq, q-*r, --rf---p (i) pq, qA r, r-*sfpA S 3j5p@dc, pv r, -rF---qvs (k) p-q, q-r, 3p8dr58c!!8s, 5V tft (Upv--q, r, p@dr, @q8s888@s
3m5r8ct, s8dq, tvqgdp,rvsgg!!p 3n5 3ps5t, rtr 3o5pv q8c88r, s8cp, t8\q, 0Q tftuV r
sen
=
COSX = v
csc
9 v x2 > 9
(1 )
(
x>yv x<4
x<4-x<yA
y<4
2 ) ( 3 )
x>y-+x=4
(4 )
x_4
:.
x<y
4 S! 1sar as )egras de .nferncia para mostrar que so vlidos os seguintes argumen tos& 3a5 pv q@d888r, p, s8cr28@@V8s 3b5 pA (qv r5, qv r@d@8s, 0Q t2@t 3c5 p v q * @r, q, s A t - r )--- , A t) 3d5 p8q, 8q, @pv f@r8cs2888@s 3e5 pv 3q r5, q8ds, r8ct, sA t*pv r, @p@@@@r 3f5qv3r8t5, q8\s, f@s8c3t8\p5, @s2@@r8cp 3g5pvq8\3p88dsAt5,pArfg8gtvu
Captulo 12
Q! Dupla negao 3-N5& p,8!8,888p Q.! De Morgan (DM): (i) pAq)-pv.-q 3ii5 (p q)==p A@q VII. 'ondicional 3'+N-5& p -* q p V q Q...! ,icondicional 3,.'+N-5& 3i5 pc@qXX3p8dq5 A3q8cp5 3ii5 p@dqNX3pA qv 3pA f8q5 .W! 'ontraposio 3'"5& W! E portao8.mportao 3E.5& p A q -+ r . p 3q -+ r5 Estas equivalncias notveis constituem dez )egras de .nferncia adicionais que se usam para demonstrar, verificar ou testar a validade de argumentos mais comple os! 1rna importante diferena no modo de aplicar as dez primeiras )egras de lnl`rncia e estas dez #ltimas )egras de .nferncia deve ser observada& as dez primeiras )egras de .nferncia sE podem ser aplicadas a linJas completas de uma demonstrao ou deduo, ao passo que as dez #ltimas )egras de inferncia podem ser aplicadas tanto a linJas completas como a partes de linJas completas consoante a Z)egra de substituio[!
INICIAO LGICA MATEMTICA 131
-efinio -ado um argumento "4, "9,!! , " 4@ Q, cJama8se demonstrao ou deduo de Q, a partir das premissas "4, "9 "n, toda a sequncia finita de proposies X1, W9, . . . , W] tais que cada W ou % uma premissa ou resulta de proposies anteriores da sequncia pelo uso de uma )egra de .nferncia, e de tal modo que a #ltima proposio W] da sequncia seja a concluso Q do argumento dado! 6! EWE/"*.2.'AI?+ 345 -emonstrar que % vlido o argumento& p -* @q, q @p -em! (emos, sucessivamente& 345 p8@8q " 395 q " 365 @i88888p 4 @'" 3N5 q@d@8p 6 @-N 3;5 f@p 9,N -- /" 395 -emonstrar que % vlido o argumento& p - q, r -+ @q n@ p r -em! - (emos, sucessivamente& 345 p8dq " (2) r888q " 365 @88q8d888r 9 @'" 3N5 q8c8r 6 -N 3;5 p@V88r l,N@0n 365 -emonstrar que % vlido o argumento& p v 3q A r5, p v q -+ s 2@p V ) -em! (emos, sucessivamente& 345 pv3qAr5 " 395 pvq8s " 365 (pv q)A(pv r54 @-.0( 3N5 pvq 6 80./" 3;5 ) 9,N /" 3F5 pvs ; A132 EDGARD DE ALENCAR FILHO 3N5 -emonstrar que % vlido o argumento& p v q r A s, 8s@@ 8q Dem. Temos, sucessivamente: (1) pvq-rAs P (2) --s P (3) rv---s 2. AD (4) (rA s) 3 DM (5) (pv q) 1,4- MT (6) pAq 5 DM (7) ci 6 SIMP (5) Demonstrar a validade do argumento& Se *ondres no fica na ,%lgica, ento Paris no fica na Frana. Mas Paris fica na Frana. Logo, Londres fica na Blgica.
Dem. Representando as proposies Londres fica na Blgica e Paris fica na Frana respectivamente por p e q, o argumento dado na forma simblica escreve-se: p-+q, qi-p Posto isto, temos sucessivamente: (1) -.-p-*.-.-q P (2) q P (3) ---pv --q 1 --COND (4) pvq 3 DN (5) --q 2 @-N (6) p 4,5- SD Logo, o argumento dado vlido, embora sua concluso seja uma proposio falsa. 6) Demonstrar a validade do argumento: (v @q5v r, pv(q Ap)f-q-r D'5. Temos, sucessivamente: (1) (pvq)vr P (2) pv(qA-p) P (3) (p v q) A (p v p)2 DIST (4) (pvq)A---p 3 ID 3;5 4 SIMP
INICIAO LGICA MATEMTICA 133
3F5 p v 3@q v r5 4 A00+' 3S5 @qvr ;,F 03:5 q8\r S '+N3S5 -emonstrar a validade do argumento& 345 p8c8q " 395 r8\q " 365 r " 3N5 @q888r (5) p8d@r 3F5 @r8d88p 3S5 r8d88p 3:5 @p 3:5 -emonstrar a validade do argumento& p8q, qc@cs, tQ3rA@s5;@p8t -em! (emos, sucessivamente& 345 p8q " 395 q@s " 365 tv3rA8V8s5 " (4) (q--s)A(s-q) 2 (5) q8cs N 0./" 3F5 p8cs 4,; 0n (7) (tVr)A(tvs) 3 3:5 tv@8s S 375 @sv t 34<5 s8\t 3445 p8\t F,4<@0n 375 -emonstrar a validade do argumento& Z0e estudo, ento no sou reprovado em 2$sica! 0e no jogo basquete, ento estudo! /as fui reprovado em 2$sica! "ortanto, joguei basquete[!
D'5. )epresentando ZEstudo[ por p, Z0ou reprovado em 2$sica[ por q e ZYogo basquete[ por r, o argumento dado sob forma simbElica escreve8se& p88q, r8dq, rk@888p -em! (emos, sucessivamente&
9 - '" 4,N -- 0n ; '" F 88-N 6,S - /"
345 p@d8888q 395 8r8dp 365 cj 3N5 q 3;5 p 3F5 f@@8rvp 3S5 rvp 3:5 r *ogo, o argumento dado % vlido!
" " " 6 -N 4,N /( 9 '+NF 888-N 5,7 034<5 -emonstrar que % vlido o argumento&
-em! - (emos, sucessivamente& 345 pv3qAr5 395 p@s 365 s8r 3N5 p8\r
(5) (pvq)A(pvr)
3F5 pVr 3S5 rvp 3:5 8f8@8rvp 375 r8dp
34<5 @r8cr 3445 f@8rQr 3495 rvr 3465 r p p " 9,6 0n 4 8-.0( 5 0./" F '+/ S @-N : @'+NN,7 0n 4< 8'+N44 @-N 49 - .3445 -emonstrar que % vlido o argumento& pAq88r, rQ3sAt5, pdqpgs -em! (emos, sucessivamente& 345 pAq8d8r 395 rv(sAt) 365 pc8q 3N5 (p-+q)A(q-*p) (5) p8\q
3F5 p-pq 3S5 p@\88r 3:5 (rvs)A(rVt) 375 rvs 34<5 888r v s 3445 r8s 3495 p8ds 3495 -emonstrar que % vlido o argumento&
345 p8\q 395 r8cs 365 qv s@\8Vt 3N5 t 3;5 - t 3F5 @3q v s5 3S5 qAs 3:5 8q 375 f@s 34<5 88p 3..5 88r 3495 @pA 888r
4.1%
p8cq, r8ds, qvs8c88t, ti@888pA888r -em! (emos, sucessivamente& "
BICOND 04/"
1
136 EDGARD DE ALENCAR FILHO
34N5 -emonstrar a validade do argumento& p8\q, q8dr, r@dp, p8 8r@@pA f88r -em! (emos, sucessivamente& 345 p8dq " 395 q8dr " 365 r8\p " 3N5 p8c8888r " (5) p8dr 4,9 0n 3F5 3p@dr5A3r8cp5 3,5AD 3S5 pc@dr F @,.'+N3:5 3p A r5 v 3f8!p A f@r5 S ,.'+N375 88pv88r N @'+N34<5 -(pAr) 7 @-/ 3445 p A @r :,4< 034 ;5 -emonstrar que % vlido o argumento& pv q8cr, rv s8\888t, t.@@8q -em! (emos, sucessivamente& 345 f888pvq8\r " 395 rQs8cV88t " 365 t " 3N5@@8t 6 -N (5) 83r v s5 9,N /( 3F5 @rA88s 5 @-/ 3S5 8r F 0./" 3:5 @3f88pv q5 4,S8 /( 375 @88pA8q : -/ 34<5 p@q 7 -N 3445 88q 4< @0./" 34F5 -emonstrar a validade do argumento& 345 ^F 395 BUSv XB8c88!83BN A ^B5 (3) BgN8 ^F 3N5 ^F@d ^B dB
INICIAO LGICA MATEMTICA 137
3F5 (7) 3:5 375 34<5 3445 x<6 y>7V x=y-*-(y=4A ^B5 y *4-*x6 x<6-.x<y
x<y y=4 y4 AX<y --(y=4Ax<y) (y >7 v x = y) y >7 A
gB Xr_y
34<5 BU.
(Ii) x#yAy>l (12) (x=yvy>I)
"
P
"
P P
6!N,;
6 8
9,7
7,10
44 "
" p " 4,N 4,6@ 5,6 S
(2)
365 3N5 (5)
validade do argumento& Bdl Ay<l y >1 -+y <1 v y x=3V x>3 U68 dB X68\ gB -(x=yV BU.5
-em! (emos, sucessivamente& 345 XB@d ^B p 395 BX<d@c ^B P (3) x=OVxy=0-y=O P (4) (x=y-y=0)--*x=0 P (5) (y=0-*x<y)A (x<y-+y=0) 2 BICOND 3F5 ^B@dBX< 5 0./" 3S5 XB8cBX< 4,F 024 3:5 X< N,S /" (9) x=Ovxy=0 8 AD (10) yO 3,9 MP (11) y0-.x<y 5 0./" 3495 x<y 10,11 MP (13) x4yvx_1 12 AD (14) -(x<yAx=I) 13 DM 3475 -emonstrar a validade do argumento& 345 x<yAy<z*x<z (2) (y<z-x<z)-i=3
365 ^B z=3 -em! (emos, sucessivamente& (1) x<yAy<z-*x<z 395 (y<z-x<i)-z=3 " (3) x<y P (4) x<y-(y<z--x<z) 1 EI (5) y<z-.x<z 3,4 MP (6) z=3 2,5 /" N! .N'+N0.0(sN'.A -uas ou mais proposies que no podem ser simultDneamente verdadeiras dizem8se inconsistentes! (amb%m se diz que formam um conjunto inconsistente de proposies! 1m argumento se diz inconsistente se as suas premissas no podem ser simultneamente verdadeiras 3inconsistentes5!
INICIAO LGICA MATEMTICA 139
As proposies& (pv--q), pv@r, q@dr p! e !, so inconsistentes, pois, % imposs$vel encontrar uma atribuio de valores >s proposies simples componentes p, q e r que torne essas trs proposies compostas simultDneamente verdadeiras! 'om efeito, construindo as tabelas8verdade dessas trs proposies verifica8se que, em cada linJa, pelo menos uma delas % falsa 325, isto %, no J uma sE linJa em que admitam, todas, o valor lEgico Q! (amb%m se pode demonstrar que as trs proposies dadas so inconsistentes deduzindo do seu conjunto uma contradio qualquer, p! e !, do tipo A A @A, mediante as regras de deduo usadas para os argumentos, pois, como estas regras preservam a verdade, a contradio que se obt%m prova que estas trs proposies no podem ser conjuntamente verdadeiras! )ealmente, temos, sucessivamentc& (1) (p v @q5 395 pvV@r 365 q8cr 3N5 @pA@88q 4 -/ 3;5 @pAq N -N 3F5 q ; 0./" 3S5 r 6,F /" 3:5 @p 5 0./" 375 @r 9,: 034<5 r A @r S,7 '+NY 3'ont!5
56tros e emplos:
345 -emonstrar que so inconsistentes as trs seguintes proposies& 345 Xl@dB^ 395 y<x-+y0 365 (y=Ov rg45
3 p
v
Q
q5
pv
@r
2Q
Q2
2Q
Q2
Dem. (emos, sucessivamente& (1) x=l-y<x (2) y<x-y0 (3) (y0Vx_l) (4) x=I-*y=0 1,2 0n (5) y_OAx=1 3 DM (6) x=i 5 0./" (7) y=O 4,6 MP (8) yO 5 0./"
375 B = + A B + S,: '+NY 3'ont!5 395 -emonstrar que % inconsistente o conjunto das seguintes proposies&
E?ERC@CIOS
4! -emonstrar a validade dos seguintes argumentos& 3a5 p8d8888q, q, @p8drAsn8grAs 3J5 p8dq, p@d88888r, f8qk@@r 3c5 p8d8r, q@r, qn@8p 3d5 p--q, 88q8\8888r, r@p 3e5 8pvq, 8p8\r, f8rggq 3f5 r8dpv q, f88r, q@p (g) pv q, -q, -(qA r58dpgg@r FBG p, 345 fp@dq, q8cr, @r@@p
!)
p@q, 8q,
3]5 p----q, q@p 3.5pvq, @q, p8\rAsggsAr 3m5 3rA8t58\8888s, p\s, pA qggg@V3@8tAr5 3n5 3rAs5v p, q8\V88p, t@dV88p, qvtk@sAr 3o5 @pv fq, @r8dp, r@d88s, sk@8q 3p5 p-+qv r, @f88p, 8f8rgggq 3q5 r8\pA888q, rQ;, sn@qAp 3r5 f@3pA q5, 888q88r, 88p8dr, ;@dV888r@@888888s 3s5 pA @q, p88r, qvV88s288@88883rQ s5 3t5 s8883pv[8t5, t8qAr, @s8@@rAq 3u5 p8q, r8uq, r v p, @qv sn@s
(v) t-*pAs, r+--s, rvqH-t (w) r-*----p, (r As)V t, t-qv u, -q A88un@@88p (x) pvq, s-qAr, p-+s, q_*s__rAq
3B5 @3p v f@r5, p r -* s, q A ; - t A ; ; A t 3z5 p8cq, q8r2@@@8pQ r 9! -emonstrar a validade dos seguintes agumentos& 3a5 345 x>y-x>z 395 zUF8@3 UB8dz^S5
F<G x>z*,.<7
z>6Vz<y (b) (1) x_y-*x>yvx<y
395 UBv ^B8\ dN F<G ^B\83 gB @d gN5
F4G xy
UB 142 EDGARD DE ALENCAR FILHO
(g) (1) -(yx=2 v x+y>8) (2) (x>yv y<5) (3) x2-x+y>8 (x=2vy<5)
X 1 *x<y x24x+30-*x=I V x=3 -(x=yv x2-4x+3*O) x X<yV y&4 83 UBA cBUS5 UB8 ^N x + y >7 -+x <4 xy= 2-x <4 xy _2
=3
-*x <y
y<5 (d) (1) x<3 Ay>6 (2) y_7-.--(x=2Ay>x) (3) y>6Ax<3-+y>xAx=2 (e) (f)
:
(h) (1) (2) (3)
(4)
3i5 345
(2)
(3)
(4)
!)
(2)
365 3N5
(1)
...
y=7
( 1 ) ( 2 ) ( 3 )
...
( 1 ) (
2 ) ( 3 )
...
UB
3F5 UB8c83B^zvzU 5 f. ^F 6! -emonstrar a validade dos seguintes argumentos& 3a5 r@dp Aq, 8pv f8q, rv sn@s 3b5 p v q8r, @r, 8p8cs.8@@; 3c5 3p@dq58cr, 3f8p v q5v sJ@s 3d5 3p A q5@d3r88s5, r A@s, q8\t@@t 3e5 pv 83qv 8r5, @p, r8dsQ N@sQ t 3f5 pv q-r, q v(s V t)[s-*t (g) pv (q-+r), (pv s) A r--_q (h)(p-*q)-r, rVs, (pA--q), svt-*u-u (i) pv q, s-*-r, pv(rA t))qV )
144 I,s,-%r, LJ ,iii.ri ri
(i) P(I,
pv(rAs)f-___q--s
(p) (p*ci)v (r As), -qF--pv s 3q5 p8cq, p A q-*r v s, rv ,-/-t, 3p8\88t58\u;u (r) pvqrAs, 4. -emonstrar que os seguintes conjuntos de proposies so inconsistentes dedutindo uma contradio para cada um deles& 3a5 345 q-*p (b) (1) pvq 395 83p v r5 395 f83q * r5 365 civ r (3) p@r 3e5 345 v q) (d) (1) p v s* q 395 8q8dr 395 q8\8888r (3) rv s (3) t@dp (4) 8p8\88s 3N5 tAr 3e5 345 XB@d ^N 3f5 345 x=O+x+y y 395 x44vx<t 395 x>1AxO 365 @3 ^tv _B5 365 \BXB8d U 1 (g) (1) xy*x<z (ii) (1) x<y-x_y 395 ^z A(x=yv y<z) (2) y>z-+z<y 365 y<z-*x<z 365 x=yAy>z 3N5 x<yV /<y ;! -emonstrar que os seguintes conjuntos de proposies so consistentes& 3a5 345 p@q 3b5 (1) p@Uq 395q q8dr 395 @8q8dr
(3) rvs (3) pvr (c) 345 @pv 8!88ci (d) (1) P1
395 88p\r 395 r@dq (3) r (3) q8\8s 3e5 345 xy-*x_y (f) (1) x=2 V x=3 395 x<yv xy 395 x_2V x_3 (3) xty*x<y
Captulo 13
Assim sendo, o argumento 345 % vlido se e somente se tamb%m % vlido o argumen to& "4,"9,!! ,"n,An, cujas premissas so todas aquelas do primitivo argumento 345, mais uma, A, e cuja concluso % , 3observe8se que A e , so respectivamente o antecedente e o consequente da concluso do primitivo argumento 3455! Em resumo, temos a seguinte regra -'& "ara demonstrar a validade do argumento 345, cuja concluso tem forma condicional, A ,, introduz8se A como Zpremissa adicional[ 3indicada por "A5 e deduz8se ,!
. -
9! EWE/"*.2.'AI?+ 345 -emonstrar a validade do argumento& pv3q8dr5, 8r28@q8p Dem. -c conformidade com a )egra -' para demonstrao de um argumento cuja concluso tem forma condicional, cumpre deduzir Zp[ a partir das premissas& p v (q * r), @r e q, isto %, demonstrar a validade do argumento& pv3q8r5, f@r, q2@p (emos, sucessivamente& 345 pv3q8dr5 " 395 f8r " 365 q "A 3N5 p v 3q v r5 4 '+N3;5 (pv -q) V r N A00+' (6) pv@q 2,5- 0-
(7) -q
t65 BX9@dzUB
:. y=2vy4-y<4Vy>3 l5em! Dc conformidade com a Regra -', cumpre demonstrar a validade do ar8 gume n to& (1) (y=4-*x>y)A x>z (2) x>yvi>y-*y<4Ay#3
(3) y=2*>y
(4) y=2vy=4 y<4vy>3
---p-*(q-r), sV(r-*t), p8dsi@88@88s8d3c48ct5 -em! 'onsoante a Regra -', cumpre demonstrar a validade do argumento& p-+(q-.r), sv(r-+t), p*s, -slq--t Como a concluso deste argumento tambm uma condicional, q - t, fazendo uso novamente da mesma Regra -', cumpre demonstrar a validade do argumento: p -* (q -+ r), s v(r - t), p-s, s, qt
48 EDGARD DE ALENCAR FILHO
(emos, sucessivamente& 345 8p8\3q8!r5 p (2) sV(r-t) p 365 p8ds p 3N5 @s "O (5) q "A 3F5 @p 6,N /( 3S5 q8dr 4,F /" 3:5 r 5,7 /" 375 r8\t 2,4 034<5 t :,7 /" (5) -emonstrar a validade do argumento& p8dq, q@\s, tQ3r As)Fp-*t -em! 'onsoante a )egra -', cumpre demonstrar a validade do argumento& p8\q, qc@ds, t v3rA @s5, pj@t (emos, sucessivamente& 345 p8\q " 395 q_8cs " (3) tV(rA-.-s) P 3N5 p "O 3;5 q 4,N@/" 3F5 3q -+ s5 A 3s - q5 9 ,.'+N3S5 q8s F 0./" 3:5 s ;,S /" 375 3t v r5 A 3t v 88s5 6 -.0( 34<5 tv@s 7 @0./" 3445 @8s : @-N 3495 t 4<,44@03F5 -emonstrar a validade do argumento& 8p888q, r@s, 3@pAt5v3rAu5kgq8ds -em! 'onsoante a )egra -', cumpre demonstrar a validade do argumento& @p8\8888q, r8\s, 3@pAt5v3rAu5, q@s
INICIAO LGICA MATEMTICA 14
"4,"9 "44@T 345 cJamado Z-emonstrao indireta[ ou Z-emonstrao por absurdo[ consiste cm admitir a negao
-Q da concluso
!, do tipo A A @A5 a
Q, sito %, supor Q verdadeira, e da$ deduzir logicamente uma contradio qualquer ' 3p! e partir das premissas "4 "9, " e Q, isto %, demonstrar que % vlido o argumento&
, ...,
"4,"9,! . . ,",@T2888' 0e assim ocorre, ento o argumento dado 345 tamb%m % vlido! 'om efeito, pela )egra -' 3-emonstrao condicional5, o argumento& % vlido! E como temos& C=QV 'XXT 0egue8se que % vlido o argumento dado 345! Em resumo, temos a seguinte )egra -.& "ara demonstrar a validade do argumento 345 introduz8se adicional[ 3indicada por "O5 e deduz8se uma contradio ' 3p! e !& A A f@A5!
I3ij tUM1UUMLIMMIILMU
Q como Zpremissa
4. E?EM"LI1ICA=O
345 -emonstrar a validade do argumento& p8V88q, r8\q2@@@z83pAr5 -em! -e conformidade com a )egra -. 3-emonstrao indireta5, cumpre deduzir uma contradio das premissas p r - q e p A r! (emos, sucessivamente& 345 p8d88q " 395 r8q " 365 pr "A F4G p < @0./" 3;5 r 6 SIMP F+G QC 4,N@/" 3S5 q 9,;@/" 3:5 q A @q F,S '+NY 3'ont!5 395 -emonstrar a validade do argumento& f8p8q, f@qvr, ftn@pQ0 -em! -e conformidade com a )egra -., cumpre deduzir uma contradio das premissas Qp + q, 8q v r, @r e 88f3p v s5! (emos, sucessivamente& 345 p8dq " 395 @qvr " 365 8r " 3N5 @3pvs5 "A (5) pAV8s N -/ 3F5 @p ; 0./" 3S5 q l,F/" 3:5 @q 9,6 0375 q A f@q S,: '+NY 3'ont!5 365 -emonstrar a validade do argumento&
-
@q,
p9KC-#, 99.9#ZZp9[C D'5. -e conformidade com a )egra -' 3-emonstrao condicional5, cumpre demonstrar a validade do argumento&
p@8qvr, f88r, pi@q
INICIAO LGICA MATEMTICA 151
e, portanto, consoante a )egra -. 3-emonstrao indireta5, cumpre deduzir uma contradio das premissas p - q v r, @r, p e @fq! (emos, sucessivamente& 345 "8.vr " 395 88r " 365 p "A 3N5 @q - "O 3;5 qvr 4,6@/" '6) q 2,5-+7 3S5 q A q 4,6 '+NY 3'ont!5 3N5 -emonstrar a validade do argumento& @pv q, 88q, @r88s,
-em! -e conformidade com a )egra -' 3-emonstrao condicional5, cumpre demonstrar a validade do argumento& @pvq, 8q, 88r8\s, @p88d3s8888t5, t@r e, portanto, consoante a )egra -. 3-emonstrao indireta5, cumpre deduzir uma contradio das premissas @p 88r s, @p * 3s -+ f8t5, t e f@jr! (emos, sucessivamente& 345 f@pvq " 395 " 365 @r@ds " 3N5 @p8\3s88d@8t5 " 3;5 t "O 3F5 @r "O 3S5 @p 4,9 03:5 s8\888t N,S /" 375 s 6!F@/" 34<5! :,7 /" 3445 t A @t 5,10 '+NY 3'ont!5 3;5 -emonstrar a validade do argumento& (1) -(y_lvzr__l) (2) (x<yAx>z)A z=1-x=0 (3) @3BXl v x=0)v (x<yA x>z) x=0
bL.sijjj RL J(p.j- IL11U
v q, @8q,
Dem. -e conformidade com a )egra -. 3-emonstrao indireta5, cumpre deduzir uma contradio das premissas 345, 395, '3) e x g <! (emos, sucessjvamcnte& 345 3Br4 v z348) " (2) (x<yAx>z)A/_1o P (3) (Y=1vx=o)v(x<yAx>Z) P (4) x_O "O (5) YlAz=1 1 DM (6) y=l 5 0./" '9) Y=IVX=O 6 AD (8) 1 xO) 7 DN (9) x<yAx>7 3,8 SD 3l+5 z@Y 5 0./" (II) (x<yAx>), z-1 9,10 CONJ
3495 xO 2,11 /" (13) + A x + N,49 '+NY (Cont.) (6) Demonstrar a validade do argumento: 345 x=1v(x+yyvx>y) 395 X>Yx2>xyAyj 365 g4 (Y1-+x2>xy) -em! -e conformidade com a )egra -. 3-emonstrao! indireta5, cumpre deduzir uma contradio das premissas 345, 395, 365 e BX 4 8 9 U B! (emos, sucessjvamente& (1) x1v(x+y_yvx>y) P 395 WUbW9UWbABgY " 365 g4 " '4) bX48 9U B "O 3;5 (X+y=y VxI.y) 1,3 SD '6) W\BgVBA UB 5 7: 3S5 UB 6 0./" 3:5 9 > B A y = 1 2,7 /" 375 9 >xy 8 0./" (lo) BX. : 0./" (11) X2>xy 4,10 /" 3495! 9 U B A 9 B 7,44 '+NY 3'ont!5
INICIAO t LGICA MATEMTICA 153 3S5 -emonstrar a validade do argumento& 345 ^B8c BX 395 x#yAxy*x 365 ^BvBX48d X9 -em! 'onsoante a )egra -. 3-emonstrao indireta5, cumpre deduzir uma contradio das premissas 345, 395, 365 e B! (emos, sucessiva8 mente& (1) ^B@d BX " 395 X_YAXY_X " 365 x<yvy=1x=2 " 3N5 x=2E*x=y "A 3;5 xy 9 80./" 3F5 xy_x 9 0./" 3S5 x<y 4,F /( 3:5 x<yvy=1 S A375 @9 6,: /" 34<5 (x=2*x=y)A(x=y--*x=2) 4 ,.'+N3445 x=2-+x=y 4< 0./" (12) XB 7,44 /" (13) x=yAx_y ;,49 '+NY3'ont!5 EWE)'G'.+0 4! 1sar a )egra -' 3-emonstrao condicional5 para mostrar que so vlidos os seguintes argumentos& (a) rv s, q8csi@@8@r88c8V88q 3b5 p-*--q, -(r Ap)_q-*--r 3c5 r8ct, t8\888s, (r-s)q--_p_*pA q 3d5 p@dq, r8\p, s8drn!gs88dq 3e5 @p, @r8\q, -s-*pF__-(rA s)q 3f5 p8d888q, @r88q, -s-*q___pv -s-r 3g5 88p v @s, q8c888r, t8ds A r2gggt8dV883p v q5 (li) r8\s, s8cq, rv3sAp5k@@8q8cpAs 3i5 rvs, @t88d888p, r-+-q--_pAq-+sAt
=9
!) r8dp, s8dt, t8drj@@gs8dpvq 3]5 q8dp, tQs, qv8s@83pv588t 345 pv q8cr, s8d888rA 88t, 0Q u@gp8cu 3m5 p@dq, r8\t, s8cr, pv s.@888q8ct
154 EDGARD DE ALENCAR FILHO
9! Usar a )egra 45' 3-emonstrao condicional5 para mostrar que so vlidos os seguintes argumentos: 3a5 345 x#y-*x>yvy>x
(2) y_2v x=2 (3) x>yvy>x*x_2 y=2-+x=y (h) (1) x=I*xy=2 (2) x+y#3-x_1 (3) y= Iv x=2*--(x+y=3 Axy=2) :. x=1-.x_2Ay*
3c5 4 6! 1sar a )egra -' 3-emonstrao condicional5 para mostrar que so vlidos os seguintes argumentos& 3a5 p v q, @r v @q@88@888p8dV8V8r (b) f8pv@8q, pv3rAsgq8ds 3e5 pAq@888rv88s, rAsgggp8c88q 3d5 p@q, pv-r, svt@rk8888@88s8cq
(e) (p-q)vr, sQt@d88r, sv3tAu5@p88dq 3f5 3p@!q5 A(r A--s), s8tBu, f8!8uk!@8@@r88dt (g) pv q, q, r8cV8s, N! 1sar a )egra -l 3-emonstrao indireta5 para mostrar que so vlidos os seguintes argumentos& 3a5 83pAq5, p8\r, qv88r28888gp 3b5 p_*-q, r8dV888p, qv r@@p 3c5 3pAq5, @r8dq, 8p8cr88@@r 3d5 p8cqvr, q8d88p, s88rf8g883pAs5 3e5 p v q, p8d@8r, q8\s88@@@88!rv s 3f5 pvq, s8c88p, @8f3qvr5i888gV8s 3g5 p 83i, q v @3s Q @r5 j@888p (Ii) p-*--.-q, 8pv r, r8\8sn@V8qv S 3i5 p A q@8r, @r8\p, 888q8\8r@@q 3i5 @pv @q, rv s8p, qvs, 88r2@8@@83rv s5
-
( 1 ) ( 2 ) ( 3 )
:.
x=0 x2
x=0
x=I-+x2
x=0
x=2V x2
x=0-x3 3x2
+2x 0
x=0Vx=lx33x2+2x
=0
3]5 p v q@cr, @r, s8cpi@8@@@s 345 (p-*qjvr, svt8U@8r, sv(tAu)Hp-q 3m5 p8cq, qv r@cs, s2@@8p 3n5 3p8cq58cr, r v s8c@8t, t2@@8q ;! 1sar a )egra -. 3-emonstrao indireta5 para mostrar que so vlidos os seguintes argumentos& 3a5 345 9 \6B9N 395 3 XF8\BXN5v9 49 (3) 39 12-.x=6)V2x+3y#24 3N5 gF 9 X498dBXN
3b5 p-*q, qc@ds, tv3rAV@s52@88@p8ct 3c5 f@p8c888qvr, sv(r*t), p!8\s, sfq--.t 3d5 @3p88dq5 v3s8!8888r5, qv 5, p*---s[----rV ; 3e5 3@p8c a5 A 3r8\ s5, pc@c t v @8fs, r, f88t2888@@q 3f5 3p@ca5c888d3r A s@dt5, p8cq Ar, r, 8tk888@@V88s 3g5 883p8 8q58d33rt8s5 v t5, p, q, @t8@8 r8cs
Captulo 1#
8entenas 4bertas
1. SENTENAS ABERTAS COM UMA VARIVEL
-efinio 'Jama8se sentena aberta com uma varivel em um conjunto A ou apenas sentena aberta em A, urna expresso p(x) tal que a) % falsa 325 ou verdadeira (V) para todo a E A. Im outros lermos, p(x) urna sentena aberta em A se e somente se x) torna-se urna proposio (falsa ou verdadeira) todas as vezes que se substitui a varivel x por qualquer elemento a do conjunto A(a E A). O conjunto A recebe o nome de conjunto-universo ou apenas universo (ou ainda domnio) da varivel x e qualquer elemento a E A diz-se um valor da varivel x. Se a E A tal que a) uma proposio verdadeira (V), diz-se que a satisfaz ou verifica p(x). Urna sentena aberta com uma varivel em A tambm se chama funo proposicional com uma varivel em A ou simplesmente funo proposicional em A (ou ainda condio em A).
. . . ) (conjunto dos nmeros naturais) as seguintes expresses: (a) x+l>8 (b) x25x+6=O (e) x+ 5 = 9 (d) x divisor de 10 (e) x primo '() x mltiplo de 3 2. CONJUNTO-VERDADE DE UMA SENTENA ABERTA COM UMA -ARI.-EL Definio Chama-se conjunto-verdade de uma sentena aberta p(x) em um conjunto A, o conjunto de todos os elementos a E A tais que a) uma proposio verdadeira (V).
Qp q
. EAAp3 5%Qr ou seja, mais simplesmente& Q {x A A p3 5r OU Qp q EA.p3 5r +bviamente, o conjunto8verdade Qp de uma sentena aberta p3 5 em A % sempre um subconjunto do conjunto A3Qp C A5!
Errnq,los:
345 0eja a sentena aberta Z + 4 U :[ em N 3conjunto dos n#meros naturais5! + conjunto8verdade %& v{xIxeNAx+l>8} Xq:,7,.o,!!! rcN
+S
v {xIxENAx+5>3} =NCN
3N5 "ara a sentena aberta Z % divisor de 4<[ em N, temos& Q q 1 EN A % divisorde ior = ql,9,;, ior ' N 3;5 + conjunto8verdade da sentena aberta Z 9 9 U +[ cm Z 3conjunto dos n#meros inteiros5 %& vXq . EzA 9g9 Uor Xz@qo,4,9r N+(A /ostram os e emplos anteriores que, se p3 5 % uma sentena aberta em
um conjunto A, trs casos podem ocorrer& 345 p3 5 % verdadeira 3Q5 para todo E A, isto %, o conjunto8verdade Q coincide com o universo A da varivel 3Qp A5! -iz8se, neste caso, que p3 5 e prime unia condio universal 3ou uma propriedade universal5 no conjunto A!
EDGARD DE ALENCAR FILHO (2) p3 5 % verdadeira 3Q5 somente para alguns E A, isto %, o conjunto8verdade Qp % um subconjunto prEprio do universo A da varivel
3Q ' A5!
Neste caso, diz8se que p3 5 e prime uma condio poss$vel 3ou uma propriedade poss$vel5 no conjunto A. (3) p3 5 no verdadeira (F) para nenhum x E A, isto , o conjunto8verdade Qp % vazio 3Q =
-iz8se, neste caso, que p3 5 e prime uma condio imposs$vel 3ou uma propriedade imposs$vel5 no conjunto A! No universo ) 3conjunto dos n#meros reais5, as condies& so universal a primeira 3visto ser verificada por todos os n#meros reais5 e imposs$vd a segunda 3visto no ser verificada por nenJum n#mero real5! No mesmo universo ) a condio 7 9 4 + % poss$vel, visto ser verificada somente pelos n#meros reais 4L6 e 4L6! "elo contrrio, no universo N 3conjunto dos n#meros naturais5 a mesma condio 7 9 i % imposs$vel, pois, no e iste nenJum n#mero natural que verifique tal condio! "or sua 0ez, a condio 6 U 4 universal em N 3o triplo de um n#mero natural % sempre maior que 45, mas fl() % universal em ) 3no % verificada para 4L6 ou para ^ 4L65! 'omo se v atrav%s destes e emplos, o emprego dos adlctivos Zuniversal[, Zposs$vel[ e Zimposs$vel[ depende geralmente do universo adotado! Note8se, por%m, que a condio = % universal, e por conseguinte a condio % imposs$vel, qualquer que seja o universo considerado, por virtude do AW.+/A *RC.'+ -A .-EN(.-A-E& (odo o ente idntico a si mesmo, isto %, simbolica me n te& a = a, qualquer que seja o ente a 2ntende8se por ente 3ser ou entidade5 a tudo aquilo que se considera como e istente e a que, por isso, se pode dar um nome! 3. 0EN(ENIA0 A,E)(A0 '+/ -1A0 QA).OQE.0 -efinio -ados dois conjuntos A e ,, cJama8se sentena aberta com duas vari$veis em A , ou apenas sentena aberta em A ,, uma e presso p3 , B5 tal que a, b5 % falsa 325 ou verdadeira 3Q5 para todo o par ordenado 3a, b5 E A ,! Em outros termos, , B5 % uma sentena aberta em A , se e somente se p3 , B5 torna8se unia proposio 3falsa OU verdadeira5 todas as vezes que as variveis e B so substitu$das respectivamente pelos elementos a e b de qualquer par ordenado 3a, b5 pertencente ao produto cartesiano A , dos conjuntos A e , 33a, b5 E A ,5! 158
\4U e x+l=x
INICIAO LGICA MATEMTICA 159 O conjunto A x B recebe o nome de conjunto-universo ou apenas universo 3ou ainda dom$nio5 das variveis e y, e qualquer elemento 3a, b5 dc A , dizse um pa# de valores das variveis e B! 0e 3a, b5 E A , % tal que a b5 % uma proposio verdadeira 3Q5, diz8se que 3a, b5 satisfaz ou verifica p3 , B5! 1ma sentena aberta com duas variveis cm A , tamb%m se cJama funo proposicional com duas variveis em A , ou simplesmente funo proposicional em A , 3ou ainda condio em A ,5! Exemplos 0ejam os conjuntos A qi, 9, 6r e , = q;, F 0o sentenas abertas em A , as seguintes e presses& (a) x % menor que y(x <y) 3b5 % divisor de y(x y) (e) y o dKbro de x(y = 2x)
(d) mdc(x,y)= 1 O par ordenado 36, ;5 E A x B, p. e !, satisfaz 3a5 e 3d5, pois, 6 ^ 5 e o mdc36 ;5 4, e o par ordenado 36, 6) E A x B, p. e !, satisfaz 3b5 e 3c5, pois, 3 4 F e F = 2 6!
Vp {(x,y)EAxBIp(x,y)} + conjunto-verdade Vp de uma sentena aberta p3 , B5 em A x B % sempre um subconjunto do conjunto A x B(Vp ( A X B). E emplos:
345 0ejamos conjuntos AV .,9,6,Nr e , ql,6,;r !+conjunto8verdade da sentena aberta Z ^B[ em A , %& QXq3W,b5.WEAAbE46AW^br = = q3l,65,3l,;5,39,65,39,;5,36,;5,3N,;5r 'A ,
(2) Sejam OS Conjuntos A {2, 3, 4, 5 e B {3, 6, 7, lo sentcna aberta x divide y (x 1 y) em A x B : Vp{(x,y)IxEAAyeBAxly} = = 2,6).(2.1),(3,3),(3,6),(5,lo)} CAxB
}O
Conjunto- verdade da
}
.,
{(O, l),(1,O),(-1,O),(O,-l)} C ZxZ 5. SENTENAS ABERTAS COM N VARIVEIS Consideremos os n conjuntos A1, A2, A e o seu produto cartesiano A1xA2x...xA. Definio Chama-se sentena aberta com n variveis em A1 x A2 x. x A ou apenas sentena aberta em A1 x A2 x. x A, uma expresso p(x1, x2,. x,J tal que a1, a2, an) falsa (F) ou verdadeira (V) para toda n-upla (a1, a2, an) EA1 x A2 x.. x An.
., , .,
INICIAO LGICA MATEMTICA 161 O conjunto A1 A! * . . A recebe o nome dc conjunto8universo ou apenas universo (ou ainda domnio) das variveis x1, x2, . . ., 0, e qualquer elemento (a1, a2 a0) E A1 x A2 x. . . A0 diz-se urna n-upla &
valores das
variveis
X1,X2,..., X. Se 3a4, a2 a0) E A1 x
A2 x . . . A0 tal UC a1, a2, . . ., a) uma proposiJo verdadeira (V), diz-se que (ai, a2 a0) satisfaz ou verifica p( x1,x2 Xn). Uma sentena aberta com n varivcis em A1 x A2 x . . . x A tambm se chama funo proposicional com n variveis em A4 A9 .,. . A4 ou simplesmente funo pmposicional em A1 x A2 x. . . A1, (ou ainda condio em A1 x A2 x.. ;0'.1n,)lo A eXpreSSo x + 2y 3z < 18 urna sentna aberta em N x N x N, sendo N o conjunto dos nmeros naturais.
O terno ordenado (1, 2, 4) e 1+2.2+3.4<1%.
)esolver uma equao ou inequao, num dado conjunto8universo, % determinar o seu conjunto8verdade 3ou conjunto8soluo5, cujos elementos, quando e istem, cJamam8se as ra$zes da equao ou solues da inequao!
(c) x25x+60 (e) x25xO 2. Dctcriiiiiiar o conjunto8verdade cm Z (conjunto dos nmeros inteiros) de cada uma das
seguintes sentenas abertas&
3a5 9 <25
(c) x2-f-3EA (e) x3 4x2 O 3g5 x divisor de 27
(f) x45x2+4O (h) 3x<lO (b) Ix -2 1x-2 3d5 2x3 @6 (f) x22IxI--30 (h) x3+IxI=0
r
E?ERC@CIOS
3b5 @4^N 3d5 98 89X< 3f5 @;FN 3a5 9@7[+ 3c5 6 9@49< 3e5 9@ @l9X+ 3b5 9V6 3d5 9 9\; X+
(f) 12x1 H5 3. -eterminar o %o$>u$to9D'#&a&' em A { 4, 6, N, S, 9, li } de cada uma das seguintes sentenas abertas: N! -eterminar o conjunto8verdade em ) 3conjunto dos n#meros reais5 de cada uma das seguintes sentenas abertas&
;! -eterminar o conjunto8verdade em A =
{ 4, N, 7, 10, li } de
+y
S! -ados os conjuntos A = q9, 6, ; } e , q6, F, :, 44 } , determinar o conjunto8verdade da sentena aberta Z y 3 divide B5 em A ,! :! -eterminar o conjunto8verdade da sentena aberta Z + 3y = 49[ em N N, sendo N o conjunto dos n#meros naturais! 7! -eterminar o conjunto8verdade da sentena aberta Znidc3 , B5 4[ cm A A, sendo A = q9, 6, N, ; } 4<! -eterminar o conjunto8verdade da sentena aberta Z6 3 y) em A A, sendoAX q9,6,N,;,Fr li! -ados os conjuntos A = { 9, <, 4, 9 } e , { 4, <, 6 } , determinar o conjunto8verdade da sentena aberta Z 4[ em A ,!
+y
<
Captulo 1&
;,
#, : = 9,
4,
Note8se que a conjuno U 9 A ^ : costuma ser escrita& 9 ^ ^ :! Alis, sendo a e b n#meros reais quaisquer, escreve8 se, po# &'2 $ 34oI a^ ^bXX UaA ^b +1
ja, b 1 x > a A : \ b
56tros e en;?)los: 345 No universo N 3conjunto dos n#meros naturais5&
3 x A 5 Ix 15 Ix xly A yIx=xy
.
395 No universo ) 3conjunto dos n#meros reais5& 9 8t8 B = : A ; = 7 x = 3 A y 9 o que tamb%m se pode escrever&
9 \BX!: Y X6
[sx-3y=9 y=2 (3) No universo das figuras geom%tricas& x um retDngulo A x % um losango x % um quadrado
x> 2 -
x< 8 -
x>2Ax< 8 -
J
.r
9 84 :, ;S
2 2
Q Q
2 2
166 EDGARD DE ALENCAR FILHO 25e rondo geral, sejam p(x) e q3 5 sentenas abertas em um conjunto A. ' bvio que um elemento a E A satisfaz a sentena aberta p(x) A q(x) em A se a proposio a) A q(a) % verdadeira 3Q5! +ra, esta proposio % verdadeira se e somente se as proposies a) e q(a) so ambas verdadeiras, isto , se e somente se a E A satisfaz ao mesmo tempo as sentenas abertas p(x) e q(x) em A. Portanto, o conjunto-verdade V A cl da sentena aberta x) A q(x) em A a interseo fl) dos conjuntos-verdade V, e das sentenas abertasx) e q(x) em A. Temos, pois, simbolieamen te: Vpq =VpflVq={xEAIp(x)}fl {xEAIq(x)} Exemplificando, sejam as sentenas abertas em Z (conjunto dos nmeros inteiros): p(x) : x2 + x --2 O q(x) : x2 - 4 O Temos: -. QpAqq Ev. 9\ g9X+rflq Ev. 9gNt<r ={-2,l) fl {-2,2} ={-2} 3. DISJUNO Consideremos ainda as sentenas abertas em H (conjunto dos seres humanos): x mdico, x professor Ligando estas duas sentenas abertas pelo conectivo v (que se l ou), obtemos uma nova sentena aberta em H: x mdico V x professor que verificada por todo indivduo que satisfaz uma pelo menos das duas condies dadas, e s por esses indivduos. Logo, natural chamar a nova sentena aberta assim obtida disjuno das duas primeiras. Analogamente, a disjuno das sentenas abertas em R (conjunto dos nmeros reais): x <2, x> 8 a sentena aberta em R: x <2 v x > 8
INICIAO LGICA MATEMTICA 16]
i01
2 v x 3 x2 + x -6 O
x=5V x<5nx5
Alis, sendo a e J n#meros reais quaisquer, escreve8se, por definio&
abt==a<bV a=b
(amb%m se escreve, por definio& abccXabA bc
5,
= ir,
= :,;S,
x<2 O -1
9 Q
x>8
E
x<2Vx>8
Q Q E
V
E
E
2
5
ir
F
E
E E
F
E
8, 57
Qp q = Q 1 Qq q ' A p3 z 1 { x e A q3 5r . ernplificando, sejam as sentenas abertas em Z 3conjunto dos n#meros inte i r3 5s5& p3 5 & 9 + 889 + cl3 5& 9 NX< (emos&
Vpvq={xERIx<o}u{xekix>o}R*uR*=R*
4. NEGAO
'onsideremos no universo n dos seres Jumanos a sentena aberta& Z tem menos de 94 anos[ Antcpondo a esta sentena aberta o conectivo -- 3que se l Zno verdade que[5, obtemos a nova sentena aberta em n& Z8 tem menos de 94 anos[ que % natural cJamar negao da primeira, pois, % verificada precisamente pelos indiv$duos que no satisfazem aquela! +bviamente, a negao de Z tem menos de 94 anos[ % logicamente equivalente > seguinte sentena aberta em n& x tem 94 anos V tem mais de 94 anos[
Outros exeniplos:
De modo geral, seja p(x) urna sentena aberta em um conjunto A. ' bvio que um elemento a E A satisfaz a sentena aberta f8p3 5 em A se a proposio a5 % verdadeira 3Q5! +ra, esta proposio % verdadeira se e somente se a proposio p3a5 % falsa 325, isto %, se e somente se a E A no satisfat a sentena aberta p3 5 cm A! "ortanto, o conjunto8 verdade Qg4 da sentena aberta 8p3 5 em A % o complemento em relao a A do conjunto8verdade Q da sentena aberta j 5 cm A! (emos, pois, sinibolicamen te& X 'AQp 'A q E A. p3 5r 2 cmpliticando, seja A o conjunto dos nmeros naturais divisveis por ;, isto %, A X q;] 4] EN q;, l+, ;,9<,!!! p3 5 & termina por ; temos& X3
EA4
termina por ;
X q E A 4 termina por o ;! '+N-i'.+NA* 'onsideremos as sentenas abertas em Z 3conjunto dos n#meros inteiros5& ; + F +[, Z 9 @7 <[ *igando estas duas sentenas abertas pelo conectivo * 3que se l& Zse . . . ento .) obtemos uma nova sentena aberta em Z: Z 9@; \F<8\ 9@7<[
denominada condicional das duas primeiras, e verificada por todo n#mero inteiro diferente de 9 3para = 2 a condicional % falsa 325 porque o antecedente % verdadeiro 3Q5 e o consequente % falso 3255! -e modo geral, sejam p3 5 e q3 5 sentenas abertas em um mesmo conjunto A! *igando estas duas sentenas abertas pelo conectivo , obtemos uma nova sentena aberta em A& Zp3 5 - q3 5[, que % verificada por todo elemento a E A tal que a condicional Za5 * q3a5[ % verdadeira 3Q5! "or ser p3 5 -+ 3j3 5 X8p3 5 v q3 5, segue8se que o conjunto8verdade Qp * q da sentena aberta p3 5 -* q3 5 em A coincide com o conjunto8 verdade da sentena aberta @p3 5 v q3 5 em A e, portanto, % a reunio ( 1 ) dos conjuntos8verd#de e Qq das sentenas abertas @j 5 e q3 5 em A! (emos, pois, simbolicamente&
+. /ICONDICIONAL
Qpq XQp1Qq X'AQp1Qq p3 5 & xl 49, q3 5 & xl 45 'onsideremos as sentenas abertas cm Z 3conjunto dos n#meros inteiros5&
Z U ;[, Z ^ +[ *igando estas duas sentenas abertas pelo conectivo * 3que se l& Zse e somente se[5 obtemos uma nova sentena aberta em S& Z U @; : ^ +[ denominada bicondicional das duas primeiras, e que % verificada por todo n#mero inteiro maior que @; e menor que +, isto %, para @6, @9, - 4, e somente por esses n#meros! -c modo geral, sejam p3 5 e q3 5 sentenas abertas cm um mesmo conjunto A! *igando estas duas sentenas abertas pelo conectivo obtemos urna nova sen 4S<
OU 0eja
88N,
Qpcq 'A {xEAip(x)} U {xEAlq(x)} E emplificando, sejam as sentenas abertas em N 3conjunto dos n#meros naturais5& (emos&
1 1
INICIAO LGICA MATEMTICA 171 tena aberta em A& p(x) q(x), que % verificada por todo elemento a E A tal que a bicondicional Zp3a5 ** q3a5[ % verdadeira 3Q5! "or ser p3 5 * 5 3p3 5 * q3 55 A 3q3 5 * p3 55, segue8se que oconjunto 8verdad Qp q da sentena aberta p3 5 q3 5 em A coincide com o conjunto8 verdade da sentena aberta em A& 3p3 5 -* q3 55 A 3q3 5 - p3 55 e, portanto, % a interseo fl) dos conjuntos8verdade Qp e Qq p das sentenas abertas em A& p3 5 q3 5 e q3 5 p3 5! (emos, pois, simbolicamcnte& Qpccq Qpcq flQ34\p UVq)fl(Vq UV) 33AQp 1 Qq5 fl 33fAQq 1 Q5 ou seja&
=
=ICA {xEAIp(x)} U {xEAq(x I flA xEAIq(x)} U {xEAlptx)} 1 E emplificando, sejam as sentenas abertas cm N (conjunto dos n#meros naturais): p(x):x16, q(x):xIlS
(ernos&
(NVpU Vq N I,2.L6} U {l,3,5,15} =N 2,} 3NQ4 U Q, XN l.3,5, 15) U ql,, 3,6) XN -- q;, 4;5
e, portanto& Vp(1 N - {2,6} .fiN -- ;, ls}I=N q9,;,F, .05 S! .LGE/RA DAS SENTENAS A/ERTAS A( propriedades &a( operaes lEgicas sobre proposies FCap. S5 se transmitem automaticamente >s operaes lEgicas sobre sentenas abertas '5 um mesmo conjunto que vimos dc definir! Assim, a conjuno e a disjuno continuam a ser comutativas e associativas, e cada uma delas % distributiva em relao > outra! 0ubsiste a propriedade da dupla negao, assim como as leis de -E /+)CAN! Tuanto >s p#op# '&a&'( &' &'$t &a&'I pA t p, pAcXXc, pQ tNXVt, pQ '6
assumem agora novo aspecto! Assim, ternos& 172 EDGARD DE ALENCAR FILHO (1) A conjuno de urna sentena aberta com urna outra que exprime u5a condico universal equivalen te primeira. (II) A conjuno de urna sentena aberta com urna outra que exprime uma condio impossvel tamb%m exprime urna condio impossvel. Destas duas propriedades resultam mais &ua( outras por &ual &a&' lEg %a, (uU( tutuindo conjuno por disjuno, universal por impossvel e impossvel por universal. Consideremos, p. ex., em R (conjunto dos nmeros reais) os sistemas: J2x 1>3 f2x_ 1>3
{xl>x [x+l=x
(iC se
podem escrever, respectivarnente: 2x l>3Ax+l>x, 2xl>3Ax+l=x Como a sentena aberta x + 1 > x exprime urna condio universal e a sentena aU'#ta : + 1 = x exprime uma %o$& 34o 5po((D'l, t'#'5o(I 2x -1>3 A x+ 1 >x=2x 1>3 2x - 1 > 3 A x 1 = x x 1 x (impossvel) Analogamente: 2x 1>3V xi- 1 >xx+1>x(universaI) 2x 1 >3v x + 1 = x 2x 1 >3 CONVENO Dadas vrias sentenas abertas p,(x), p2(x), p3(x) ese reve-se: p1(x) A p2(x) A p3(x) em lugar de (p1(x) A p2(x)) A p3(x); p1(x) A p2(x) A p3(x) A p4(x) em lugar de (p1(x) A p2(x) A p3(x)) A
p4(x);etc.
Analogamente para a disjuno. E?ERC@C OS 1. Determinar o conjunto-verdade em A = {i, !, 3, compostas: (a) x<7Axmpar (b) xparAx+210 (e) 3IxA x<8 (d) (x+4)eA A(x25)A
INICIAO LGICA MATEMTICA 13 9! -eterminar o %o$>u$to9D'#&a&'
. .,
9, 10
'5 A = {o,
4, 9, 6, N, ;
3a5 9 6 + v 9 = 3b5
% par V 9 ^7
x2 6x+ 5=0
6! -eterminar o conjunto8verdade em A = 4, 9, 6, N, ; de cada urna das seguintes sentenas abertas compostas& 3a5 @3 65 3b5 @3 % $mpar5 3e5 @3 4495 3d5 @3 + 45 A 3e5 883 % primo5 3f5 X3 9 6 <5 N! -eterminar o conjunto8verdade em A = q@6, @9, @4,<, 4,9, 6r de cada uma das seguintes sentenas abertas compostas& 3a5 %par@ 9@4X< 3J5 4498d %primo 3c5 ' !5)@-! #0 3d5 9@l 04 2!4 !30 3e5 9\ @F^<8\ 987X+ ;! -eterminar o conjunto8verdade em A = 4, 9, 6, 4, 5} de cada uma das seguintes sentenas abertas compostas& 3a5 9 6 X<88 9 X< 3J5 %par@d 9^: 3c5 %primo@3 \05EA (d) 9U49@d 9@; \FX< F! 0ejam as sentenas abertas em ) 3conjunto dos n#meros reais5& p3 5&9 86^< e q3 5& \.< es8 -eterminar A q C Qp _* S! 0ejam as sentenas abertas em ) 3conjunto dos n#meros reais5& p3 5& 4; 9 + 9 : O e q(x) : ; 9 + 19x 49 = O -eterminar v q e Q"A3.! :! 0ejam as sentenas abertas em ) 3conjunto dos n#meros reais5& p3 5&@N c6< e q3 5&; c9U< -eterminar Qp A q e Las 7! 0ejam as sentenas abertas em A qi,9,6!N!;! F!S!:, 7r p3 5 : 2 EA e q(x) & % $mpar -eterminar Q, . qV Qq p e Qp q 174 EDGARD DE ALENCAR HLHO
{o,
qo,
4<! 0ejam p3 5, q3 5 e r3 5 sentenas abertas em um mesmo conjunto A! E primir o conjunto8verdade da sentena aberta composta& p3 5@dq3 5v 8r3 5 em funo de Qp, Qq e Qr! )esoluo (emos, sucessivamente& Qp - q v f@r 'AQp 1 Qq v @8r 'AQp 13Qq U Qr5 = 'AQp 13Qq 1 'AQr5 44! 0ejam p 5, q3 5 e r3 5 sentenas abertas em um mesmo conjunto A! AcJar a e presso do conjunto8verdade de cada uma das sentenas abertas compostas abai o em funo de Q, Qq e Qr 3a5 83p3 5 v q3 55 3b5 88p3 5 - 3c5 p3 5 @d3888r3 5 * q3 55 3d5 3p3 5 - q3 55 A 3q3 5 * r3 55
Captulo 1*
'AQr5
9uanti6icadores
1. ,UANTI1ICADOR UNI-ERSAL
0eja p3 5 uma sentena aberta em um conjunto no vazio A3A d e seja Qp o seu conjunto8verdade& Qp q 1 E A A p3 5r Tuando Q = A, isto %, todos os elementos do conjunto A satisfazem a sentena aberta p3 5, podemos, ento, afirmar& 3i5 Z"ara todo elemento de A, p3 5 % verdadeira 3Q5[ 3ii5 ZTualquer que seja o elemento de A, p3 5 % verdadeira 3Q5[ ou seja, mais simplesmente& 3iii5 Z"ara todo de A, p3 5[ 3iv5 ZTualquer que seja de A, p3 5[ "ois bem, no simbolismo da *Egica /atemtica indica8se este fato, abreviadamente, de uma das seguintes maneiras&
345 3 EA53p3 55 395 f EA,p3 5 365 EA&p3 5 /uitas vezes, para simplificar a notao, omite8se a indicao do dom$nio A da varivel , escrevendo mais simplesmente& F4G 3f 53 55 3;5 , p3 5 F+G &p3 5
Q =A
(v
EA53p3 55QA Impoita notar que p(x),simplesmente, uma sentena aberta, e por conseguinte carece de valor lgico V ou F; mas, a sentena aberta p(x) com o smbolo antes dela, isto , ( x A) (p(x)), torna-se uma proposio e, portanto, tem um valor lgico, que a verdade 3Q5 se Q A e a falsidade (F) se Q A. Em outros termos, dada uma sentena aberta p(x) em um conjunto A, o smbolo , referido varivel x, representa uma operao lgica que transforma a sentena aberta x) numa proposio, verdadeira ou falsa, conforme p(x) exprime ou no uma condio universal no conjunto A. A esta operao lgica d-se o nome de quantificao universal e ao respectivo smbolo V (que um A invertido) o de quantificador universal. Quando, em particular, A seja um conjunto finito com n elementos a1, a2 a, isto , A = {a1,a2 an} , bvio que a proposio ( xEA)(x)) equivalente conjuno das n proposies p(a1), p(a2) p(an), ou seja, simbolicamente: (t xA)(p(x))==(p(a1) A p(a2) A ... Ap(an)) Portanto, num universo finito, o quantificador universal equivale a conjunes sucessivas. Assim, p. ex., no universo finito A {3, 5, 7 } e sendo p(x) a sentena aberta x primo, temos: (V x A) (x primo) (3 primo A 5 primo A 7 primo) Exemplificando, a expresso:
( x) (x mortal)
l-se Qualquer que seja x, x mortal, o que uma proposio verdadeira (V) no universo H dos seres humanos ou, mais geralmente, no universo dos seres vivos. Se a varivel da sentena aberta for uma outra, em vez da letra x, escreve-se o quantificador universal V seguido dessa varivel. Assim, a expresso:
( x) (2x > x) : Qualquer que seja x, 2x > x ( y) (2y > y) : Qualquer que seja y, 2y > y
exprimem ambas o mesmo fato: O dobro de um nmero sempre maior que esse nmero, o que verdadeiro em N, mas falso em R (p. ex., 2. O = O, 2 . (3) < 3, etc.).
116 EDGARD DE ALENCAR FILHO
(v
EA53p3 55XQA
Importa notar que p(x), simplesmente, % uma sentena aberta, e por conseguinte carece de valor lgico V ou F; mas, a sentena aberta x) com o smbolo antes dela, isto , ( x E A5 3 55, torna8se uma proposio e, portanto, tem um valor lgico, qUe % a verdade 3Q5 se = A e a falsidade (F) se Qp A! Em outros termos, dada uma sentena aberta p3 5 em um conjunto A, o smbolo , referido varivel x, representa uma operao lgica que transforma a sentena aberta p(x) numa proposio, verdadeira ou falsa, conforme p(x) exprime 011 nO uma condio universal no conjunto A. A esta operao lgica d-se o nome de quantificao universal e ao respectivo smbolo Q (que um A invertido) o de quantificador universal. Quando, em particular, A seja um conjunto finito com n elementos a1 , a2 tn 15k) %, A{a1, a9 an} , % bvio que a
. . .,
EA53p3 553a45 A a95 A ... Ap3an55 "ortanto, num universo finito, o quantificador universal equivale a conjunes sucessivas! Assim, p! e !, no universo finito A = q6, ;, S e sendo p3 5 a sentena aberta Z % primo[, temos& 3fv E A5 3 % primo5 36 % primo A % primo A % primo5 E emplificando, a e presso&
(v
53 % mortal5 l8se ZTualquer que seja , % mortal[, o que % uma proposio verdadeira 3Q5 no universo n dos seres Jumanos ou, mais geralmente, no universo dos seres vivos! 0e a varivel da sentena aberta for uma outra, em vez da letra , escreve8se o quantificador universal vV seguido dessa varivel! Assim, a e presso& 3fs 2ulano5 32ulano % mortal5 l8se ZTualquer que seja 2ulano, 2ulano % mortal[, o que significa e atamente o mesmo que a proposio anterior! Analogamente, as e presses&
e primem ambas o mesmo fato& Z+ dobro de um n#mero % sempre maior que esse n#mero[, o que % verdadeiro em N, mas falso em ) 3p! e !, 9! + = +, 9 . 3@65 ^ 6, etc!5! INICIAO LGICA MATEMTICA 177
/uitas vezes 3quando no J perigo de d#vida5, o quantificador % escrito depois e no antes da e presso quantificada! "or e emplo, tem8se em )& 9 @N3 c953 @95, nte tes Aqui, o s$mbolo Q pode lr8se Zqualquer que seja [ ou Zpara todo o valor dor de [ ou simplesmente Zpara todo o [! Algumas vezes, para evitar poss$veis d#vidas, o dom$nio da varivel % devida8 mente especificado! Assim& aa me \lU , E) me de Aqui,[ E )[ le8se& Zqualquer que seja E )V ou ainda para todo E ) +utras vezes ainda, para condensar a e crita, escreve8se a varivel como $ndi c do s$mbolo . Assim, p! e !& bo8 9 U 3Z"ara todo o U +, tem8se 9 U [5 U+ 9 U + 3Z"ara todo o +, tem8se 9 U +[5 es + na Outros cve1z/)1os: 345 A proposio& 3Q n E N5 3n + ;U65 % verdadeira, pois, o conjunto8verdade da sentena aberta n5 &n + 5 U6 %& = qnlneN An+5>3} = l,9,6,!! rN 395 A proposio& &eo ( nEN53n\6US5 % falsa, pois, o conjunto8verdade da sentena aberta p3n5 &n \ 6 US %& Vp {nInENA n+3>7} q;,F,S,!!!r dN (3) +bviamente, a proposio 3Z x E )5 3 9 +5 % verdadeira e a proposio (t x E )5 (3x ; = +5 % falsa!
118 EDGARD DE ALENCAR FILHO
9! T1AN(.2.'A-+) E?ISTENCIAL 0eja p3 5 uma sentena aberta em um conjunto no vazio AFA I N5 e seja o seu conjunto8verdade& Qp q . EA i p3 5r
Tuando Q, no % vazio 3Q N5, ento, um elemento, pelo menos, do conjunto A satisfaz a sentena aberta 5, e podemos afirmar& 3i5 ZE iste pelo menos um E A tal que p3 5 A verdadeira 3Q5[ 3ii5 Z"ara algum E A, p3 5 % verdadeira 3Q5[ OU seja, mais simplesmente& 3iii5 ZE iste E A tal que p3 5[ 3iv5 Z"ara algum E A, p3 5[ "ois bem, no simbolismo da *Egica /atemtica indica8se este fato, abreviadamente, de uma das seguintes maneiras& 345 ( 6 EA53p3 55 395 6 EA, p3 5 365 6 EA& 5 /uitas vezes, para simplificar a notao, omite8se a indicao do dom$nio A da varivel , escrevendo mais simplesmente& 3N5 36 5 3 55 3;5 6 , p3 5 3F5 6 &p3 5 0ubsiste, pois, a equivalncia& 36 EA53p3W55Q 'umpre notar que, sendo p3 5 uma sentena aberta, carece de valor lgico Q ou 1] mas a sentena aberta p3 5 com o s$mbolo 6 antes dela, isto %, F< E A5 3p3 55, torna8se uma proposio e, portanto, tem um valor lEgico, que
Tuando, em particular, A seja um conjunto finito com n elementos a4, a9, e seja a, isto %, A = qat, a9,!!!, anr , % Ebvio que a proposio 37 E A53p3 55 % equivalente > disjuno das n proposies p3a45, p3a95,! . ., p3a5, ou seja, simbolicamente& 37 E AG 3p3 55 _ 3a5 v p3a5 v ... v p3an55 , do CO2l9 "ortanto, num universo finito, o quantificador e istencial equivale a disjunes sucessivas! Assim, p! e !, no universo finito A = q6, N, ;r e sendo p3 5 a sentena aberta Z % par[, temos& 36 E A5 3p3 55X36 % par v % par v 0% par5 E emplificando, a e presso&
(3
5 3 vive na *ua5 l8se ZE iste pelo menos um tal que vive na *ua[, e % uma proposio (alsa F1G no universo n dos seres Jumanos, que tamb%m se pode traduzir por ZAlgum ser vive na *ua[! abreviada8 Analogamente, a e presso& 37 53 U 95 l8se ZE iste pelo menos um tal que U 9 , o que % uma proposio verdadeira 3Q5 em ) 3ZAlgum n#mero real % superior ao seu quadradd[5, mas falsa 325 em N 3ZNenJum n#mero natural % superior ao seu quadrado[5! "ara o s$mbolo 7 adotam8se ainda convenes anlogas >quelas que indicamos minio A para o quantificador universal ,com esta unica diferena& nunca po&' ser '(%$to apE( a sentena aberta quantificada! 56tros e emplos: 345 A proposio& 36 n E N5 3n ! 4# ^G % verdadeira, pois, o conjunto8verdade da sentena aberta p3n5 & n c N ^: %& alorlEgico Qp qn.nEN A ncN^:r = q4,9,6,r la, isto %, *Egico, que 395 A proposio&
( 6nEN53n8i8; ^65
bo.o 6
sentena % falsa, pois, o conjunto8verdade da sentena aberta p3n5 & n c 5 ^6 %& meouno qn.nENAn\;^6r = o nome de tido5 o de 365 +bviamente, a proposio ( 6
(6
E)539
4X<5 % verdadeira!
536 @4 4N5, ( 53 K 4 U 5 . frequente em /atemtica o uso do seguinte ").N'G".+ -E 01,0(.(1.I?+ -A0 QA).OQE.0 A"A)EN(E0& (odas >s vezes que uma varivel aparente % substitu$da, em todos os lugares que ocupa numa e presso, por outra varivel que no figure na mesma e presso, bt%m8se uma e presso equivalente! Assim, p! e !, so equivalentes as proposies& 3d )
( 2ulano5 32ulano % mortal5 e ( - 5 3 % mortal5o 3d d5 ( 2ulano5 32ulano foi > *ua5 e ( 5 3 foi > *ua5
-e modo geral, qualquer que seja a sentena aberta p3 5 em um conjunto A subsistem as equivalncias& 3i5 ( eA53p3 55X3BEA53p3B55 3ii5 ( %A5T,3 55X3 BeA53p3B55 N! T1AN(.2.'A-+) -E EW.0(sN'.A E 1N.'.-A-E 'onsideremos em ) a sentena aberta Z 9 = 4F[! "or ser 4! = 4F, FZ4G! = 4F e N N podemos concluir&
,BE)53 9 = 4F A B9 4F A dB5 "elo contrrio, para a sentena aberta Z 6 = 27 em ) teremos as duas proposies& 3i5 ( E)53 6X9S5 (ii) 6X9S Ay3=27=x=y A primeira proposio diz que e iste pelo menos um % uma afirmao de e istncia!
ILHO INICIAO LGICA MATEMTICA 181
A segunda proposio diz que no pode e istir mais de um E ) tal que 6 = 27: % uma afirmao de unicidade! e OU A conjuno das duas proposies diz que e iste um E ) e um sE tal que 6 = 9S! "ara indicar este fato, escreve8se& 36 p E)53 6X9S5 onde o s$mbolo 6 p % cJamado quantificador e istencial de unicidade e se l& ZE iste um e um sE[! /uitas proposies da /atemtica encerram afirmaes de e istncia e unicidade! Assim, p! e !, no universo )& A+ a+3b53 6p 53a Xb5 E emplificando, so obviamente verdadeiras as proposies& 36 EN53 9 @7X<5 ( 6 p Ev53@l ^ ^ 45 ( 6 p E )5 (1 = <5
5. NEGAO DE PROPOSIES COM QUANTIFICADOR claro que um quantificador universal ou e istencial pode ser precedido do
s$mbolo de negao . "or e emplo, no universo n dos seres Jumanos, as e presses& 3i5 ( Q 5 3 fala francs5 3ii5 ( 5 3 fala francs5 3iii5 ( 6 5 3 foi > *ua5 3iv5 ( 6 5 3 foi > *ua5
so proposies que, em linguagem comum, se podem enunciar, respectivamente& 3d ) Z(oda a pessoa fala francs[ * ) ZNem toda a pessoa fala francs[ * d5 ZAlgu%m foi > *ua[ * * * ) ZNingu%m foi > *ua[ 0o tamb%m evidentes as equivalncias& ( Q 5 3 fala francs5 ( 6 5 38f8 fala francs5 ( 6 5 3 foi > *ua5 ( 5 3@ foi > *ua5 -e modo geral, a negao da proposio ( E A5 3p3 55 % equivalente a afirmao de que, para ao menos um E A, p3 5 % falsa ou @p3 5 % verdadeira!
182 EDGARD DE ALENCAR FILHO
*ogo, subsiste a equivalncia& [( / E A5 3p3 55j ( E A5 3p3 55 Analogamente, a negao da proposio ( E A5 3p3 55 % equivalente a afirmao de que, para todo E A, p3 5 % falsa ou @p3 5 % verdadeira! *ogo, subsiste a equivalncia& [ ( EA53p3 55|X ( EA5 3@p3 55 Estas duas importantes equivalncias so conJecidas por segundas regras de negao de DE MORGAN. "ortanto& A negao transforma o quantificador universal em quantificador e istencial 3seguido de negao5 e vice8versa!
Exemplos:
345 A negao da proposio& Z(odo o aluno da turma A % bem comportadoV % a proposio& ZE iste pelo menos um aluno da turma A que no % bem comportado[, ou seja, mais simplesmente&[Nem todo aluno da turma A % bem comportado[! 395 A negao da proposio& ZE iste pelo menos um aluno da turma A que est doente[ % a proposio& ZTualquer que seja o aluno da turma A, ele no est doente[, ou seja, mais simplesmente& ZNenJum aluno da turma A est doente[! 365 A negao da proposio& ZE iste um planeta que % Jabitvel[ % a proposio& Z(odos os planetas no so Jabitveis[, ou seja& ZNenJum planeta % Jabitvel[! )epresentando por " o conjunto de todos os planetas, teremos, simbolicamente& 7 E "G 3 % Jabitvel5 (e E "5 3 no % Jabitvel5 3N5 A negao da proposio& Z"ara todo o n#mero natural n, tem8se n + 9U :[ % a proposio& ZE iste pelo menos um n#mero natural n tal que n + 9 U :[! 0imbolicamente& w83/nEN53n8i89U:5!XX3 6nEN53n\9:5 3;58837 E)53 9^+5X3/ E)53 9+5 3F5 @3/ E)536 5zO).=( 6 E)536 @;V+5 (7) (VxER)(lxIO).==( E)53 j^+5 3:5 ( 7 E RG 3sen = +5 ( / E RG 3sen +5
INICIPO LGICA MATEMTICA 183
+. CONTRA9E?EM"LO
"ara mostrar que uma proposio da forma 3f E A5 3p3 55 A falsa 325 basta mostrar que a sua negao E A5 3@p3 55 % verdadeira 3Q5, isto %, que e iste pelo menos um elemento < E A tal que p3 <5 % uma proposio falsa 325! "ois bem, o elemento < diz8se um contra8e emplo para a proposio E A53p3 55! Ecinp1os. 345 A proposio 3QV n E N5 39JU n95 % falsa, sendo o nmero 2 um contra8 8e emplo& 99 22. +s n#meros 6 e N tamb%m so contra8e emplos, pois, temos& 23<32 e 9NN9! "ara n = 4 e para todo n UN se tem 9n U 9a 395 A proposio 3 E RGF 8e emplo& <4 = <! 365 A proposio
E )5 3 9 U 5 % falsa, sendo, p! e !,
-4-
um contra8
8e emplo& (1)2 \ 3N5 A proposio 3Q E )5 33 \ 959 9 \ 4G % falsa, sendo, p! e !, 4 um contra8 8e emplo& 34\959 49 \N ou 7;!
3;5 A proposio f E v\53 9 \ \ 41 % um n#mero primo5 % falsa, sendo o n#mero N< um contra8e emplo, pois, temos& N<9 +40+41 =40(40+ 1)+41 =40.41 +41 =41(40+ I)=41 !N4 XN49! que um n#mero composto!
'
interessante notar que o trinKmio 9 \ 8t8 N4, analizado pela primeira vez pelo fdmoso matemtico su$o *E+NnA)- E1*E) 34S<S84S:65, produz n#meros primos para
<, 4, 9, 6, . . ., 67!
E?ERC@CIOS
4! 0endo ) o conjunto dos n#meros reais, determinar o valor lEgico 3Q ou 25 de cada uma das seguintes
proposies: (a) (xER)(lxHx) (b) H xER)(x2 =x) (c) (xER)(IxH0) (d) ( xER)(x+2=x) (e)(VxER)(xl>x) (f) (VxER)(x2=x)
184 EDGARD DE ALENCAR FILHO
Resoluo: (a) F (1 31:.3 3); (b) V (12 3e5 Q 34<4X<5o (d) F 3Aequao 8i89X notemso8 luo); 3e5 V (Todo o nmero real soluo da inequao x + l > x); (O 2 (323) 2. Dar a negao das proposies do Exerccio 4!
)esoluo& 3a5 ( E)53@3l .X 55!X3 | e)53. . 5 3b5 3 E)538!3 9 X 55cX3 Q E)53 9 5 3e5 (xER)(.-(IxI=O))=(VxER)(IxI*O) 3d5 3Q E)53@3 \9X 55X3 E)53 \9d 5 3e5 3 E)53@3 \ 4 U 55X3 E)53 \ 4 5 3f5 3 E)53@3 9 X 55X3 E)53 9 5 6! Sendo A = { 4, 9, 3, 4, 5 } determinar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& 3a53 }A53 c6Xl<5 (b) (xEA)(x+3<l0) 3e5 3 EA53 \6^;5 3d5 3 EA53 \6S5 3e5 ( E A5 36[ >72) (f) ( x A5 3 9 + 9 = 4;5
,
Resoluo: (a) F (Nenhum elemento de A raiz da equao x + 3 = 10) (b) V (Para cada elemento de A se tem x + 3 < 10) (e) V (1 soluo da inequao x + 3 <5) (d) F (5 no soluo da inequao x + 3 7)
3e5 Q36NX:4US95
(O e/ (3raizdaequaox2 !2 &15) 4* -ar a negao das proposies do E erc$cio 6! Resoluo: (a) (VxEA)((x+3= 10)) (xEA)(x+3 lO) (b) ( xA)(.-(x+3<10)) ==( xEA)(x+3 10)
3e5
(d) ( xEA)((x+37)) xA)(x+3>7)
3e5 ( x E A) ((3X > S955 (v A5 36[ S95 (f) (VxEA)((x2 +2x= 15))=(xEA)(x2 +2x*15)
INICIAO LGICA MATEMTICA 185
;! 0endo ) o conjunto dos n#meros reais, determinar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& 3a5 36 E )5 39 = 5 3b5 36 E )5 3 9 + 6 = 95 3c536 E)53 9\;X9 5 3d5 3Q E)539 \6 X; 5 F! -ar a negao das proposies do E erc$cio 5. S! 0endo A = qi, 9, 6r , determinar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& 3a5 36 EA53 9 c @FX<5 3b5 36 BEA53@3B9 cBXF55
3c536 EA53 9\6 Xl5 3d5 f8!83Q EA53 9c XF5 3c5 -(3 xEA)(x2 \6 X 1) (f) ( zEA53z9 3zI) :! 0endo A qi, 9, 6 } , determinar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& 3a5 3Q EA533 \ 1)2 X 9 c 45 (h) (3 EA53 6@ 9@l+ 8:X<5 (e) (xEA)(x36x2+llx6=0) (d) 36 xEA)(x44x3--7x2-50x=24) 9. Sendo A = 4, 9, 6, Nr , determinar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& 3a5 (xEA)(x+3<6) (b) ( 3xEA)(x+3<6) 3e5 3Q EA53 9 l<:5 3d5 36 xEA)(2x2 \ X 4;5 4<! -ar a negao das proposies do E erc$cio 7! li! 0endo ) o conjunto dos n#meros reais, determinar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& 3a5 3 E)53 9\lU<5 (b) (3 E)53 9\lX+5
(e) (3 xER)(4x3=l 2x) (d) (i xER)(x2 +3x+2=0) (e) (3 xER)(3x2-2x-1=0) (f) (3 xER)(3x22x+ 1 =0)
(g) (VxER)(x+2)2=x2+4x+4) 49! 0endo AX q9, 6 :, 9J , dar um contra8e emplo para cada uma das seguintes proposies& 3a5 ( E A5 3 c ; ^ 495 3b5 ( E A5 3 % primo5 3e5 ( E A53 9 U 45 3d5 ( E A53 par5 3e5 3t EA53+V+5 3f5 3 EA53 172)
186 EDGARD DE ALENCAR HLMLJ
)esol t>o& 3a5 "ara = S,: e 7, temos \ ; 49! *ogo, cada um desses trs n#meros % um contra8e emplo! 3b5 +s n#meros N, F, : e 7 no so primos e, portanto, cada um deles % um contra8e emplo! 3c5 No J contra8e emplo porque a proposio % verdadeira! 3d5 +s n#meros 6, ;, S e 7 so $mpares e, portanto, cada um deles % um contra8e emplo! 3e5 No J contra8e emplo porque a proposio % verdadeira! 3f5 +s n#meros ; e S no dividem S9 e, portanto, cada um deles % um contra8e emplo! 46! 0endo A = q6, 5,9, A , dar um contra8e emplo paia cada uma das seguintes proposies& 3a5 ( Q ' A5 3 c 6 S5 3b5 ( Q e A5 3 % $mpar5 3e5 3Q 'A53 %primo5 3d5 3 EA53. .X 5 4N! Dar a negao das proposies do E erc$cio 46! 15* -ar a negao de cada uma das seguintes proposies& 3a5 ( 'A53p3 55 A 36 EA53q3 55 3b5 36 'A53p3 55 v 3e5 37 'A538!p3 55 3d5 36 'A53p3 558\3 EA538!8q3 55 4F! -ar a negaF de cada uma das seguintes proposies& 3a5 3Q 53 c9S5A37 53 984X65 3b5 37 x)(x2=9)v 3Q 539 @;S5 4S! -emonstrar& 3i5 p3B5X3 eA53p3 55, BeA 3ii5 3V8 EA53p3 55Xp3B5, B'A 3iii5 ( EA53p3 553 6 EA53 55 4:! -emonstrar& 3i5 ( 5 3p3 5 A q3 55 [(V 5 3p3 55 A 3f 5 (q(x)) 3ii5 36 5 3p3 5 A q3 55 [( 6 5 3p3 55 A 37 5 3q3 55|
( 'A53q3 55 55 v ( EA53@q3
3iii5 36 53p3 5 v q3 55X!k3 6 53p3 55v 36 53q3 55j 3iv5 k3Q 5 3p3 5 v
) DE ALENCAR FILHO
Captulo 12
:G
'onsideremos, p! e !, a e presso&
eA539 \B^S5 sendo A = ql, 9,6,N, ;r o universo das variveis e B! Esta e prcsso, que se pode lei& ZE iste pelo menos um 3 A para o qual se tem 9 + _ ^S[, $4o A u5a proposio, visto que o seu valor lEgico, embora no dependa dc : FDa# WD'l apa#'$t'G, &'p'$&' a $&a &' _
FDa# WD'l l D#'G. "o#ta$to, A uma sentena aberta em B, cujo conjunto8verdade % { 1, !, <, 4` , pois, somente para B = ; no e iste ' A tal que 9 + _ \J.
Analogamente, a e presso& ( B E A5 39 + _ \ 17G sendo A = qi, 9, 6,N, ;r o universo das variveis e B, que se pode ler& Z"ara todo B E A se tem 9 + _ ^ 4<[, tamb%m no % uma proposio, mas uma sentena aU'#ta '5 : FDa# WD'l l D#'G, %u>o %o$>u$to9D'#&a&' % l, 9r ,pois, somente para : 4 ou : = 9 se tem 9 + _ ^ 4< para todo _ E A. -e um modo geral, dada uma sentena aberta com mais de uma varivel, a aplicao de um quantificador referido a uma das variveis, transforma a sentena aberta dada numa outra sentena aberta com menos uma varivel livre! *ogo, a aplicao sucessiva de quantificadores acaba por transformar urna sentena aberta
%o5 5a ( &' u5a Da# WD'l $u5a p#opo( 34o.
Q 5 3q3 55Y
:G FCF:GGa !. ,UANTI1ICA=O MVLTI"LA
6 5 3q3 55j &5 4 CF:GG To&a a sentena aberta precedida de quantificadores, um para cada varivel, isto %! com todas as variveis quantificadas, % urna p#opo( 34o, po (, a((u5' u5 &o( valores lEgicos Q ou 2!
188 EDGARD DE ALENCAR FILHO
Assim, p! c !, so proposies as seguintes e presses& 3i5 3Q EA53QBE,53p3 ,B55 3ii5 3Q E A5 ( y E ,5 3p3 , B55 3iii5 ( 6 EA53QBE,53zE'53p3 ,B,z55 ;:0enzp1os: 345 'onsideremos os conjuntos& n = Yorge, Claudie, "aulor , / q0uclB, 'arrnenr e seja p(x, B5 a sentena aberta em n /& Z % irmo de B[! A proposio& 3 En5n BE,53p3 ,B55 se pode lDr& Z"ara todo de n e iste pelo menos um B de / tal que % irmo de B[! Em outros termos& Z'ada Jomem de n % irmo de 0uelB ou de 'armen[! A proposio& 36 BE/53Q En53p3 ,B55
se pode lDr& Z"elo menos uma das mulJeres de / % irm de todos os Jomens de n[! +bserve8se que, mudando a ordem dos quantificadores, obt%m8se urna proposio diferente! 395 A proposio& 3Q EN53QBeN533 \B59 U 9 \B95 se pode ler& ZTuaisquer que sejam e B pertencentes a N, 3 + B59 % maior que + B9 . Esta proposio tamb%m se pode escrever&
(
OU
3 \B59U 9\B9, ,BE) % falsa 325! 'ostuma8se, para simplificar a notao, omitir a indicao do dom$nio de cada varivel e escrever, p! e !& 3 \B59 X 9 \9 B8i8B9, Q ,B o que % verdadeiro em N e em )!
ODE ALENCAR FILHO INICIAO LGICA MATEMTICA 189
365 'onsideremos os conjuntos AX ql,9,6oNr e ,X +,9,N,F,:r e a sentena aberta em A ,& Z9 c B = :[! A proposio& 3Q EA536 BE,539 \B :5 % verdadeira 3Q5, pois, para = 4, 9, 6! N temos B = F, N, 9, + E ,! A proposio&
= + A! A proposio& 36 BE,53jt EA539 \B :5 / tal que % irmo tamb%m % falsa 325, pois, no e iste um B E , tal que para todo E A seja JelB ou de 'armen[! 9 + B = :! Analogamente, tamb%m % falsa 325 a proposio& 36 EA53 B E ,539 \ B :5 odos os Jomens de ares, obt%m8se uma 6! '+/1(A(.Q.-A-E -+0 T1AN(.2.'A-+)E0 4! Tuantificadores da mesma esp%cie podem ser comutados&
36 5 ( 6 B5 3p3 44! Tuantificadores de esp%cies diferentes no podem em geral ser comutados E emplificando, seja a sentena aberta Z % filJo de B[, o universo das variveis e B sendo o conjunto n dos seres Jumanos! A proposio&
5 3p3 , B55o
( 6 B5 3 % filJo de B5 % verdadeira 3Q5, mas a proposio& 36 B53t 53 %filJodeB5 lo dom$nio de cada % falsa 325! 0eja, agora, a sentena aberta ZB U [, o universo das variveis e B sendo o conjunto N dos n#meros naturais! A proposio& 3Q 5 36 B5 3B U 5
(t 5 190 EDGARD DE ALENCAR FILHO
(3 y) ( 5 3B U 5 falsa(F).
EXERCCIOS
4! 0endo 4, 9, 6,N, ;r o universo das variveis e B, determinai o %o$>u$to9 8verdade de cada uma das seguintes sentenas abertas& 3a536B539 \B^S5 3b5 3f 539 \B^4+5
ICAR FILHO INICIAAOA LOOIUA MAIMAIILA
9! Sendo 1, 2,..., 7, i+r o universo das variveis e B, determinar o '+njunto8verdade de cada uma das seguintes sentenas abertas& 3a53B53 \B^.N5 3b5 (3y)(x+y<14) 6! 0endo { 4, 9, 6 } o universo das variveis e B, determinar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& mediantea 3a5 37 53QB53 9 ^B\ 45 3b5 3t 536 B53 9 \B9 ^495
o quantifi8 3e5 ( x)
( y)
(x2
+ y2
<12) 3d5 ( x)
( y) (x2
+ 2y
+ 2y
^ lO)
( x)(
6 y)(x2
<lO)
N! 0endo { 4, 9, 6 } o universo das variveis , B e z, determinar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& 3a5 37 53B536 z)(x2 \B9 <2/2) 3J5 37 536 B53z53 9 \B9 <27.2) ;! 0endo ) o conjunto dos n#meros reais, determinar o valor lEgico 3Q ou 25 de cada uma das seguintes proposies& 3a5 3vBe)536 )53 \BXB5 3J5 3Q )537 BE)53 \B X<5 3e5 3 )537 Be)53 BX45
, o valor lEgico 3Q ou 25 dc cada uma das seguintes proposies& 3a5 3f A537 BeA53 \B^4N5 3b5 ( A53tBA53 \B^4N5 7. -ar a negao de cada uma das seguintes proposies&
3a5 (V x) ( 3 B5 3p3 5 v q3B55 3b5 (3 x) ( B5 3p3 5 v 88q3B55 3e5 36 B53 6 53p3 5,j @q3B55 3d5 3t 536 B53p3 ,B58cq3B55 3e5 36 53QB53p3 ,B58dq3 ,B55 :! -ar a negao de cada uma das proposies do E erc$cio ;! conjunto 7 -emonstrar& 3i5 37 53B53 ,B55X3B537 53p3 ,B55 3ii5 36 B5 ( x) 3p3 , B55 ( x) 37 B5 3p3 , B55
4<! 'onjuntos *imitados 0eja A um subconjunto no vazio do conjunto ) dos n#meros reais 3A e A C R). -efinio 4& -iz8se que A limitado inferiormente 3ou limitado > esquerda5 se e somente se&
( aE)53Q
EA53a 5 -efinio 2: -iz8se que A % limitado superiormente 3ou limitado > direita5 se e somente se&
( bER)( xEA)(xh)
Definio 6& -iz8se que A % limitado se e somente se&
( a,be)53V
EA53a A xb)
ALENCAR FILHO
eais3A_" e ado > esquerda5 io > direita se e 'A"G(1*+ 4 4! 3a5 Q 3b5 2 3e5 2 3d5 2 3e5 Q
3J5 2 3i5Q !) 2 3]5 2 345 2 3m5Q 3n5 2 3o5Q 3p52 3q5Q 3r5Q 3s5Q 3t5Q 3u52 'A"G(1*+ 9 4! 3a5 No est frio! 3b5 Est frio e est cJovendo! 3e5 Est frio OU est cJovendo! 3d5 Est cJovendo se e somente se est frio! 3e5 0e est frio, ento no est cJovendo! 3f5 Est frio ou no est cJovendo! 3g5 No est frio e no est cJovendo! 3J5 Est frio se e somente se no est cJovendo! 3i5 0e est frio e no est cJovendo, ento est frio! 9! 3a5 0e 'arlos % feliz, ento Yorge % rico! 3b5 Yorge % rico ou 'arlos no % feliz! 3e5 'arlos % feliz se e somente se Yorge no % rico! 3d5 0e Yorge no % rico, ento 'arlos % feliz! 3e5 No % verdade que Yorge no % rico! 3f5 0e Yorge no % rico e 'arlos % feliz, ento Yorge % neo! 6! 3a5 'laudio fala ingls ou alemo! 3b5 'laudio fala ingls e alemo! 3e5 'laudio fala ingls mas no alemo! 3d5 'laudio no fala ingls e nem alemo! 3e5 No % verdade que 'laudio no fala ingls! 3f5 No % verdade que 'laudio no fala ingls e nem alemo! N! 3a5 No % verdade que Yoo % ga#cJo e Yaime no % paulista! 3b5 No % verdade que Yoo no % ga#cJo!
94 EU(iAHD DE ALENCAR FILHO
No % verdadc que Yoo no % ga#cJo ou que Yaime no % paulista! 0e Yoo % ga#cJo, ento Yaime no % paulista! Yoo no % ga#cJo se e somente se Yaime no % paulista! No % verdade que, se Yaime no % paulista, ento Yoo % ga#cJo!
3b5 pA8q 3e5 pv3@pAq5 3J5 pv@q 3e5 @n8p v c5 '() f@3f888p v (c) pA--q
S! 3a5 3p v q5 A r 3b5 3d5 @833q V r5 A
3p A q5 v @3p A r5 3c5 3p A r)
8. (a) x=OV x>O (b) 3d5 9 . x A < = 1
xO A y O (e) x>IV x+y=O 9. (a) (x+y=OAz>O)v z=O (e) xOV(x=OAy<O) lO. (a) x>O-y2 (e) x=1v i=2-y>l (e) xy -x+z> 5 Ay+z<5 (g) x<2-x=IV x=O II. (a) (x>5A x<7)v x6 (e) x>IV(x<1 Ax>O)
(e) (f) (e) F (d) V (e) V (f) F (g) V 17. (a) F (b) F (e) F (d) V (e) V '() F (g) V
INICIAO LGICA MATEMTICA 195
(e)
3d5
"
QC
p v --q
(p v q) 2 2 Q 2 83pgd8!8q5
Q Q 2 Q p8d8!8q
2 Q Q Q pvq
Q 2 2 2 pAq8pvq
Q2 2Q 22
p
v 2 2 2
q p
v Q Q 2
q8\p
v Q Q Q
8!88p83q8\p5
Q Q 2 Q
Q Q 2 Q
9!
3e5
(1)
3g5
3J5 3a5
p q
p q
pA q
(pq)pA q
v v
Q 2 2 Q 22
v
2 Q Q
v
2 2 2
v
Q 2 2
f8q
qA
p
q *-q A p
v
Q2Q
2 Q
2 2
2Q2 22Q
2 2
2 Q
p q QQ 2 Q2 Q 2Q 2 22 Q
q p
3pq5qp
2 Q Q 2
Q Q 2 Q
2 Q 2 2
3p
q5
"
Q Q Q2 2Q 22
2 2 Q Q Q2 Q2 2Q 22
Q 2 Q 2
Q Q Q Q 2 Q 2 Q Q Q
Q 2 Q 2 Q 2
2 2 2 2 Q Q
Q Q Q Q 2 2
2 2 2 2 Q 2
Q Q 2 Q Q Q
2 Q 2 Q 2 Q
Q 2 Q 2 Q 2
2 2 2 2 2 2 Q 2 Q Q 2 2 Q 2 2 Q 2 Q Q 2
464
3b5
3e5
Q Q Q Q Q 2 Q 2 2 Q Q 2 2 2 F Q 2 2 Q F Q 2 Q Q Q Q Q 2 Q 2 2 Q 2 Q 2 Q 2 Q Q Q 2 Q 2 Q 2 Q 2 Q 2 2 2 Q 2 2 Q Q Q 2 2 Q Q 2 2 Q Q 2 Q Q Q 2 Q 2 Q 2 Q 2 Q 2 Q Q 2 Q 2 Q 2 Q 2
q Q Q 2 F Q Q 2 2
(p
-*
--
r5
**
v
Q Q
Q Q Q Q 2 F F 2
2 Q Q 2 Q 2 Q 2 Q F Q Q Q Q 2 2 2 F 2 Q Q Q Q Q 4 N 4 6 Q Q Q Q 2 2 2 2 2 Q 2 Q Q Q Q Q
2 Q 2 Q 2 Q 2 Q 9 4 Q 2 Q 2 Q 2 Q 2
2 Q 2 2 Q Q Q 2 ; 4 Q Q 2 2 Q Q 2 2
Q 2 Q 2 Q 2 Q 2 4
Q 2 Q Q Q 2 9
d5
(i A
-+
r)
(
2 2
v
Q Q
r)
Q 2 Q Q Q Q 2 2 2 2 Q Q 2 2 2 2 2 2 Q Q 2 2 Q Q 2 2 Q Q Q Q Q Q 1 2 1 3 1 5 Q 2 Q 2 Q 2 Q 2 Q 2 Q Q Q Q Q Q
2 2 Q Q Q Q 2 2 2 2 Q 2 Q Q 2 Q 1 4 1 Q Q 2 2 Q Q 2 2
2 Q 2 Q 2 Q 2 Q 2
Q 2 Q 2 Q 2 Q 2 1
2 2 Q Q Q Q 2
2 Q Q Q 2 Q 3
6! (a) Q.S2Q 3b5 QQ22 (c) 2QQ2 3d5 2QQ2 (e) Q22Q 325 2Q2Q 3g5 QQ2Q N! (a) QQQQQ222 3b5 Q2QQQ2Q2 (e) 2Q22QQQQ 3d5 QQQQQ222 (e) QQ2Q2Q2Q 3f5 2222QQ22
(q A r A q) CA"@TULO 4 4. (a), FUG, 3e5, 3g5, FBG tautolEgicaso F&G, 3e5, 345 contingentes CA"@1ULO + 6. (a) 1 FUG - (e) 1 F&G INICIAO LGICA MATEMTICA 199
CA"@TULO S
N! 3a5 Est frio e no est cJovendo! 3b5 + pai de /arcos no % pernambucano e a me no % ga#cJa! 3c5 As vendas esto aumentando ou os preos esto diminuindo! 3d5 Yorge no estuda 2$sica ou estuda Tu$mica! 'A"G(1*+ : 6! 3a5 f8p A q 3b5 p v q 3e5 p A q 3d5 f8p Aq 3e5 q 3f5 ' 3'tr!5 S! 3a5 @8pv q 3b5@p 3c5pAp 3d5 pvp 3e5 8pv 8q 3f5 8fp 3g5 pv@p 3J5 8f88p A@q 3i5 3p v p5 A 3q v 8q5 !) 3p v 8q5 A 38p v q5 A q 3]5 pA3pv q5A38pv8q5 345 "A3"Q 8q5A3pvq5 3m538pv qV r5A38p @q vr)(n) p A(pV q)A r :! 3a5 p A q 3b5 p A 3c5 f8p v 388p A q5 3d5 8p A @q 3e5 p v q 3f5 p v 8q 3g5 p v 8p 3J5 p A
(i) pv q
!)
fpA -q
CA"@TULO 0
4! 3a5 3pA3q8p558q 3b5 3p\q5g@3pAq5 3c5 3p A3p8\q5t 3@fqv 3r As5558drA s (d) ((x=y-*x=5)A(x=5-+x<z))-+(xy-*x<z) 2.(a) p! qv@p@@q 3b5 p@dq, pA88q2888@s 3c5 @3 ^+AB z8@ N+vB 6! 3a5 A- 3b5 0./" 3c5 0n 3d5 /" 3e5 /( 3f5 '+NY 3g5 0- 3J5 A,0 3i5 /" !) /. 3]5 '+NY 345 A(iii) 0- 3n5 0n 3o5 0./"
'A"G(1*+ 4<
N! 3a5
= 3e5 y c 4 = 9
6U4 3b5
6. (a)
6
rAt
(d)
v -s
Wb = + V B U 6
= 3 -*
z B = 6 -+ B = 2
(b) (d)
pvq
x#2V x*8
1. (a) (d)
{3} {2}
(b) { 4,9,6,N]
(e)
qsr
2. (a)
3cl5
{3, 3. q+ }
(c) (f)
{ i,6,Nr
{4}
(c) (f)
(b) (f)
{2,2}
{ 3,2}
qi,6r {1} 3e5 3g5 4. (a) (d) (g) {1}
{ 1,3,9} { 1, 1,2,4)
N5 @9, 9, N } (d) 3J5
{ (1, 5), (3, 3), (3, 5), (4, 2), (4, 3), (4, 5)}
INICIAO LGICA MATEMTICA
S! { (2, 8), (2, 6), (3, 3), (3, 6) } :! { 37, 45, 3F, 95, 36, 65r 7! q39, 65, 39, ;5, 36& 95, 36, N5, 36, ;5, 3N, 65, 3N, 5), 3;, 95, 3;, 65, 3;, N5 } 4<! { 39, 95, 39,V ;5, 36, 65, 36, F5, 3N, N5, 3;, ;5, 3;, 95, 3F, F5, 3F, 65 } 44! q3@9, @45,3@9, 0),(0, 1),(0, 0),(1, 1) } CA"@TULO 4; 4. (a) { 86, 84, 4, 6r 3d5 q@6,@4,4r 5. (a) { <, 9, N, ;r3b5 F! Q"Aq k@4, vN9
pvq
8V 2 3 pAql[;l 9. Qp qX 4, 6, 4, ;,F, S, :, 7r Qpccq 4,6,N,F,:r 44! (a) 'AQp fl 'AQq (c) 'AQp Li Vq Li Vr
201
FUG { Q<, 2,0,2, 3} (e) {3, 2, 1 (e) { 3,2, 3) q<, 9,6,;5V (c) {2,4} (d) qo, ir
=
_J 4 Qp A q
Qggp 1
-[
Qq!!cp 4,9, 6, N, F, :r (b) Vp Li CAVq (d) (Vq fl Qr513'AQp fl Qr51 'A3Qp1 Qq5
4 !
(a)
{ 1,<, )`
FUG
{ 9,N,F, 8}
(c)
{3, 6}
(d)
{1, 2,
4,5,
6} 2 . 3 . {O,2,3, 5}
(a)
{O, 1, 3}
(b)
{0, 1,2,4}
(e)
(d)
{1,4,
(a)
{ 4,5}
(b)
{O,2,4
(e)
{o,5
(d)
5}
(e)
{ 0,
1, 4}
(f)
1,2,4, 5}
'A"tr1*+ 4F 5. 3a5 Q 3b5 Q (c) 2 3d5 Q 6.(a)(VxER)(2xx) (b)(xER)(x2+3x2) (c)(VxER)(x2i-52x) (d)(xER)(2x+3x#5x) 7. (a) Q 3b5 Q (c) 2 3d5 Q (e) V 8. (a) F (b) F (e) V (d) F 9. 3a5 F (b) V (e) V (d) F
(O V
10. (a) ( xEA)(x+36) (b) (xEA)(x36) (c)(xEA)(x21O>8) (d)(xEA)(2x2+x15) 11. (a) V (b) F (e) V (d) F (e) V (1) F (g) V 13. (a) 3 (b) No h (a proposio verdadeira) (e) 9 (d) No h (a proposio verdadeira) 14. (a) (e) 15. (b) (c)
( xEA)(x--3<7)
(b)
EA53 % par5 5
( x E A) (x no primo) (d) ( x E A) (1 1 (a) ( x E A) (p(x)) v ( E A) (q(x)) 3t x E A) (---xx)) A ( E A) (--q(x)) ( x E A) (p(x)) A ( x E A) (q(x)) ( x)(xi-2>7)V (V x)(x2 1 3) 9 9)A ( 539 8;XS5
'A".(1*+ 4S 4! 3a5 qY,9r 3b5 ~ 9! 3a5 qi, 9,65! 3b5 34,9 7, ior 6! 3a5 Q 3b5 , 3c5 2 3d5 2 3e5 Q (O 2 (g) V
INICIAO LGICA MATEMTICA 203
N!3a5Q 3b52 ;! 3a5 Q 3b5 Q 3c5 2 3d5 Q F!3a5Q 3b52 S! 3a5 ( 5 ( Q B5 38!p3 5 A @q3B55 3b5 ( Q 5 ( B5 (p(x) A q(y)) 3c5 3Q B53 53V88p3 5 v q3B55 3d5 36 53B53p3 ,B5 A 3e5 ( 53 6 B53p3 ,B5 A @q3 ,B55 :! 3a5 36BE)53 E)53 \B_B5 3b5 36 E)53QBE)53 cB+5 3e5 36 e)53BF)53 B45 3d5 36 B)53Q )53B 5
>ib iogra6ia
4! ,+0'n! Y! 0imbolismo *Egicoo Eudebao 47F; 9! ,1)C+0, A! .niciaciEn a la *Egica /atemticao 0!'!o 47S6 6! 'nE.2E(v B AQEN+0+ *Egica B (eoria de 'onjuntoso AlJambrao 47SN N! 'nA1Q.NEA1, Y! *a *ogique /oderneo "!1!2!o 47FF ;! '+"., .)Q.NC /! .ntroduction to *ogico /ac/illano 47F6 F! -EAN+, A! .ntroducciEn a *a *Egica 2ormalo Alianzao 47S6 S! CA)).-+, /! *ogica 0imbElicao (ecnoso 47S6 :! n.*,E)( B A'E)/ANN *Egica (ericao (ecnoso 47F: 7! E/ENb, 0NE** B (n+/"0+N /atemticas 2initaso Eudebao 47FS 4<! *."0'n1(v, 0! 2inite /atJematicso 0cJaumo 47FF 44! *.Cn(0(+NE, A! n! 0Bmbolic *ogico narper,d7FF 49! /+)A B *E,*AN' - *Egica /atemticao 2!'!E!o 47F; 46! /+)EN+, A! Ejercicios de *ogicao Eudebao 47S6 4N! /1)+, nE)/+0A B YA'n./+Q.'v Ejercicios de *Egi "aidEso 47SN 4;! /EN-E*0+N, E! - ,oolean Algebrao 0cJaumo 47S< 4F! N+Q.+Q, "! 0! /atJematical *ogico +liver ,oBdo 47FN 4S! N1N+, Y! Elementos de *Egica 2ormalo E,Q'o 47S6 4:! 01""E0 B n.** *Egica /atemticao )evert%o 47S6
A ELGITORA NO/EL procura sempre publicar obras que atendam s necessidades e interesses dos leitores. Com o objetivo de satisfazer de forma cada vez melhor sua expectativa, elaboramos este questionrio. Solicitamos que voc o responda e o envie para a Editora Nobel. Agradecemos desde j por sua colaborao. P5.: - Se voc no quiser recortar o livro, transcreva o questionrio em urna folha avulsa.
Ttulo ue adquiriu:
Autor: Final idade da compra: 2. Voc j conhecia os livros publicados pela Nobel? Sim E No E 3. Voc j havia adquirido algum livro editado pela Nobel7 Sim O No E 4. Qual a soa opinio sobre os livros editados pela Nobel quanto : Qual idade cdi toral E 01 i ma E l3oa E Rego lar E M Qualidade grflca E Otima E Boa E Regular E M Apresentao grfica E Otima E Boa E Regular E M 5. Quais so suas reas de maior interesse? (Favor numerar, pela ordem de interesse, 1cm brando que o n 1 corresponde quela que mais lhe interessa). E Adio iii sirao O Economia E M arketing O Agricu 1 tora E Engenharia E Negcios E Animais Domsticos E Fruticultura E Pssaros E Artes e Arquitetura O Horticultura E Peixes Ornamentais E Direito E Jardinagem E Psicologia E Ecologia E Literatura E Vendas E Veterinria e Zoologia 6. Na compra de um livro, o que voc mais leva em considerao? (Favor numerar pela ordem de importncia.) EPreo E Se h ilustraes E Editora E Capa em cores E Coirientrios da imprensa E Tamanho da letra EFormato do livro E Nacionalidade do autor E Exposio em livraria E Nmero de pginas E Assunto abordado E ____________________________ 7. De que maneira voc se inlbrma sobre os novos lanamentos da Nobel? E Jornal/Revista E Folheto/Mala direta E Na prpria li vrari a E Catlogo E TV/Rdio X. Dados pessoais para cadastramento: Nome Sexo Masculino E Feminino E Endereo Cidade: _________________________ UF ________ CEP Fone:( ) ___________R._ Fax:( ) Data de nascimento _____________________ Profisso Voc j est cadastrado e receber catlogos e folhetos da ED1IORA NOBEL com ai novidades em sua(s) rea(s) de interesse. Caso no queira entrar no cadastro para ieceber o material promocional, escreva-nos comunicando seu pedido de excluso: ELGITORA NO/EL Ce,,t,yi/ de @tendiniento ao Consu,o,do,: Rua da Balsa, 559 - CEP-029l0-000 So Paulo-SP
2im da obra