Você está na página 1de 83

2008

ME-100 Fundamentos de Matemtica

Mauro S. de F. Marques
p. 1/83

CAPTULO 1
Noes bsicas de lgica matemtica

msdfm
p. 2/83

1.1 Introduo
LGICA: Parte da losoa que trata das formas do pensamento em geral (deduo, induo, hiptese, inferncia, etc...) e das operaes intelectuais que visam determinao do que verdadeiro ou no. Produz concluses e estabelece argumentos.
Etimologia gr. logik (tkhn) a cincia do raciocnio, a lgica, f. fem. de logiks,,n, pelo lat. logca,ae ou logce,es id.; ver log(o)-; f.hist. sXIV logica, sXIV lisica

msdfm p. 3/83

es Grandes contribuic o

ARISTTELES (384 - 322a.C.). Criou a cincia da lgica. GEORGE BOOLE (1815-1864). Fundamentos da lgebra da lgica. AUGUSTUS DE MORGAN (1806-1871). Fundamentos da lgebra da lgica. GOTLOB FREGE (1848-1925). Desenvolvimento da lgica. GIUSEPPE PEANO (1858-1932). Simbologia da matemtica. ALFRED NORTH WHITEHEAD (1861-1947). Lgica moderna. BERTRAND RUSSELL (1872-1970). Lgica moderna (PRINCIPIA MATHEMATICA).

msdfm
p. 4/83

Informalmente a matemtica pode usar uma linguagem corrente para se exprimir mas como cincia se faz necessrio um rigor maior na linguagem utilizada. Isso nos leva ao estudo da chamada Lgica Matemtica.

msdfm

p. 5/83

Clculo proposicional
o: Proposic a
Coisa que se prope; proposta, sugesto. Na lgica tradicional de matriz aristotlica, expresso

lingstica de uma operao mental (o juzo), composta de sujeito, verbo (sempre redutvel ao verbo ser) e atributo, e passvel de ser verdadeira ou falsa; enunciado.
Na lgica moderna, enunciado traduzvel em smbolos

matemticos, passvel de mltiplos valores de verdade (verdadeiro ou falso) e redutvel a dois elementos bsicos (o sujeito e o predicado).
msdfm
p. 6/83

Organizando:
Os blocos bsicos da lgica so as proposies. Uma proposio um enunciado que pode ser verdadeiro

ou falso mas no ambos.


Dada uma proposio a lgica matemtica assume:
Princpio da Identidade: Todo objeto e entico a si mesmo. id Princpio da Contradio: Dadas duas proposic o orias (uma e a es contradit negac o da outra), uma delas e falsa. . Princpio do Terceiro Excludo: Dadas duas proposic o orias, uma es contradit delas e verdadeira .

msdfm
p. 7/83

Proposies sero denotadas por p, q, ..., p1 , p2 , ..., etc... A cada proposio podemos associar de maneira nica o

seu valor-verdade:

V (verdade) para uma proposio verdadeira. F (falso) para uma proposio falsa.

A proposio 2 e um nu mero par tem valor-verdade V . A proposio 2 e um nu mero impar tem valor-verdade F . A proposio 2 e um nu mero primo tem valor-verdade V . A proposio 2 somado com 2 e igual a 0 tem valor-verdade F . A proposio o sol gira em torno da terra tem valor-verdade F . A proposio o sol n ao gira em torno da terra tem valor-verdade V .

x > 0"no uma proposio! Essa proposic a ao e o n verdadeira no uma proposio!


msdfm
p. 8/83

1.2 Conectivos lgicos: e, ou e n ao Proposies podem ser combinadas resultando em uma proposio composta. EXEMPLOS:
2 e um nu mero par e primo. (V ) 2 e um nu mero maior que 3 ou impar. (F ) 2 n ao e um nu mero impar. (V )

NOTAC AO:

(e) (ou) (no)


msdfm
p. 9/83

Sejam p e q duas proposies.


A conjunc o de p e q , isto , a proposio p e q , a

denotada por p q.
A disjunc o de p e q , isto , a proposio p ou q , a

denotada por p q.
A negac o de p, isto , a negao de p verdadeira (falsa) a

se e somente se p falsa (verdadeira), denotada por p.


