PROFESSOR CLUDIO CABRAL

NOES DE LGICA MATEMTICA

CONECTI,OS LGICOS Como qualquer linguagem, a Matemtica utilizam os seus termos - palavras ou smbolos - e as suas proposies - combinaes de ermos, de acordo com determinadas regras que constituem o que chamamos de sin a!e ma em" ica# A lgica matemtica tem como base as seguintes regras fundamentais: $rinc%pio da n&o con radi&o: !ma proposi"#o n#o pode ser verdadeira e falsa ao mesmo tempo$% $rinc%pio do erceiro e!c'(%do: &oda proposi"#o ou ' verdadeira ou ' falsa, ou se(a, verifica-se sempre um destes casos e nunca um terceiro%$ As regras que determinam quais as proposi")es que devem ser consideradas verdadeiras constituem a ')*ica ma em" ica$ * importante observar que entre os termos, alguns designam conceitos que se tomam como concei os primi i+os, a partir dos quais se definem os restantes, e eles prprios n#o s#o passveis de defini"#o a partir de outros mais simples+ e, entre as proposi")es, e,istem algumas cu(a veracidade se aceita -sem demonstra"#o. e que recebem o nome de pos ('ados ou a!iomas$ A partir dos conceitos primitivos, das defini")es e dos a,iomas, se estabelecem, usando regras de lgica, novas proposi")es verdadeiras, que v#o constituir o que chamaremos de teoremas$ ,ALO- LGICO DE .MA $-O$OSI/O Chamamos +a'or ')*ico de uma proposi"#o a +erdade se a proposi"#o ' verdadeira e a 0a'sidade se a proposi"#o for falsa$ No a&o1 /s valores lgicos +erdade e 0a'sidade ser#o indicados respectivamente por , e 2$ Obser+a&o1 0egue dos princpios da n#o contradi"#o e do terceiro e,cludo que uma proposi"#o possui um e um s valor lgico V ou F$ 1,emplos: 4 p: ' um n2mero racional n#o inteiro$% 7 q: 2 9 ,1 $% r: / n2mero inteiro 34 ' um cubo perfeito$% DE2INI/O Chamamos conec i+os ')*icos ou simplesmente conec i+os as palavras ou smbolos que se usam para formar novas proposi")es a partir de outras proposi")es dadas$ /s conectivos usuais da lgica matemtica s#o as seguintes palavras: 5o(6, 5e6, 5n&o6, 5Se ### en &o ###6 e 5### se e somen e se ###6 , que ser#o indicados geralmente pelos smbolos: 5 6, 5 67 5 67 5 6 e 5 6, respectivamente$ 1,emplos: p: 546 ' um n2mero composto ou 5663 ' divisvel por 4$% q: / n2mero 5 ' um cubo perfeito e o n2mero 7 ' primo%$ r: No e,iste n2mero primo par$% s: Se um polgono ' conve,o e regular ento ' inscritvel%$ t: !m polgono ' eq8i9ngulo se e somente se ' eq8iltero%$ /s valores lgicos das proposi")es p7 q7 r7 s e t s#o respectivamente ,7 ,7 27 , e 2#

$-O$OSIES SIM$LES O. COM$OSTAS

DE2INI/O DE $-O$OSI/O SIM$LES :iz-se que uma proposi"#o ' uma proposi&o simp'es 3o( a 8mica4 se esta n#o possui nenhuma proposi"#o como parte integrante de si mesma$ 1,emplos: p: 7 ' a raiz quadrada positiva de 4$% q: / n2mero 5 ' um quadrado perfeito$% /s valores lgicos das proposi")es p e q s#o ambos V$ DE2INIES DE $-O$OSIES COM$OSTA :iz-se que uma proposi"#o ' uma proposi&o compos a 3o( mo'ec('ar4 se esta ' uma combina"#o de duas ou mais proposi")es simples$ /bserva")es: A combina"#o de duas ou mais proposi")es simples ' feita por meio dos conectivos lgicos: , , , e , como nos mostra os e,emplos a seguir$ !ma proposi"#o composta P que ' obtida por meio da combina"#o das proposi")es simples p, q, r, $$$ ser denotada por: P- p, q, r, $$$.$

/ valor lgico de cada uma das proposi")es p e r ' a verdade 3,4 e o valor lgico da proposi"#o q ' a falsidade 324$

PROFESSOR CLUDIO CABRAL

1,emplos: ;7
6

:entre todas as proposi")es derivadas nos interessa destacar as colocadas a seguir$

a7 = < a< , onde a R$%

= = 7 tg 6>? =
;

6 $%

NEGA/O DE .MA $-O$OSI/O A ne*a&o de uma proposi"#o p, indicada por p -lC-se: 5n&o p6. ', por defini"#o, a proposi"#o que ' verdadeira ou falsa conforme p ' falsa ou verdadeira$ /s possveis valores lgicos para a nega"#o s#o dados pela tabela abai,o, chamada tabela-verdade$ p V F p F V

sen >? = >

67 = 7 $%

/s valores lgicos das proposi")es compostas acima s#o todos ,# CONSTANTE E ,A-I,EL DE2INIES DE CONSTANTE !m termo - palavra ou smbolo - que individualiza um ob(eto particular ' chamado constante$ 1,emplos: 7 % +% @itgoras% DE2INI/O DE ,A-I,EL &odo smbolo que pode ser substitudo por constantes ' chamado +ari"+e'$ 1,emplos: x% na e,press#o x ' um aluno regular da matemtica na !nA$% y% na e,press#o y 7 + 7 y + 5 > %, onde y pode ser substitudo por qualquer n2mero real$ 2.N/O $-O$OSICIONAL Bualquer e,press#o que tenha uma ou mais variveis e que se transforma numa proposi"#o quando todos s#o substitudos por determinadas constantes ' chamada 0(n&o proposiciona'$ /bserva"#o: / clculo proposiciona' nos d regras para sabermos quando que uma proposi"#o derivada de outras deve ser considerada verdadeira$ 1,emplos: Bualquer

DIS9.N/O DE D.AS $-O$OSIES A dis:(n&o ou soma ')*ica de duas proposi")es p e q, indicada por p q -lC-se: 5p o( q6., ', por defini"#o, a proposi"#o que ' verdadeira sempre que pelo menos uma das proposi")es componentes o for$ A tabela-verdade para a dis:(n&o de d(as proposies ' dada a seguir$

p V V F F

q V F V F

pq V V V F

CON9.N/O DE D.AS $-O$OSIES A conjuno ou produto l !"co de duas proposi")es p e q, indicada por p q -lC-se: p e q%. ', por defini"#o, a proposi"#o que ' verdadeira s quando o forem as proposi")es componentes$ A tabela-verdade para a conjuno de duas propos"#es ' dada a seguir$ p q V F V F pq V F F F