msdfm
p. 10/83

es: Observac o
Parnteses, ( ), so usados para indicar a abrangncia dos

conectivos.
O conectivo se aplica somente ao prximo smbolo.

Assim, p q signica (p) q ; que diferente de (p q ).

msdfm
p. 11/83

1.3 Tabelas-verdade Para determinar o valor-verdade de proposies compostas, conhecidos os valores das proposies (simples) que as compem, tabelas-verdade podem (devem) ser utilizadas. Por exemplo:
p V V F F q V F V F pq V F F F p F V msdfm p V V F F q V F V F pq V V V F

p V F

p. 12/83

Tabelas-verdade podem ser usadas para determinar os possveis valores verdade de proposies mais elaboradas. Por exemplo, para a proposio (p q ) temos: p V V F F q V F V F q F V F V p q V V F V (p q ) F F V F
msdfm

p. 13/83

Exerc cio 1.Assinale o valor-verdade para as seguintes proposies: (i) (ii) (iii) (iv) (v) 3 7 e 4 um nmero impar. 3 7 ou 4 um nmero impar. 5 impar ou divisvel por 4. 3 3. No verdade que 2+2=5.

msdfm

p. 14/83

2. Considere as seguintes proposies:


p : 7 e um nu mero par, q : 3 + 1 = 4, e r : 24 e divis ivel por 8.

Escreva simbolicamente (em termos de p, q, r, , e ) e encontre o valor-verdade das proposies


(i) 3 + 1 = 4 e 24 e divis ivel por 8. (ii) N a o e verdade que 7 e um nu mero par ou 3 + 1 = 4.

Expresse em palavras e encontre o valor-verdade das proposies


(i) p q . (ii) (r q ). (iii) r q .

msdfm
p. 15/83

3. Construa tabelas-verdade para: (i) p q (ii) p p (iii) p q (iv) (p q ) (v) (p q ) (vi) p q (vii) p p (viii) (p) (ix) p
msdfm
p. 16/83

1.4 Equivalncias e implicaes Note que as tabelas-verdade para as proposies (p q ) e p q tm os mesmos valores-verdade. o: Dizemos que duas proposies, p e q , so Denic a logicamente equivalentes se elas tm a mesma tabela-verdade. Nesse caso escrevemos p q. Se p e q so logicamente equivalentes elas podem ser intercambiadas em qualquer situao sem prejuizo.

msdfm
p. 17/83

Exemplos simples de equival encia: (i) p p (ii) p q q p (iii) p q q p (iv) (p q ) r p (q r) (v) (p q ) r p (q r) (vi) (p) p

msdfm
p. 18/83

Leis de De Morgan: (i) (ii) (p q ) (p q ). (p q ) (p q ).

As relaes entre negao, disjuno e conjuno acima so chamadas Leis de De Morgan. Le-se: A negac a a o de uma disjunc o e logicamente equivalente a conjunc a o o das negac es. A negac a a o de uma conjunc o e logicamente equivalente a disjunc a o o das negac es.

msdfm
p. 19/83

es (condicionais) so as formas proposicionais mais Implicac o importantes em matemtica. De fato,


Se ... ento ... Hiptese ento concluso Hiptese ento tese A implica B A suciente para B etc...

msdfm
p. 20/83

Em forma geral, para duas proposies p e q , Se p ent ao q uma proposio. Escrevemos p q (p implica q ). p chamada premissa (ou hip otese ou antecedente) e q conclus ao (ou consequencia ou consequente ou tese).
msdfm
p. 21/83

Para a proposio p q , obtemos a seguinte tabelas-verdade: p V V F F q V F V F p q V F V V

A implicac a o e falsa se, e somente se, o antecedente e verdadeiro e o conseq uente e falso.
Note que o conectivo no simtrico em p e q . msdfm
p. 22/83

S ao equivalentes a p q : (i) Se p ent ao q (ii) p implica q (iii) p e mais forte que q (iv) q e mais fraco que p (v) p somente se q (vi) q se p (vii) p e suciente para q (viii) q e ario para p necess (ix) Uma condic a aria para p e o necess q (x) Uma condic a o suciente para q e p
msdfm
p. 23/83