se(a 7 7 - x + 5. = x + 7 x + 5 $% 1,iste um n2mero x 7 + 4 x + 4 = > $%

que

x real

real, x

tem-se tal que

V V F F

INT-OD./O AO CLC.LO $-O$OSICIONAL

$-O$OSI/O CONDICIONAL

PROFESSOR CLUDIO CABRAL

A imp'ica&o ou proposi&o condiciona', indicada por p q -lC-se: 5Se p en &o q6. ', por defini"#o, a proposi"#o que ' falsa quando p ' verdadeira e q falsa, e verdadeira nos demais casos$ A tabela-verdade para a proposi&o condiciona' ' dada a seguir$ p q pq V V V V F F F V V F F V !ma proposi"#o composta P3 p7 q7 r7 ###4 ' uma a( o'o*ia se P3 p7 q7 r7 ###4 tem valor lgico , quaisquer que se(am os valores lgicos das proposi")es componentes p7 q7 r7 ###7 ou se(a, uma a( o'o*ia conter apenas , na 2ltima coluna de sua tabela-verdade$ 1,emplo: A proposi"#o p ou n#o p%, isto ', p -p. ' uma tautologia$ :e fato, a tabela-verdade de p -p. ': p V F p F V p -p. V V

$-O$OSI/O ;ICONDICINAL A proposi&o bicondiciona', indicada por p q -lC-se: 5p se e somen e se <6. ', por defini"#o, a proposi"#o que ' verdadeira somente quando p e q tCm o mesmo valor lgico$ A tabela-verdade para a proposi&o bicondiciona' ' dada a seguir$ p V V F F q V F V F pq V F F V

DE2INI/O DE CONT-ADI/O !ma proposi"#o composta P3 p7 q7 r7 ###4 ' uma con radi&o se P3 p7 q7 r7 ###4 tem valor lgico 2 quaisquer que se(am os valores lgicos das proposi")es componentes p7 q7 r7 ###, ou se(a, uma con radi&o conter apenas 2 na 2ltima coluna de sua tabela-verdade$ 1,emplo: A proposi"#o p e n#o p%, isto ', p -p. ' uma contradi"#o$ :e fato, a tabela-verdade de p -p. ': p V F p F V p -p. F F

=.ANTI2ICADO-ES > .NI,E-SAL E E?ISTENCIAL As e,press)es 5<(a'<(er <(e se:a6 -ou 5para odo6. e 5e!is e6, que ocorrem com freq8Cncia (unto das variveis, s#o chamadas <(an i0icadores+ e dada sua grande import9ncia em lgica matemtica, ser#o substitudas por smbolos especiais$ A e,press#o 5<(a'<(er <(e se:a6 ' chamada <(an i0icador (ni+ersa' e ser indicada pelo smbolo 5 6+ e a e,press#o 5e!is e6 ' chamada <(an i0icador e!is encia' e ser indicada pelo smbolo 5 6$ 1,emplos: -n N. - n 7 + n + 45 ' um n2mero primo. -lC-se: qualquer que se(a o n2mero natural n o n2mero n 7 + n + 45 ' um n2mero primo$%. -x R. - < x $ = >. -lC-se: e,iste pelo menos um n2mero real x tal que o seu valor absoluto ' zero$%. TA.TOLOGIA E CONT-ADI/O DE2INI/O DE TA.TOLOGIA

E=.I,AL@NCIA LGICA DE2INI/O :iz-se que as proposi")es p e q s#o lo!"camente equ"%alentes, e escreve-se p q, quando p e q tCm a mesma tabela-verdade$ 1,emplos: - p q. p q$ - p q. p q$ O;SE-,AES 2INAIS Dote que a con(un"#o ou% n#o est aqui utilizada em sentido e,clusivo, pois p ou q% ' verdadeira se o forem ambas as proposi")es p e q$ Buando houver interesse em considerar a dis(un"#o com e,clus#o -que ' verdadeira quando o for uma e uma s das proposi")es p e q., podemos utilizar para indic-la o smbolo q ou pq $ p

Da implica"#o p q, p ' o antecedente e q o conseq&ente$ * importante notar que p e q n#o tCm necessariamente qualquer rela"#o de causa e efeito, como acontece nas implica")es da linguagem comum$ A equivalCncia de duas proposi")es depende do universo no qual as proposi")es est#o inseridas$ @or e,emplo, as proposi")es x 7 + y 7 = > % e x = > y = > % s#o equivalentes no universo dos n2meros reais, mas n#o s#o no universo dos n2meros comple,os$ :a tabela-verdade da implica"#o p q concluise que se p q e p s#o verdadeiras, necessariamente q ' verdadeira+ mas quando p q e q s#o verdadeiras, p pode ser verdadeira ou falsa$ * por isso que dizemos que, num teorema da forma 0e p ent#o q%, q ' uma cond"o necess'r"a para p, e p uma cond"o su("c"ente para q$ :ada a proposi"#o condicional p q ns podemos considerar as seguintes proposi")es: $roposi&o rec%proca de p q: q p$ $roposi&o con r"ria de p q: p q$ $roposi&o con raposi i+a de p q: q p$ @ara que n#o ocorra erros grosseiros na escrita em matemtica ' importante notar que os smbolos % e % s#o bastante distintos, pois % ' de operao l !"ca -por e,emplo, aplicado Es proposi")es p e q nos d a nova proposi"#o p q., enquanto que o smbolo % ' de relao -isto ', estabelece que a condicional P- p5 , q5 , r5 , $$$. )- p7 , q7 , r7 , $$$. ' tautolgica.$ :e modo anlogo, os smbolos % e % s#o tamb'm bastante distintos, ( que o smbolo % ' de operao l !"ca enquanto que o smbolo % ' de relao$ / uso de parCntesis$ Buando houver vrios smbolos sem parCntesis, se convenciona que a ordem de sua aplica"#o ' a seguinte: % antes de % ou %, e estes antes de % ou %$ @or e,emplo, p q r% ' o mesmo que [ -F p. q ] r %+ mas - p q. r% e p - q r.% n#o dispensam o parCntesis para indicar qual o smbolo a considerar em primeiro lugar$ Gegras para a nega"#o: @ara x, y * R$

PROFESSOR CLUDIO CABRAL

Afirma"#o x=y x<y xy x>y xy Dega"#o xy xy x>y xy x<y

@ara p e q proposi")es$ @roposi"#o pq pq pq pq Dega"#o - p q. p q - p q. p q - p q. p q - p q. - p q. - q p.

@ara @ - , . e B- , . fun")es proposicionais definidas num con(unto *, temos: Dega"#o

F -, A. -@- , .. -, A . -F @- , .. F -, A. -@- , .. -, A . -F @- , .. F - @ - , . B- , .. F @ - , . F B- , . F - @ - , . B- , .. F @ - , . F B- , . F - @- , . B- , .. - @- , . F B- , .. F - @- , . B- , .. - @- , . F B- , .. -B- , . F @- , ..

EXERCCIOS
3CES$EA.n; > $2ABCCD4 &e,to para os trCs itens seguintes 0e(am P e ) variveis proposicionais que podem ter valora")es, ou serem (ulgadas verdadeiras -H. ou falsas -I.$ A partir dessas variveis, podem ser obtidas novas proposi")es, tais como: a proposi"#o condicional, denotada por P ), que ser I quando P for H e ) for I, ou H, nos outros casos+ a dis(un"#o de P e ), denotada por P ), que ser I somente quando P e ) forem I, ou H nas outras situa")es+ a con(un"#o de P e ), denotada por P ), que ser H somente quando P e ) forem H, e, em outros casos, ser I+ e a nega"#o de P, denotada por J P, que ser I se P for H e ser H se P for I$ !ma tabela de valora")es para uma dada proposi"#o ' um con(unto de possibilidades H ou I associadas a essa proposi"#o$ A partir das informa")es do te,to acima, (ulgue os itens subseq8entes$ -A. As tabelas de valora")es das proposi")es @ B e B J @ s#o iguais$

-A. As proposi")es -@ B. 0 e -@ 0. -B 0. possuem tabelas de valora")es iguais$ -C. / n2mero de tabelas de valora")es distintas que podem ser obtidas para proposi")es com e,atamente duas variveis proposicionais ' igual a 74$ GABARITO: E > E > C 3CES$EA.n; > $2ABCCD4 :enomina-se contradi"#o uma proposi"#o que ' sempre falsa$ !ma forma de argumenta"#o lgica considerada vlida ' embasada na regra da contradi"#o, ou se(a, no caso de uma proposi"#o J G verdadeira -ou G verdadeira., caso se obtenha uma contradi"#o, ent#o conclui-se que G ' verdadeira - ou J G ' verdadeira .$ Considerando essas informa")es e o te,to de referCncia, e sabendo que duas proposi")es s#o equivalentes quando possuem as mesmas valora")es, (ulgue os itens que se seguem$ -A. :e acordo com a regra da contradi"#o, @ B ' verdadeira quando ao supor @ J B verdadeira, obt'm-se uma contradi"#o$ -A. Considere que, em um pequeno grupo de pessoas K L K envolvidas em um acidente, ha(a apenas dois tipos de indivduos: aqueles que sempre falam a verdade e os que sempre mentem$ 0e, do con(unto L, o indivduo @ afirmar que o indivduo B fala a verdade, e B afirmar que @ e ele s#o tipos opostos de indivduos, ent#o, nesse caso, ' correto concluir que @ e B mentem$ GABARITO: C > C 3CES$EA.n; > $2ABCCD4 Considere as quatro senten"as enumeradas a seguir$ M @ara cada y, e,iste algum x, tal que x N y$ MM @ara cada x e para cada y, se x N y ent#o e,iste algum +, tal que x N + e + N y$ MMM @ara cada x, se > N x, ent#o e,iste algum O tal que x P y Q y$ MH 1,iste algum x tal que, para cada y, x N y$ 0uponha que, nessas senten"as, x, y e + se(am variveis que podem assumir valores no con(unto dos n2meros naturais - D ., no dos n2meros inteiros - R ., no dos n2meros racionais - B . ou no con(unto dos n2meros reais - G .$ 1m cada linha da tabela a seguir, s#o atribudas valora")es H e I, para cada uma das quatro senten"as enumeradas acima, de acordo com o con(unto no qual as variveis x, y e + assumem valores$ sen ena N E = I I H I II I I H III H I I H H H

PROFESSOR CLUDIO CABRAL

I, I I I I Sulgue os itens subseq8entes, a respeito dessas senten"as$ -A. As avalia")es dadas para as senten"as M e MMM est#o corretas$ -A. As avalia")es dadas para as senten"as MM e MH est#o corretas$ GABARITO: E > E 3 .n; A CES$E > TCEFES > BCCD 4 Considere as seguintes afirmativas$
x, se x- x +5. > > , ent#o x T > ou x N U 5$ G II n, se n ' divisvel por 7, ent#o n ' par$

Acerca dessas informa")es, (ulgue os itens que se seguem$ -A. A nega"#o da afirmativa II pode ser escrita da seguinte forma: n tal que n ' divisvel por 7 ou n n#o ' par$ -A. A afirmativa I ' verdadeira para x pertencente ao con(unto dos n2meros reais$ GABARITO: E > C 3 .n; A CES$E > TCEFES > BCCD 4 A forma de uma argumenta"#o lgica consiste de uma seq8Cncia finita de premissas seguidas por uma conclus#o$ V formas de argumenta"#o lgica consideradas vlidas e h formas consideradas invlidas$ Do quadro abai,o, s#o apresentadas duas formas de argumenta"#o lgica, uma de cada tipo citado, em que ' o smbolo de nega"#o$