O conectivo Bicondicional A proposio p se e somente se q , denotada por p q , chamada bicondicionalidade. Ela verdadeira se e somente se seus componentes so ou ambos verdadeiros ou ambos falsos. Em outros termos, para a proposio p q , temos a seguinte tabelas-verdade: p V V F F q V F V F p q V F F V
msdfm
p. 24/83

es: Observac o
No confundir equival encia l ogica () com

bicondicionalidade ().

(p q ) (p q ) (q p).

Para p q dizemos que p e necesss ario e suciente para

q ou que p e q s ao equivalentes.

msdfm
p. 25/83

Exerc cio: 4. Use uma tabela-verdade para mostrar: (i) (p q ) (p q ) (q p) .

(ii) (p q ) (q p). (iii) p (q r) (iv) p (q r) (p q ) (p r) . (p q ) (p r) .

msdfm

p. 26/83

Exerc cio 5. Use uma tabela-verdade para mostrar que os pares de proposies abaixo n ao s ao logicamente equivalentes (notao ). (i) (p q ) (p q ). (ii) (p q ) (p q ). (iii) (p q ) (q p). (iv) (p q ) (q p).

msdfm

p. 27/83

Exerc cio 6. Sem usar o conectivo escreva uma negao de p q. 7. Supondo p, q e r verdadeiros o que pode ser dito sobre: (i) p q . (ii) q p. (iii) p (q r). (iv) p q . (v) p r. (vi) (p q ) p. (vii) (p q ) q .
msdfm p. 28/83

Um pouco mais de logiqu es Dado p q dizemos:


(q p) chamada de rec proca de (p q ). (q p) chamada de contrapositivo de (p q ). (p q ) chamada de inverso de (p q ).

msdfm
p. 29/83

Exerc cio 8. Encontre: (i) O contrapositivo de p q . (ii) A recproca de q p. (iii) O inverso da recproca de q p. (iv) A negao de p q . (v) A recproca de p q.

msdfm
p. 30/83

1.5 Tautologias Tautologia:


Uso de palavras diferentes para expressar uma mesma

idia; redundncia, pleonasmo.


Proposio analtica que permanece sempre verdadeira,

uma vez que o atributo uma repetio do sujeito.


Expresso que repete o mesmo conceito j emitido, ou que

s desenvolve uma idia citada, sem aclarar ou aprofundar sua compreenso.


Etimologia gr. tautologa,as repetio (de forma ou signicado), o que diz a mesma coisa j dita; ver taut(o)- e -logia

msdfm
p. 31/83

Tautologias: es cuja tabela-verdade cont Proposic o em somente V na ultima coluna. Exemplos:


p p F V p p V V

p p;

V F

p V

q V F V F

pq V V V F

p (p q ) V V V V msdfm
p. 32/83

p (p q );

V F F

o: Contradic a o que sempre e falsa; negac o de uma tautologia. Proposic a a Exemplo:


(p q ) (p q );

p V V F F

q V F V F

q F V F V

p q F V F F

(p q ) V F V V

(p q ) (p q ) F F F F
msdfm
p. 33/83

es: Observac o
Como distinguir equival encia l ogica () de

bicondicionalidade ()? uma tautologia. (p q ) se e somente se (p q ) e o: Dizemos que p implica logicamente q (ou q e uma Denic a o l implicac a ogica de p), escrevemos p q, se p q uma tautologia.
msdfm
p. 34/83

Exemplos (i) p (p q ) uma implicao lgica, isto , p (p q ). (ii) (p q ) p uma implicao lgica, isto , (p q ) p. (iii) p (p q ) n ao uma implicao lgica (verique!).

msdfm
p. 35/83

Tautologias produzem as regras com as quais raciocinamos. Principais tautologias: Sejam p, q, r e s proposies quaisquer , c uma contradio e t uma tautologia.
1. p p 2. (p p) 3. p p 4. Leis idempotentes 4.1. p (p p) 4.2. p (p p) 5. Negao dupla p p msdfm

p. 36/83

6. Leis comutativas 6.1. (p q ) (q p) 6.2. (p q ) (q p) 6.3. (p q ) (q p) 7. Leis associativas 7.1. (p (q r)) ((p q ) r) 7.2. (p (q r)) ((p q ) r) 8. Leis distributivas 8.1. (p (q r)) ((p q ) (p r)) 8.1. (p (q r)) ((p q ) (p r)) 9. Leis de identidade 9.1. (p c) p 9.2. (p c) c 9.3. (p t) t 9.4. (p t) p

msdfm
p. 37/83

10. Leis de De Morgan 10.1. (p q ) (p q ) 10.1. (p q ) (p q ) 11. Equivalncia 11.1. (p q ) ((p q ) (q p)) 11.1. (p q ) ((p q ) (p q )) 11.1. (p q ) (p q )) 12. Implicaes 12.1. (p q ) (p q ) 12.2. (p q ) (p q ) 13. Contra-positivo (p q ) (q p) 14. Reduo ao absurdo (p q ) ((p q ) c)

msdfm
p. 38/83

15. Implicaes 15.1. (p r) (q r) ((p q ) r) 15.2. (p q ) (p r) (p (q r)) 16. Lei de exportao ((p q ) r) (p (q r)) 17. Adio p (p q ) 18. Simplicao (p q ) p 19. Modus ponens (p (p q )) q (Se p ento q . p portanto q ) 20. Modus tollens ((p q ) q ) p (Se p, ento q . q falso. Ento, p falso.) msdfm

p. 39/83