A respeito dessa classifica"#o, (ulgue os itens seguintes$ -A. A seguinte argumenta"#o ' invlida$ @remissa 5: &odo funcionrio que sabe lidar com or"amento conhece contabilidade$ @remissa 7: So#o ' funcionrio e n#o conhece contabilidade$ Conclus#o: So#o n#o sabe lidar com or"amento$ -A. A seguinte argumenta"#o ' vlida$

PROFESSOR CLUDIO CABRAL

@remissa 5: &oda pessoa honesta paga os impostos devidos$ @remissa 7: Carlos paga os impostos devidos$ Conclus#o: Carlos ' uma pessoa honesta$ GABARITO: E > E 3 CES$EA.n; > TC. > BCCD 4 Considere que as letras @, B e G representam proposi")es e os smbolos J, e s#o operadores lgicos que constroem novas proposi")es e significam n#o, e e ent#o, respectivamente$ Da lgica proposicional que trata da e,press#o do raciocnio por meio de proposi")es que s#o avaliadas -valoradas. como verdadeiras -H. ou falsas -I., mas nunca ambos, esses operadores est#o definidos, para cada valora"#o atribuda Es letras proposicionais, na tabela abai,o. partir das duas premissas -proposi")es acima da linha trace(ada., deduz-se a conclus#o -proposi"#o abai,o da linha trace(ada.$ /s smbolos J e s#o operadores lgicos que significam, respectivamente, n#o e ent#o, e a defini"#o de ' dada na seguinte tabela verdade$