21. ((p q ) (q r)) (p r) 22. ((p q ) p) q 23. Absurdo ((p c) p 24. ((p q ) (r s)) ((p r) (r s)) 25. ((p q ) (p r) (q r))

Como so tautologias, 4-16 acima tambm so equivalncias lgicas () e 17-25 implicaes lgicas ().

msdfm

p. 40/83

Exerc cio 9. Verique entenda e memorize o mximo que puder das tautologias 1-25 listadas. 10. Procure traduzir algumas das tautologias 1-25 listadas em linguagem usual. Por exemplo,
22. ((p q ) p) q : A bola escolhida preta ou amarela. Ela no preta. Concluimos que ela amarela".

11. Quais das seguintes so corretas?


(i) (ii) (iii) (iv) p (q r) (p q ) (p q ) r (p r) p (p q ) p (p q ) p q

msdfm
p. 41/83

12. Quais das seguintes so tautologias, contradies ou nenhuma delas? (i) (p q ) (q = p) (ii) p p (iii) p p (iv) (p p) p (v) (p p) q (vi) (p q ) (p q ) (vii) (p q ) r) (p (q r)

msdfm

p. 42/83

1.6 Argumentos e princpios de demonstrao


Por um argumento (ou teorema) entendemos uma

proposio da forma (p1 p2 pn ) q.


p1 , p2 , . . . , pn so chamadas de premissas ou hip oteses e q

deconclus ao.
Um argumento e v verdadeiro) se alido (ou o teorema e

ele uma tautologia


Se o argumento vlido dizemos que q a consequ encia

l ogica de p1 , p2 , . . . , pn
msdfm

p. 43/83

Note que um argumento vlido uma implicao lgica

()

Se um argumento vlido, a concluso pode ser verdadeira

ou falsa. Um argumento vlido signica que se todas as premissas so verdadeiras ento a concluso obrigatoriamente verdadeira

msdfm
p. 44/83

Exemplo:
Premissa p V V F F q V F V F q F V F V

q (p q ) p.
Premissa pq V F V V q (p q ) F F F V Concluso p F F V V Argumento q (p q ) p V V V V

Observa-se na ltima coluna da tabela-verdade que o argumento uma tautologia. A concluso ( p) pode ser falsa ou verdadeira (penltima coluna). Se as premissas so verdadeiras, ento a concluso verdadeira!

msdfm

p. 45/83

Considere agora o argumento

p (p q ) q .
Premissa p V V F F q V F V F p F F V V Premissa pq V F V V q (p q ) F F V V Concluso q F V F V Argumento q (p q ) p V V F V

Claramente esse argumento no uma tautologia, na terceira linha as premissas so verdadeiras mas a concluso falsa, v portanto o argumento n ao e alido.
msdfm
p. 46/83

usual apresentar argumentos na vertical. Inicialmente listando-se as premissas, depois uma linha horizontal e por ltimo a concluso. Assim, os argumentos q (p q ) p e so escritos na forma q pq p e p pq q p (p q ) q

msdfm
p. 47/83

Como exemplo dos casos acima,

q (p q ) p

p (p q ) q ,

considere p : 2 + 2 = 4 e q : 3 + 5 = 7. Assim, 3 + 5 = 7 Se 2 + 2 = 4 enta o 3 + 5 = 7 2 + 2 = 4 e 2 + 2 = 4 Se 2 + 2 = 4 enta o 3 + 5 = 7 3 + 5 = 7

No primeiro caso, um argumento vlido, a concluso falsa. No segundo, um argumento invlido, a concluso verdadeira.

!?!?!?!?!?!?!?!?!?!?!?

A validade (ou no) de um argumento baseada somente na sua forma e no na verdade ou falsidadade das proposies envolvidas. Em um argumento vlido, podemos garantir que a concluso verdadeira somente quando todas as premissas so verdadeiras. Se 2 + 2 = 4 enta o 3 + 5 = 7" falsa! msdfm
p. 48/83

O uso de tabelas-verdade para vericar a validade de um argumento pode ser proibitivo quando o nmero de premissas grande. Um mtodo alternativo o chamado o. Princ pios de demonstrac a

msdfm

p. 49/83

o: A demonstrao de um Princ pios de demonstrac a argumento


(p1 p2 pn ) q

es, s1 , s2 , . . . , sk , onde uma sequ encia de proposic o (1) sk q (2) Cada si , i = 1, 2, . . . , k , na sequncia satisfaz um ou mais dos seguintes requerimentos:
(a) si uma das hipteses (premissas). (b) si uma tautologia. (c) si uma consequncia lgica () das proposies anteriores na sequncia.

Se as premissas so verdadeiras, cada proposio si ser verdadeira, em particular a concluso.


msdfm
p. 50/83

Exemplos 1. p (q p) q.
Proposio s1 : p s2 : q p s3 : p q s4 : q Razo Hiptese Hiptese Contra-positivo de s2 (Tautologia: (q p) (p q )) Consequncia lgica de s1 e s3 (p q ) p q

Ou diretamente pela tautologia 20 na lista.

msdfm
p. 51/83

2. (p q ) ((q p) (p q ) q.
Proposio s1 : q p s2 : p q s3 : q p s4 : (q q ) p s5 : q q s6 : p s7 : p q s8 : q Razo Hiptese Hiptese Contra-positivo de s2 Consequncia lgica de s1 e s3 (15.1) Tautologia Consequncia lgica de s4 e s5 (19) Hiptese Consequncia lgica de s6 e s7 (22)

msdfm
p. 52/83

Alternativamente, (p q ) ((q p) (p q ) q.
Proposio s1 : q p s2 : p q s3 : p q s4 : p (q q ) s5 : p s6 : p q s7 : q Razo Hiptese Hiptese Contra-positivo de s1 Consequncia lgica de s2 e s3 (15.2) Consequncia lgica de s4 , Absurdo (23) Hiptese Consequncia lgica de s5 e s6 (22)

msdfm
p. 53/83

o por contradic o M edodo de demosntrac a a (ou indireta) Esta alternativa de demonstrao baseada na tautologia de reduo ao absurdo (p q ) (p q ) c (14), onde c uma contradio. Aplicando esta tautologia ao argumento de interesse temos
(p1 p2 pn ) q (p1 p2 pn q ) c . Como temos uma equivalncia lgica, podemos substituir o lado direito pelo lado esquerdo sem nenhum prejuizo.
msdfm
p. 54/83

Exemplo: (p q ) ((q p) (p q ) q
Proposio s1 : q s2 : p q s3 : p s4 : p q s5 : q s6 : q q s7 : q Razo Hiptese (negao da concluso) Hiptese Consequncia lgica de s1 e s2 Hiptese Consequncia lgica de s3 e s4 ) Consequncia lgica de s1 e s5 (CONTRADIC AO! Consequncia lgica de s6

Note que a hiptese (q p) no foi usada nesse mtodo de prova.


Pergunta: (p q ) (p q ) q vlido? msdfm
p. 55/83

O princpio de demonstrao usado somente para mostrar

a validade de um argumento.
O princpio de demonstrao no serve para mostrar que

um argumento invalido.
Nossa incapacidade em mostrar a validade de um dado

argumento no quer dizer que ele no seja vlido.


Em um argumento vlido a concluso obrigatoriamente

verdadeira se todas as premissas so verdadeiras.


Se pudermos encontrar apenas um nico caso onde as

premissas so verdadeiras mas a concluso falsa (um contra-exemplo), ento teremos demonstrado que o argumento no vlido. msdfm
p. 56/83

Exerc cio 13. De um contra-exemplo para mostrar que o argumento ((p q ) (p q )) (q p) no vlido. 14. Verique usando tabelas verdade os seguintes argumentos: pq (ii) rq q r (iii)

pq (i) p q qp

p q p q

msdfm
p. 57/83

15. Estabelea a validade dos argumentos abaixo usando o princpio de demonstrao ou de um contra-exemplo no caso de invalidade. p q (i) p q q p (iv) q p pq p r (vii) s (p r) s q (viii) (v) (ii) pq r q p r (iii) p q r q p r (p q ) (r s) (vi) r p q

p pq

pq q r r p (p q ) (ix)

pq r q r = p p msdfm
p. 58/83

pq (x) p p p (xi) pr r q (xii)

p q p q (r s) r s p q pq (xv) rs (p s) q r

p (q s) (xiii) qr p (e s) (xiv)

qp rp q

msdfm
p. 59/83

Quanticadores

x>0 no uma proposio pois como o valor de x no conhecido no podemos assinalar um valor-verdade. Neste caso, x chamado uma vari avel, isto , um smbolo que pode asssumir diferentes valores es). (tambm chamados de interpretac o Para cada possvel valor de x, teremos uma proposio. Assim, chamamos x > 0 de uma o proposicional, na verdade uma funo de x func a que assume como valor uma proposio.
msdfm
p. 60/83

Fazendo p(x) = x > 0;

p(1) a proposio 1 > 0 cujo valor-verdade V . p(1) a proposio 1 > 0 cujo valor-verdade F . p(0) a proposio 0 > 0 cujo valor-verdade F .

msdfm
p. 61/83

o: Defnic a Uma sentena contendo uma ou mais variveis chamada uma sentenc a declarativa se quando assinalamos valores particulares para as variveis envolvidas temos uma proposio. Sentenas declarativas sero denotadas por p(x), q (x, y ), r(x, y, z ), etc...

msdfm
p. 62/83

Exemplos:

p(x) = x > 0. p(x, y ) = x > y ; p(1, 0) tem valor-verdade V . p(0, 1) tem valor-verdade F . p(1, 1) tem valor-verdade F .

msdfm
p. 63/83

Seja D o conjunto de todos os possveis valores da varivel x, ou seja, o domnio da funo proposicional p(x). Um outro mtodo de fazer com que p(x) se torne uma o. Exite duas maneiras proposio referido como quanticac a com as quais quanticamos uma funo proposicional p com domnio D: Prefaciando a funo proposicional p com:
1. para todo x em D ou para qualquer x em D, denotado por x em D. 2. existe x em D tal que ou para algum x em D tem-se a propriedade que denotado por x em D . msdfm
p. 64/83

, e

so chamados quanticadores;

chamado quanticador universal, l-se para todo, chamado quanticador existencial, l-se existe, e o simbolo para tal que.

msdfm
p. 65/83

Assim: x em D, p(x) resultar em um valor-verdade V se p(x) verdadeira para todo valor de x em D e F caso contrrio. x em D p(x)

resultar em um valor-verdade V se p(x) verdadeira para pelo menos um valor de x em D e F caso contrrio.
msdfm

p. 66/83

Se existe somente um nmero nito de possveis interpretaes para x, isto , um nmero nito de possveis valores de x, digamos x1 , x2 , . . . , xn , em outras palavras, se D nito, ento

x em D, p(x) e x em D p(x)

p(x1 ) p(x2 ) p(xn )

p(x1 ) p(x2 ) p(xn )

msdfm
p. 67/83

No caso degenerado onde no existem interpretaes, isto , D vazio , no importando o que seja p(x), tem-se:

x em D, p(x) sempre verdadeira pois no podemos produzir um valor de x para o qual p(x) seja falsa. x em D p(x) sempre falsa pois no podemos produzir um nico valor de x para o qual p(x) seja verdadeira.
msdfm
p. 68/83

es: Negac o fcil ver (exerccio) que: x em D, p(x) x em D p(x) x em D p(x)

x em D, p(x)

Se D nito, isto apenas uma extenso da Lei de De Morgan. Exemplo: x em D, (p(x) q (x)) x em D x em D (p(x) q (x)) (p(x) q (x)).
msdfm
p. 69/83

Exerc cio 16. Verique as negaes acima. 17. Represente usando quanticadores: (i) Todo p(x) um q (x). (ii) Algum p(x) um q (x). 18 Escreva na forma simblica, indicando escolhas apropriadas de interpretaes (domnio). (i) Existe um nmero inteiro x tal que x + 2 = 4. (ii) x2 4 = 0 tem uma soluo positiva. (iii) Toda soluo de x2 4 = 0 positiva.
msdfm
p. 70/83

19. Discuta as seguintes proposies; (i) x em D, p(x) x em D (ii) x em D p(x) .

p(x) x em D, p(x) .

(iii) x em D, p(x) x em D, p(x) . (iv) x em D, p(x) x em D, p(x) . (v) x em D p(x) x em D p(x) .

msdfm
p. 71/83

Mais sobre quanticadores Algumas situaes exigem mais do que um quanticador. Por exemplo,

Para todo n umero par n existe um n umero inteiro k tal que n = 2k. Para toda reta l e para todo ponto a, fora de l, existe uma reta l que passa por a e e paralela a l

Seja f uma funo com domnio em D e contra-domnio em B :



Para todo y em B , existe x em D tal que f (x) = y . Para todo x no dom nio de f e para todo n umero > 0, existe um n umero > 0 tal que |x c| < implica |f (x) L| < .

msdfm
p. 72/83

Considere a proposio: x em S, y em T p(x, y )

A leitura deve ser feita sempre da esquerda para a direita. Ou seja, x em S, y em T p(x, y )

Note a diferena para a proposio y em T x em S, p(x, y )


msdfm
p. 73/83

importante observar que: Em uma proposio do tipo


x em S, y em T p(x, y ),

(em outros termos, para cada x em S , vai existir um y em T tal que p(x, y ) e verdadeira) o valor de y pode depender da escolha do valor de x Por outro lado, para
y em T x em S, p(x, y )

ser verdadeira, deve existir ao menos um valor de y , digamos y0 , tal que p(x, y0 ) verdadeira para toda escolha de x.
msdfm
p. 74/83

Exerc cios: 20. Se os possveis valores da varivel x em S so s1 e s2 e os possveis valores da varivel y em T so t1 e t2 , verique que:
x em S, y em T p(x, y ) p(s1 , t1 ) p(s1 , t2 ) p(s2 , t1 ) p(s2 , t2 )

e
y em T x em S, p(x, y ) p(s1 , t1 ) p(s2 , t1 ) p(s1 , t2 ) p(s2 , t2 ) .

21. O que acontece no Exerccio 20 quando S e T so identicos e p(x, y ) = x = y ? 22. Escreva a negao de
x em S, y em T p(x) q (x, y ). msdfm
p. 75/83

22. Os pares de proposies abaixo so equivalentes? Justique!


(i) Todo n umero inteiro e umero inteiro e umero par ou impar e Todo n par ou todo n inteiro impar. (ii) (iii) (iv) (v) x em D, (p(x) q (x)) e (x em D, p(x)) (x em D, q (x)) . x em D, (p(x) q (x)) e (x em D, p(x)) (x em D, q (x)) . x em D, (p(x) q (x)) e (x em D, p(x)) (x em D, q (x)) . x em D (p(x) q (x)) e (x em D p(x)) (x em D q (x)) .

23. Escreva de forma simblica


(i) Para todo y em B existe x em D tal que f (x) = y (ii) Para todo x no dom nio de f e para todo n umero > 0 existe um n umero > 0 tal que |x c| < implica |f (x) L| < . (iii) A soma de dois n umeros pares quaisquer e umero par um n (iv) Para toda reta l e para todo ponto a fora de l existe uma reta l que passa por a e e paralela a l msdfm
p. 76/83

Mtodos de demonstrao. Trs mtodos de demonstrao a serem considerados so:


Demonstrac o direta p(x) q (x) a
1. Assume a hiptese 2. Deduo lgica (corpo da demosntrao) 3. Chega-se concluso

Demonstrac o do contrapositivo q (x) p(x) a


1. Assume a negao da concluso 2. Deduo lgica (corpo da demosntrao) 3. Chega-se negao da hiptese

Demonstrac o indireta ou por contradic o a a

(p(x) q (x)) c
1. Assume a hiptese e a negao da concluso 2. Deduo lgica (corpo da demosntrao) 3. Chega-se a uma contradio msdfm p. 77/83

Mesmo nos livros de matemtica avanados muitas das demonstraes so apresentadas de maneira informal, usando um mnimo da simbologia lgica. No entanto, a estrutura l ogica, hip otese, sequ es que s encia de proposic o ao es pr consequ encias l ogicas de proposic o evias e conclus ao, estar a sempre presente.
msdfm
p. 78/83

Exemplo: Assumindo que um nmero inteiro n par se e somente se existe um inteiro k tal que n = 2k , considere o seguinte teorema: Teorema: Se n e m so nmeros pares, ento n + m par. o: Sejam n e m so nmeros pares. Ento existem Demonstrac a j e k inteiros tais que n = 2k e m = 2j. Ento m + n = 2k + 2j = 2(k + j ). Portanto n + m par. c.q.d
msdfm
p. 79/83

Compare com: Teorema: Seja P o conjunto dos nmeros pares. n em P, m em P (m + n em P ). o: Demonstrac a n em P, m em P, j, k (n = 2k m = 2j ).

(n = 2k m = 2j ) m + n = 2k + 2j = 2(k + j ). m + n = 2(k + j ) (m + n em P ). c.q.d


Note que a demostrao do teorema foi dada na forma direta. msdfm
p. 80/83

Exercicio: 24. Demostre o teorema; n em P, m em P (m + n em P ), onde P o conjunto dos nmeros pares, (i) Usando mtodo contrapositivo. (ii) Usando mtodo indireto (contradio). Observao: Sabemos que um nmero n impar se e somente se existe k tal que n = 2k + 1.

msdfm
p. 81/83

25. Determine quais das seguintes demonstraes so corretas e quais so incorretas. No caso de uma demonstrao correta, indique o tipo de mtodo usado e no caso incorreto indique o erro.
Teorema: Se x e y so nmeros pares, ento n m par. (Prova 1) Suponha que x e y so nmeros impares. Ento existe nmeros inteiros j e k tal que x = 2j + 1 e y = 2k + 1. Logo x y = (2j + 1) (2k + 1) = 2(j k). Portanto x y par. (Prova 2) Suponha que x y seja par e y seja impar. Ento existem nmeros inteiros j e k tal que x y = 2j e y = 2k + 1. Logo y = y x + x = 2j + (2k + 1) = 2(k j ) + 1. Portanto y impar o que uma contradio. msdfm
p. 82/83

(Prova 3) Suponha que x y seja impar. Ento existe um nmero j tal que x y = 2j + 1. Se y par, a demonstrao esta completa, suponhamos ento que y impar, isto , y = 2k + 1 para algum nmero k. Logo x = (x y ) + y = (2j + 1) + (2k + 1) = 2(j + k) + 2 = 2 (j + k) + 1 . Portanto x par o que demonstra o teorema. (Prova 4) Suponha que x e y so nmeros pares e (x-y) impar. Ento existem nmeros inteiros j e k tal que x = 2j e y = 2k. Logo x y = 2j 2k = 2(j k) portanto x y par. Mas isso contradiz a suposio que x y impar, completando a demonstrao. (Prova 5) Suponha que x e y so nmeros pares. Ento existem nmeros inteiros j e k tal que x = 2j . Logo x y = 2j 2k = 2(j k). Portanto x y par. msdfm
p. 83/83