0uponha que @ represente a proposi"#o Vo(e choveu, B represente a proposi"#o Sos' foi E praia e G represente a proposi"#o Maria foi ao com'rcio$ Com base nessas informa")es e no te,to, (ulgue os itens seguintes$ -A. A senten"a Vo(e n#o choveu ent#o Maria n#o foi ao com'rcio e Sos' n#o foi E praia pode ser corretamente representada por J @ -J G J B.$ -A. A senten"a Vo(e choveu e Sos' n#o foi E praia pode ser corretamente representada por @ J B$ -C. 0e a proposi"#o Vo(e n#o choveu for valorada como I e a proposi"#o Sos' foi E praia for valorada como H, ent#o a senten"a representada por J @ B ' falsa$ -:. / n2mero de valora")es possveis para -B J G. @ ' inferior a W$ GABARITO: C > C > E > C @ B @ B I @ B B @ @ B @ B III @ B B @

Considerando as informa")es acima e as do te,to, (ulgue os itens que se seguem, quanto E forma de dedu"#o$ -A. Considere a seguinte argumenta"#o$ 0e (uzes fossem deuses, ent#o (uzes n#o cometeriam erros$ Suzes cometem erros$ @ortanto, (uzes n#o s#o deuses$ 1ssa ' uma dedu"#o da forma MH$ -A. Considere a seguinte dedu"#o$ :e acordo com a acusa"#o, o r'u roubou um carro ou roubou uma motocicleta$ / r'u roubou um carro$ @ortanto, o r'u n#o roubou uma motocicleta$ 1ssa ' uma dedu"#o da forma MM$ -C. :adas as premissas @ B+ J B+ G @, ' possvel fazer uma dedu"#o de J G usando-se a forma de dedu"#o MH$ -:. Da forma de dedu"#o M, tem-se que a conclus#o ser verdadeira sempre que as duas premissas forem verdadeiras$ GABARITO: C > E > C > C 3 CES$EA.n; > TC. > BCCD 4 A seguinte forma de argumenta"#o ' considerada vlida$ @ara cada x, se P-x. ' verdade, ent#o )-x. ' verdade e, para x P c, se @-c. ' verdade, ent#o conclui-se que B- c. ' verdade$ Com base nessas informa")es, (ulgue os itens a seguir$ -A. Considere o argumento seguinte$ &oda presta"#o de contas submetida ao &C! que e,presse, de forma clara e ob(etiva, a e,atid#o dos demonstrativos contbeis, a legalidade, a legitimidade e a economicidade dos atos de gest#o do responsvel ' (ulgada regular$ A presta"#o de contas da @residCncia da Gep2blica e,pressou, de forma clara e ob(etiva, a e,atid#o dos demonstrativos contbeis, a legalidade, a legitimidade e a economicidade dos atos de gest#o do responsvel$ Conclui-se que a presta"#o de contas da @residCncia da Gep2blica foi (ulgada regular$ Desse caso, o argumento n#o ' vlido$ -A. Considere o seguinte argumento$ Cada presta"#o de contas submetida ao &C! que apresentar ato antieconXmico ' considerada irregular$

II

I,

3 CES$EA.n; > TC. > BCCD 4 As letras @, B e G representam proposi")es, e os esquemas acima representam quatro formas de dedu"#o, nas quais, a

PROFESSOR CLUDIO CABRAL

A presta"#o de contas da prefeitura de uma cidade foi considerada irregular$ Conclui-se que a presta"#o de contas da prefeitura dessa cidade apresentou ato antieconXmico$ Dessa situa"#o, esse argumento ' vlido$ GABARITO: E > E