You are on page 1of 63

Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemtica a

Argumentacao em Matematica

Prof. Lenimar Nunes de Andrade


e-mail: numerufpb@gmail.com ou lenimar@mat.ufpb.br verso 1.0 15/novembro/2009 a

Sumrio a
1 Nooes de Lgica Matemtica c o a 1.1 Proposioes . . . . . . . . . . . . . c 1.2 Conectivos - Proposies compostas co 1.3 Negao O conectivo . . . . . ca 1.4 Conjuno O conectivo . . . . ca 1.5 Disjuno O conectivo . . . . ca 1.6 Tabelas-verdade . . . . . . . . . . 1.7 Proposioes equivalentes . . . . . . c 1.8 Outras equivalncias . . . . . . . . e 1.9 Exerc cios resolvidos . . . . . . . . 3 3 4 4 4 5 5 6 7 8 11 11 11 12 12 13 14 16 18 26 26 27 27 28 28 29 29 29 30 32

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

2 Proposies condicionais e quanticadores co 2.1 Condicional . . . . . . . . . . . . . . . . . 2.2 Bicondicional . . . . . . . . . . . . . . . . 2.3 Rec procas e contrapositivas . . . . . . . . 2.4 Tautologias e contradies . . . . . . . . . co 2.5 Tautologias e equivalncias . . . . . . . . . e 2.6 Quanticadores lgicos . . . . . . . . . . . o 2.7 Negao de proposioes quanticadas . . . ca c 2.8 Exerc cios resolvidos . . . . . . . . . . . . 3 Argumentos e regras de inferncia e 3.1 Argumentos vlidos . . . . . . . . . . . a 3.2 Modus Ponens . . . . . . . . . . . . . . 3.3 Exemplos de Modus Ponens . . . . 3.4 Modus Tollens . . . . . . . . . . . . . . 3.5 Exemplos de Modus Tollens . . . . 3.6 Lei do Silogismo . . . . . . . . . . . . 3.7 Exemplos da Lei do Silogismo . . . 3.8 Regras diversas . . . . . . . . . . . . . 3.9 Regras de Inferncia . . . . . . . . . . e 3.10 Argumentos com concluso condicional a
1

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

3.11 Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Demonstrao em Matemtica ca a 4.1 Implicao e equivalncia lgicas . . . . . . ca e o 4.2 Teorema, lema e corolrio . . . . . . . . . a 4.3 Instncia de um teorema . . . . . . . . . . a 4.4 Siglas no nal de uma demonstrao . . . ca 4.5 Tcnicas de demonstraao . . . . . . . . . e c 4.6 Teoremas cujas concluses so condicionais o a 4.7 Demonstrao direta . . . . . . . . . . . . ca 4.8 Demonstrao por contradiao . . . . . . . ca c 4.9 Demonstrao pelo contrapositivo . . . . . ca 4.10 Demonstraao por enumeraao de casos . c c 4.11 Exerc cios . . . . . . . . . . . . . . . . . .

32 38 38 38 39 40 40 42 42 42 43 44 45 50 50 52 53

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

A Leituras adicionais A.1 O inverso do clculo da tabela-verdade . . . . . . . . . . . . . . a A.2 Formas conjuntiva e disjuntiva normais . . . . . . . . . . . . . . B Exerc cios Suplementares

Cap tulo 1 Nooes de Lgica Matemtica c o a


1.1 Proposioes c

Denio: Uma proposio ou sentena uma orao declarativa que pode ca ca c e ca ser classicada em verdadeira ou falsa. Sendo uma oraao, toda proposio tem sujeito e predicado. c ca Toda proposio declarativa; no pode ser interrogativa e nem exclamaca e a tiva. Toda proposio verdadeira ou falsa. ca e Uma proposiao no pode ser ao mesmo tempo verdadeira e falsa. c a Exemplos: So exemplos de proposioes: a c Sete maior do que trs (em s e e mbolos: 7 > 3) Dois e dois so cinco (em s a mbolos: 2 + 2 = 5) Quatro divisor de dezesseis (em s e mbolos: 4 | 16) Marte um planeta prximo da Terra e o No so proposies: a a co 1 + 2 + 3 + 4 (falta o predicado) Que dia hoje? (orao interrogativa) e ca 4x + 1 = 3x + 7 (no pode ser classicada em verdadeira ou falsa pois o x a no conhecido) a e A rea do quadrado de lado 2 cm (falta o predicado) a

1.2

Conectivos - Proposioes compostas c

A partir de proposioes dadas, podemos construir novas proposioes denoc c minadas compostas atravs do uso dos conectivos E (), OU () e NAO ( ou e ). Parnteses tambm podem ser usados em proposies que tenham dois ou e e co mais conectivos. Exemplo: Dadas as proposies p, q e r (consideradas simples), a partir delas, co podemos formar novas proposioes compostas: c pq p q (q r) (p q) r (p q) (q r)

1.3

Negao O conectivo ca

A proposiao p tem o valor lgico oposto ao de p: p falsa quando p c o e verdadeira e p verdadeira quando p falsa. Isso pode ser resumido na e e e seguinte tabela, onde o V representa o valor lgico verdadeiro e o F representa o o falso. p p V F F V Observao: O conectivo NAO tambm costuma ser denotado por . ca e

1.4

Conjuno O conectivo ca

Dadas as proposies p e q, a conjuno p q verdadeira quando p e q so co ca e a ambas verdadeiras; se pelo menos uma delas for falsa, p q falsa. Isso pode e ser resumido na tabela: p V V F F q pq V V F F V F F F
4

Exemplo: Consideremos as proposioes p: 5 maior do que 4 e q: 12 c e e divis por 7. Temos que p q a proposio 5 maior do que 4 e 12 vel e ca e e divis por 7 falsa porque q falsa. vel e e

1.5

Disjuno O conectivo ca

Dadas as proposioes p e q, a disjuno p q verdadeira se pelo menos p c ca e ou q verdadeira; se as duas forem falsas, p q falsa. Isso pode ser resumido e e na tabela: p V V F F q pq V V F V V V F F

Exemplo: Consideremos as proposioes p: 5 maior do que 4 e q: 12 c e e divis por 7. Temos que p q a proposiao 5 maior do que 4 ou 12 vel e c e e divis por 7 verdadeira porque p verdadeira. vel e e

1.6

Tabelas-verdade

Os poss veis valores lgicos de uma proposiao composta costumam ser o c organizados em forma de tabelas, denominadas tabelas-verdade. Nessas tabelas, o valor lgico de uma proposiao verdadeira representado o c e por V e o valor lgico de uma sentena falsa denotado por F. o c e Cada possibilidade de combinaao dos valores lgicos das proposioes que c o c compem uma proposiao composta d origem a uma linha da tabelao c a verdade. Em geral, se uma proposio composta for formada a partir de n proca posies simples (componentes), ento a tabela-verdade dessa proposio co a ca n composta ter 2 linhas. a Exemplo: Sendo p, q e r proposioes, construir a tabela-verdade de c (p q) r

p V V V F V F F F

q V V F V F V F F

r q r p q V F F F F F V F V V F V V F F F F V V V F F V F V V F F F V V F

(p q) r F V V F V V F V

A ultima coluna dessa tabela a mais importante e a 4a , 5a e 6a colunas servem e apenas para auxiliar na obteno dessa ultima coluna. ca

1.7

Proposioes equivalentes c

Dadas as proposioes p e q, dizemos que p equivalente a q(em s c e mbolos: p q) quando elas tm sempre o mesmo valor lgico para quaisquer valores e o das proposioes componentes. c p q somente quando h uma coincidncia nos valores das ultimas colunas a e de suas tabelas-verdade. p q tambm costuma ser denotado por p q. e Exemplo A seguir, vericamos que (p q) p q (p q) p q Essas duas equivalncias so muito importantes porque mostram como fazer a e a negaao de uma conjunao e de uma disjunao. c c c Tabela-verdade de (p q) p V V F F q pq V V F V V V F F (p q) F F F V

Tabela-verdade de p q p V V F F q p q V F F F F V V V F F V V p q F F F V

Podemos observar que os valores lgicos das ultimas colunas das duas tabelas o so os mesmos. Logo, conclu a mos que (p q) p q Tabela-verdade de (p q) p V V F F q pq V V F F V F F F (p q) F V V V

Tabela-verdade de p q p V V F F q p q V F F F F V V V F F V V p q F V V V

Podemos observar que os valores lgicos das ultimas colunas das duas tabelas o so os mesmos. Logo, conclu a mos que (p q) p q

1.8

Outras equivalncias e

Suponhamos que p, q e r sejam proposies quaisquer. co Negao ca (p) p Conjuno ca


7

pq qp ppp p (q r) (p q) r Disjuno ca pq qp ppp p (q r) (p q) r Distributividade p (q r) (p q) (p r) p (q r) (p q) (p q) Conjuno e disjuno ca ca p (p q) p p (p q) p

1.9

Exerc cios resolvidos


Considerando p e q como sendo as seguintes proposioes: c

Exerc cio 1:

p: 3 + 2 = 5 q: 4 > 10 Descreva as proposies (p q) e (p q) e determine seus valores lgicos. co o Soluo: ca p q: 3 + 2 = 5 e 4 > 10. Como (p q) p q, podemos considerar que a negaao de (p q) c e a proposiao (p q). Portanto: c (p q): 3 + 2 = 5 ou 4 10. p verdadeira e q falsa; logo, (p q) falsa e sua negao (p q) e e e ca e verdadeira.

Exerc cio 2:

Considerando r e s como sendo as seguintes proposioes: c

r: O tringulo ABC retngulo a e a


8

s: O tringulo ABC equiltero a e a Descreva as proposies (r s) e (r s). co Soluo: ca r s: O tringulo ABC retngulo ou equiltero a e a a Como (r s) r s, podemos considerar que a negaao de (r s) c e a proposiao (r s). Portanto: c (r s): O tringulo ABC no retngulo e no equiltero. a a e a a e a Exerc cio 3: Descreva quais so as negaes das seguintes sentenas: a co c

1) p: A funao f (x) = x2 + 5x 3 derivvel e a sua derivada a funao c e a e c g(x) = 2x + 5. 2) q: A funao f (x) = x2 + 5x 3 derivvel ou a sua derivada a funao c e a e c g(x) = 2x + 5. Soluo: ca 1) p: A funao f (x) = x2 + 5x 3 no derivvel ou a sua derivada no c a e a a a funao g(x) = 2x + 5. e c 2) q: A funao f (x) = x2 + 5x 3 no derivvel e a sua derivada no c a e a a e a funao g(x) = 2x + 5. c Exerc cio 4: Sendo p e q proposies tais que (p q) falsa, determine co e o valor lgico de ((p q) q). o Soluo: ca A disjuno (p q) s falsa quando as componentes p e q forem ca oe ambas falsas. Mas, se p falsa, p verdadeira e se q for falsa, q tambm ser verdae e e a deira. Sendo p e q verdadeiras, (p q) tambm verdadeira. e e Como q falsa, temos que ((p q) q) falsa. e e Conclu mos, ento, que ((p q) q) verdadeira. a e

Exerc cio 5:

Sendo p, q e r proposioes, mostre que c p (q r) (p q) (p r)

Soluo: ca Para mostrar uma equivalncia dessas proposioes, podemos construir as e c tabelas-verdade de p (q r) e de (p q) (p r) e vericar que os valores lgicos das ultimas colunas coincidem. o Como temos trs proposies componentes (p, q e r), temos um total de e co 3 2 = 8 linhas em cada tabela-verdade. Tabela-verdade de p (q r) p V V V V F F F F q V V F F V V F F r q r p (q r) V V V F F V V F V F F V V V V F F F V F F F F F

Tabela-verdade de (p q) (p r) p V V V V F F F F q V V F F V V F F r p q p r (p q) (p r) V V V V F V V V V V V V F V V V V V V V F V F F V F V F F F F F

Observando os valores lgicos das ultimas colunas das duas tabelas, vemos o que so os mesmos e, por causa disso, conclu a mos que p (q r) (p q) (p r)
10

Cap tulo 2 Proposioes condicionais e c quanticadores


2.1 Condicional

Denio: Sendo p e q proposies, podemos construir uma nova proposio ca co ca p q atravs do emprego do conectivo condicional, cujo s e mbolo . Neste e caso, a proposiao p denominada antecedente e q denominada consequente c e e (ou concluso). a A proposiao p q pode ser lida de vrias formas: c a Se p, ento q. a p condiao necessria para q. e c a q condio suciente para p. e ca q, se p. O condicional p q considerado falso somente quando p verdadeira e q e e falsa; nos demais casos, p q considerada verdadeiro. Este critrio est e e e a resumido na seguinte tabela-verdade: p V V F F q pq F F V V V V F V

2.2

Bicondicional

Denio: Sendo p e q proposies, podemos construir uma nova proposio ca co ca p q atravs do emprego do conectivo bicondicional, cujo s e mbolo . e A proposiao p q pode ser lida de vrias formas: c a
11

p se e somente se q. p condiao necessria e suciente para q. e c a q condio necessria e suciente para p. e ca a O bicondicional p q considerado verdadeiro somente quando p e q so e a ambas verdadeiras ou ambas falsas; nos demais casos, p q considerada e falso. Este critrio est resumido na seguinte tabela-verdade: e a p V V F F q pq V V F F V F F V

2.3

Rec procas e contrapositivas

Denio: Consideremos proposioes p e q. Denimos: ca c A rec proca do condicional p q o condicional q p. e A contrapositiva do condicional p q o condicional q p. e Exemplo: Seja p a proposiao condicional Se n um inteiro primo, ento c e a n no divisvel por 3. a e A rec proca de p Se n no divisvel por 3, ento n um inteiro primo. e a e a e A contrapositiva de p Se n divis por 3, ento n no um inteiro e e vel a a e primo.

2.4

Tautologias e contradioes c

Sendo v uma proposiao formada a partir de outras proposioes p, q, c c . . . atravs do emprego dos conectivos lgicos , , , e . Dizee o mos que v uma tautologia ou uma proposio logicamente verdadeira e ca quando ela for sempre verdadeira, independentemente dos valores lgicos o das componentes p, q, . . . Dessa forma, a tabela-verdade de uma tautologia s apresenta V na ultima o coluna. Exemplo: Qualquer que seja o valor lgico de uma proposio p, temos que o ca p p ser sempre verdadeira. Logo, p p uma tautologia. a e
12

Sendo f uma proposio formada a partir de outras proposies p, q, ca co . . . atravs do emprego dos conectivos lgicos , , , e . Dizemos e o que f uma contradio ou uma proposio logicamente falsa quando ela e ca ca for sempre falsa, independentemente dos valores lgicos das componentes o p, q, . . . Dessa forma, a tabela-verdade de uma contradiao s apresenta F na ultima c o coluna. A negaao de uma tautologia uma contradio, e vice-versa. c e ca Exemplo: Qualquer que seja o valor lgico de uma proposio p, temos que o ca p p ser sempre falsa. Logo, p p uma contradiao. a e c

2.5

Tautologias e equivalncias e
proposies, co mostre que

Exemplo importante: Sendo p e q (p q) (p q) uma tautologia. e p V V F F q p q p q V V V F F F V V V F V V

(p q) (p q) V V V V

Observao: Em geral, quando p q for uma tautologia, ento p q. ca a Assim, neste exemplo, cou mostrado que p q equivalente a p q. e Exemplo: Sendo p e q proposies, mostre que a proposiao s denida por co c (p q) (p q) (q p) uma tautologia. e Tabela-verdade: p V V F F q p q q p p q (p q) (q p) V V V V V F F V F F V V F F F F V V V V s V V V V

Observao: Neste exemplo, cou mostrado que p q equivalente a ca e (p q) (q p). Exemplo: Sendo p e q proposioes, c (p q) (q p) uma tautologia. e Tabela-verdade
13

mostre que a proposio ca

p V V F F

q p q q p q p (p q) (q p) V V F F V V F F V F F V V V F V V V F V V V V V

Observao: Neste exemplo, cou mostrado que o condicional p q ca e equivalente ` sua contrapositiva q p. a

2.6

Quanticadores lgicos o

Sentenas abertas c H expresses como: a o x+5=9 x2 + y 2 = 1 x uma cidade do serto paraibano e a que contm variveis x, y, . . . e que no so consideradas proposies porque e a a a co no podem ser classicadas em verdadeiras ou falsas, dependem dos valores a atribu dos `s variveis. a a Variveis livres a Uma sentena do tipo p(x), ou do tipo p(x, y), . . . que exprime algo dec pendendo de variveis x, y, . . . so denominadas sentenas abertas ou funes a a c co proposicionais e as variveis x, y, . . . so chamadas variveis livres. a a a Conjunto-universo O conjunto U de todos os poss veis valores que podem ser atribu dos `s a variveis livres de uma sentena aberta chamado conjunto-universo ou unia c e verso de discurso. Conjunto-verdade O conjunto-verdade de uma sentena aberta formado por todos os elementos c e do universo de discurso que tornam a sentena verdadeira. c Exemplo: Consideremos a sentena aberta p(x): x + 5 = 9 e o universo como c sendo o conjunto dos inteiros Z. Se atribuirmos a x o valor 4, ento a sentena a c se torna uma proposiao verdadeira: 4 + 5 = 9. E esse o unico valor que pode c e torn-la verdadeira. Assim, seu conjunto-verdade V = {4}. a e
14

Quanticadores H duas maneiras de transformar uma sentena aberta em uma proposio: a c ca atribuir valor `s variveis livres a a utilizar quanticadores. So dois os quanticadores: a Quanticador universal, simbolizado por , que se l qualquer que e seja, para todo, para cada. Quanticador existencial, simbolizado por , que se l: existe, existe e algum, existe pelo menos um. Quanticador universal Em um universo U , uma sentena aberta p(x) que exprime algo a respeito c de x U pode ser transformada em proposiao da forma x(p(x)) e que se l: c e qualquer que seja x, temos p(x). Exemplos: x(x + 3 = 7) que se l qualquer que seja x, temos x + 3 = 7. Se e considerarmos o conjunto-universo como sendo U = R temos que essa e uma proposiao falsa. c x(2x + 1 > 0) que se l qualquer que seja x, temos 2x + 1 > 0. Se e considerarmos o conjunto-universo como sendo U = N temos que essa proposio verdadeira; mas, se considerarmos U = Z, falsa. ca e e Quanticador existencial Em um universo U , uma sentena aberta p(x) que exprime algo a respeito c de x U pode ser transformada em proposiao da forma x(p(x)) e que se l: c e existe algum x tal que p(x). Exemplos: x(x + 3 = 7) que se l: existe x tal que x + 3 = 7. Se considerarmos o e universo U = Z temos que uma proposio verdadeira e ca x(x2 + 1 = 0) que se l: existe x tal que x2 + 1 = 0. Se considerarmos e U = R, falsa; mas, se considerarmos U = C, verdadeira. e e

15

` Observao: As vezes, utilizado tambm o quanticador | que se l: existe ca e e e um unico ou existe um s. o Observaes: Em muitas situaes da Matemtica os quanticadores cam co co a subentendidos. Por exemplo: Uma conhecida frmula de Trigonometria cos2 x + sen2 x = 1. Sendo o e o universo de discurso o conjunto dos nmeros reais, um enunciado mais u completo dessa frmula seria o x (cos2 x + sen2 x = 1) De modo anlogo, a propriedade comutativa da adiao de nmeros reais, a c u x + y = y + x, seria melhor enunciada na forma x y (x + y = y + x) Considere a armaao: O inteiro 13 a soma de dois quadrados perfeic e tos. Sendo o universo de discurso o conjunto dos nmeros inteiros, essa u armao pode ser escrita na forma ca m n (13 = m2 + n2 )

2.7

Negao de proposies quanticadas ca co

Exemplo: Considere o conjunto-universo como sendo U = {1, 2, 3}. Descreva o que signica x(p(x)) ser verdadeira; Descreva o que signica x(p(x)) ser verdadeira; Determine as negaoes das proposies dos itens anteriores. c co Soluo: ca Como x s pode assumir os valores em U , s podemos ter x = 1 ou x = 2 o o ou x = 3. Assim, x(p(x)) ser verdadeira o mesmo que p(1) e p(2) e p(3) e serem todas verdadeiras. Portanto, x(p(x)) p(1) p(2) p(3). Como x U = {1, 2, 3}, temos que x(p(x)) verdadeira o mesmo que e e p(1) ou p(2) ou p(3) ser verdadeira. Portanto, x(p(x)) p(1) p(2) p(3).
16

Nos itens anteriores, vimos que x(p(x)) p(1) p(2) p(3) e que x(p(x)) p(1) p(2) p(3) se o conjunto-universo for U = {1, 2, 3}. Da podemos obter suas negaes: , co (x(p(x))) p(1) p(2) p(3) (x(p(x))) p(1) p(2) p(3) de onde observamos que (x(p(x))) x(p(x)) (x(p(x))) x(p(x)) Negao de uma proposio com ca ca A negaao de proposioes quanticadas inspirada em situaes comuns: c c e co Negar que todo poltico rico equivale a dizer que existe pelo menos e um pol tico que no rico; a e Negar que toda cidade tem um clima quente equivale a dizer que existe pelo menos uma cidade que no tem o clima quente; a Negar que todo nmero real tem um logaritmo decimal equivale a dizer u que existe pelo menos um nmero real que no tem logaritmo decimal. u a Denio: Formalizamos o que foi observado em vrios exemplos de negaes ca a co de proposies com o quanticador universal, denindo: co (x(p(x))) x(p(x)) Negao de uma proposio com ca ca Observe as seguintes proposies, baseadas em situaoes do dia-a-dia: co c Negar que existe um estudante rico equivale a dizer que todo estudante no rico. a e Negar que existe um lugar do serto que tem muita gua equivale a dizer a a que todo lugar do serto no tem muita gua. a a a Negar que existe pelo menos um leo mansinho equivale a dizer que a todo leo no mansinho. a a e Denio: Formalizamos o que foi observado em vrios exemplos de negaes ca a co de proposies com o quanticador existencial, denindo: co (x(p(x))) x(p(x))
17

Negao de proposies quanticadas resumo ca co Uma proposio quanticada com o quanticador universal, por exemplo ca x(p(x)), negada da seguinte forma: e Troca-se o quanticador universal pelo existencial ; Nega-se p(x); Dessa forma, obtm-se x(p(x)) como sendo a negaao. e c Uma proposiao quanticada com o quanticador existencial, por exemplo c x(q(x)), negada da seguinte forma: e Troca-se o quanticador existencial pelo universal ; Nega-se q(x); Dessa forma, obtm-se x(q(x)) como sendo a negaao. e c

2.8

Exerc cios resolvidos


Determine o valor lgico das seguintes proposioes compostas: o c

Exerc cio 1 :

a) Se 2 + 2 = 4, ento 3 + 1 = 8; a b) Se 2 + 2 = 4, ento 3 + 1 = 4; a c) Se 2 + 2 = 3, ento 3 + 1 = 8; a d) Se 2 + 2 = 3, ento 3 + 1 = 4. a Soluo: ca a) Falsa, porque 2 + 2 = 4 verdadeira e 3 + 1 = 8 falsa; e e b) Verdadeira, porque 2 + 2 = 4 verdadeira e 3 + 1 = 4 verdadeira; e e c) Verdadeira, porque 2 + 2 = 3 falsa e 3 + 1 = 8 falsa; e e d) Verdadeira, porque 2 + 2 = 3 falsa e 3 + 1 = 4 verdadeira. e e

Exerc cio 2:

Sendo p e q proposies co

p: Eu estou gripado q: Eu vou fazer a prova nal


18

r: Eu vou querer ser aprovado expresse as proposies co (p q) r p (q r) na linguagem natural. Soluo: ca (p q) r: Se eu estiver gripado ou no zer a prova nal, ento a a no vou querer ser aprovado. a p (q r): Se eu no estiver gripado, ento eu vou fazer a prova nal a a e vou querer ser aprovado.

Exerc cio 3 :

Considere p, q, r, s, t as seguintes proposioes: c

p: Diana estuda q: Diana joga voleibol r: Diana vai passar no vestibular s: Se Diana estuda e no joga voleibol, ento ela vai passar no vestibular a a t: Diana vai passar no vestibular se, e somente se, ela estuda ou joga voleibol Escreva as proposies s e t usando os conectivos lgicos e as proposies p, q co o co e r. Soluo: ca s: (p q) r t: r (p q) Exerc cio 4 : Considere a proposiao Se 4 + 2 = 9, ento o grco de c a a 2 y = x uma parbola. e a a) Qual a sua rec e proca? b) Qual a sua contrapositiva? e c) Incluindo a sentena dada, quais so verdadeiras e quais so falsas? c a a
19

Soluo: ca a) Rec proca: Se o grco de y = x2 uma parbola, ento 4 + 2 = 9. a e a a b) Contrapositiva: Se o grco de y = x2 no uma parbola, ento 4 + 2 = a a e a a 9. c) A sentena dada verdadeira, porque 4 + 2 = 9 falsa e o grco de c e e a 2 y = x uma parbola verdadeira. Logo, a contrapositiva tambm e a e e verdadeira (pois equivalente ` sentena dada) e e a c A rec proca falsa porque o grco de y = x2 uma parbola e a e a e verdadeira e 4 + 2 = 9 falsa. e

Exerc cio 5: a) Sendo p e q proposioes, determine qual a negao de p q. c e ca b) Determine qual a negao de e ca Se vai chover amanh, ento no irei ` praia. a a a a Soluo: ca a) p q equivalente a p q, logo, (p q) equivalente a (p q), ou e e seja, (p q) (p q) que o mesmo que e (p q) (p q) b) A proposiao dada da forma p q onde c e p: Vai chover amanh a q: No irei ` praia. a a Logo, sua negaao p q, ou seja, c e Vai chover amanh e irei ` praia. a a

Exerc cio 6: a) Sendo p e q proposioes, determine qual a negao de p q. c e ca b) Determine qual a negao de e ca (3 + 4 = 7) (4 < 8)
20

Soluo: ca a) Como p q (p q) (q p), p q p q e q p q p, temos que (p q) ((p q) (q p)) ((p q) (q p)) Portanto: (p q) (p q) (q p) b) Usando o item (a), a negao da proposio dada ca ca e (3 + 4 = 7 4 8) (3 + 4 = 7 4 < 8).

Exerc cio 7: Sabendo que p e s so proposioes verdadeiras e que q e r so a c a falsas, determine o valor lgico de: o a) p (r r s) b) (r s) (q (p s)) Soluo: ca a) Sendo r falsa e s verdadeira, temos que r verdadeira; e ( r s ) verdadeira; e
V V

r (r s) falsa; e
F V

Como p verdadeira, temos que p (r r s) falsa. e e


V F

b) Como p e s so verdadeiras e q e r so falsas, temos: a a ( r s ) ( q ( p s ))


F V V V V F F V F

Dessa forma, conclu mos que (r s) (q (p s)) verdadeira. e

21

Exerc cio 8 : Sabendo que (p q r) uma proposio verdadeira, e ca determine o valor lgico de (r p) (q r). o Soluo: ca Sendo (p q r) verdadeira, temos que (p q r) falsa; e Uma proposiao condicional s falsa quando o antecedente for verdadeiro c oe e o consequente for falso. Logo, p q verdadeira e r falsa; e e Se p q verdadeira, ento p e q so verdadeiras; e a a Sendo r falsa e p verdadeira, o bicondicional r p falsa; e Sendo q verdadeira e r falsa, o condicional q r falsa; e Conclu mos assim que (r p) (q r) falsa. e Exerc cio 9: Considere a proposiao (p q) ((r s) t), onde p, q, c r, s, t so proposioes. a c a) A tabela-verdade da proposiao dada tem quantas linhas? c b) Qual o valor lgico da proposiao dada, se p, q e r forem verdadeiras e s e o c t forem falsas? Soluo: ca a) A proposiao dada composta de 5 componentes: p, q, r, s e t. Logo, sua c e tabela-verdade tem 25 = 32 linhas. b) ( p q ) (( r s )
V V V F F V F

t ) verdadeira se p, q e r forem e
F

verdadeiras e s e t forem falsas.

Exerc cio 10 :

Sendo p e q proposies, mostre que co (p (p q)) q

uma contradiao. e c Soluo: ca

22

p V V F F

q p q p (p q) q V V V F F F F V V V F F F V F V

(p (p q)) q F F F F

Como s temos F na ultima coluna da tabela-verdade, temos que se trata de o uma contradiao. c Exerc cio 11 : por uma tautologia. e Soluo: ca Neste caso, podemos construir a tabela-verdade da proposio dada; ca Como temos 3 proposioes componentes, temos 23 = 8 linhas na tabela; c Observamos que a ultima coluna da tabela s tem V e conclu o mos que a proposio dada uma tautologia. ca e Sejam p, q e r proposies quaisqer. Mostre que s denida co (p q) (q r) (p r)

Exerc cio 11: p V V V V F F F F q V V F F V V F F r p q q r (p q) (q r) p r V V V V V F V F F F V F V F V F F V F F V V V V V F V F F V V V V V V F V V V V s V V V V V V V V

Quaisquer que sejam os valores lgicos das componentes p, q e r, a proposiao o c composta s sempre verdadeira; logo, uma tautologia. e e Exerc cio 12 : discurso U . Considere a proposio m n (m + n = 4) no universo de ca

a) Qual o valor lgico da proposio se U = N? e o ca


23

b) Qual o valor lgico da proposio se U = Z? e o ca Soluo: ca a) Quando U = N a proposio dada Para todo nmero natural m, existe ca e u um nmero natural n tal que a soma m + n igual a 4 que falsa. Por u e e exemplo, atribuindo-se a m o valor 10, no existe outro natural n cuja a soma com m seja igual a 4. b) Quando U = Z a proposiao dada Para todo inteiro m, existe um inteiro c e n tal que a soma m + n igual a 4 que verdadeira. Para todo inteiro e e m, basta considerar o inteiro n = 4 m para obtermos m + n = 4. Exerc cio 13: Considerando o universo de discurso como sendo o conjunto dos nmeros reais R, determine o valor lgico das seguintes proposioes: u o c a) x y (x + y = 0) b) y x (x + y = 0) Soluo: ca a) A proposiao dada : Para qualquer nmero real x, existe um nmero c e u u real y tal que a soma x + y igual a 0 que verdadeira. Qualquer que e e seja x R, basta considerar y = x R para termos x + y = 0. b) A proposiao do item (b) : Existe um nmero real y tal que para todo c e u nmero real x temos x + y = 0 falsa. No existe um nmero real y u e a u que possa ser somado com todos os outros nmeros reais e o resultado seja u sempre igual a 0. Exerc cio 14: Seja p(x, y) a sentena aberta x > y e U = R o universo c de discurso. Determine qual o valor lgico da proposio: e o ca y x p(x, y) x y p(x, y) Soluo: ca y x p(x, y) signica que Para todo nmero real y, existe um outro real u x tal que x > y que verdadeiro; e x y p(x, y) signica que Existe um nmero real x tal que para todo real u y temos x > y, ou seja, Existe um nmero real x que maior do que u e todos os outros reais y falsa. e
24

Pelo que mostramos nos itens y x p(x, y) x y p(x, y) falso. e


V F

anteriores,

condicional

Exerc cio 15 : Sendo p(x, y), q(x, y) e r(x, y) trs sentenas abertas com e c variveis livres x e y, qual a negao da seguinte proposiao? a e ca c x y ((p(x, y) q(x, y)) r(x, y)) Soluo: ca (x y ((p(x, y) q(x, y)) r(x, y))) x (y ((p(x, y) q(x, y)) r(x, y))) x y ((p(x, y) q(x, y)) r(x, y))) x y ((p(x, y) q(x, y)) r(x, y))) x y ((p(x, y) q(x, y)) r(x, y))) x y ((p(x, y) q(x, y)) r(x, y)))

Exerc cio 16 : Sendo a e L constantes dadas, determine qual a negaao e c da seguinte proposio: ca x ((0 < |x a| < ) (|f (x) L| < )). Soluo: ca ( x ((0 < |x a| < ) (|f (x) L| < ))) x ((0 < |x a| < ) (|f (x) L| < ))) x ((0 < |x a| < ) (|f (x) L| < ))) x ((0 < |x a| < ) (|f (x) L| < ))) x ((0 < |x a| < ) (|f (x) L| < ))) x ((0 < |x a| < ) (|f (x) L| )))

25

Cap tulo 3 Argumentos e regras de inferncia e


3.1 Argumentos vlidos a

Dadas as proposies p1 ,, p2 , . . . , pn e q chamaremos argumento a um conco dicional da forma p1 p2 p3 pn q


premissas concluso a

As proposioes p1 ,, p2 , . . . , pn so as premissas do argumento e q a concluso. c a e a Argumento vlido a Quando o condicional anterior for uma tautologia, ento o argumento a e denominado vlido. a Em um argumento vlido, a proposio q verdadeira sempre que p1 ,, p2 , a ca e . . . , pn forem todas verdadeiras. Outra notao ca O argumento p1 p2 p3 pn q tambm costuma ser denotado por e p1 p2 p3 ... pn q

26

3.2

Modus Ponens

Sendo p e q proposies quaisquer, vamos mostrar que o argumento co [p (p q)] q vlido. Para isso, constru e a mos sua tabela-verdade e vericamos que s ocorre o V na ultima coluna: p F F V V q p q p (p q) [p (p q)] q F V F V V V F V F F F V V V V V

Esse tipo de argumento ocorre com frequncia e conhecido pelo nome de e e Modus Ponens, expresso em latim que signica Modo de Armar. a

3.3

Exemplos de Modus Ponens

Exemplo 1 Se eu tenho dinheiro, ento irei viajar (p q) a Eu tenho dinheiro (p) Portanto, irei viajar ( q) Exemplo 2 Eu gosto de estudar (p) Se eu gosto de estudar, ento eu tirarei boas notas (p q) a Portanto, eu tirarei boas notas ( q) Exemplo 3 Se x > 3, ento x2 > 9 (p q) a x > 3 (p) Portanto, x2 > 9 ( q)

27

3.4

Modus Tollens

Sendo p e q proposies quaisquer, vamos mostrar que o argumento co [(p q) q] p vlido. Para isso, constru e a mos sua tabela-verdade e vericamos que s ocorre o V na ultima coluna: p F F V V q p q q (p q) q p [(p q) q] p F V V V V V V V F F V V F F V F F V V V F F F V

Esse tipo de argumento tambm ocorre com frequncia e conhecido pelo e e e nome de Modus Tollens, expresso em latim que signica Modo de Negar. a

3.5

Exemplos de Modus Tollens

Exemplo 4 Se eu tenho dinheiro, ento irei viajar (p q) a Eu no irei viajar (q) a Portanto, eu no tenho dinheiro ( p) a Exemplo 5 Eu no tirarei boas notas (q) a Se eu gosto de estudar, ento eu tirarei boas notas (p q) a Portanto, eu no gosto de estudar ( p) a Exemplo 6 Se x > 3, ento x2 > 9 (p q) a x2 9 (q) Portanto, x 3 ( p)

28

3.6

Lei do Silogismo

Um outro argumento vlido que ocorre com frequncia a Lei do Silogismo: a e e [(p q) (q r)] (p r) onde p, q, r so proposioes. Denotando-o por s, sua tabela-verdade : a c e p F F F F V V V V q F F V V F F V V r pq qr pr F V V V V V V V F V F V V V V V F F V F V F V V F V F F V V V V s V V V V V V V V

3.7

Exemplos da Lei do Silogismo

Exemplo 7 Se eu tiver dinheiro, ento vou viajar (p q) a Se vou viajar, ento conhecerei novas cidades (q r) a Portanto, se eu tiver dinheiro, ento conhecerei novas cidades ( p r) a Exemplo 8 Se 80 divis por 16, ento 80 divis por 4 (p q) e vel a e vel Se 80 divis por 4, ento 80 um inteiro par (q r) e vel a e Portanto, se 80 divis por 16, ento 80 um inteiro par ( p r) e vel a e

3.8

Regras diversas

Diversos argumentos vlidos podem ser demonstrados usando proposies p, a co q, r e s. Alguns deles esto citados na tabela abaixo, juntamente com os nomes a pelos quais eles so conhecidos. a Simplicao Conjuntiva: (p q) p ca Amplicao Disjuntiva: p (p q) ca
29

Silogismo Disjuntivo: [(p q) p] q Prova Por Casos: [(p r) (q r)] [(p q) r] Dilema Construtivo: [(p q) (r s) (p r)] (q s)] Dilema Destrutivo: [(p q) (r s) (q s)] (p r)] Todos esses argumentos vlidos so conhecidos como sendo as regras de ina a ferncia e podem ser usadas para vericar se outros argumentos so vlidos ou e a a no. a

3.9

Regras de Inferncia e

Mostrando validades sem usar tabelas-verdade Se o argumento envolver vrias premissas, com vrias proposies compoa a co nentes p, q, r, etc. pode ser muito inconveniente fazer uma tabela-verdade para mostrar a validade do argumento. Nesses casos, mais conveniente usar regras cujas validades foram mostrae das anteriormente (Regras de Inferncia) tais como e p q p (Simplicao Conjuntiva) ca (p q) q p (Modus Tollens) p (p q) q (Modus Ponens), etc. Podemos usar tambm equivalncias lgicas conhecidas como e e o p p (p q) p q p q q p p q p q, etc. Exemplo 9 Verique se o argumento [p (p q) (q r)]
premissas

r
concluso a

vlido, onde p, q e r so proposies. e a a co Soluo Temos os seguintes passos com as devidas justicativas: ca
30

1) p q (premissa) 2) q r (premissa) 3) p r (passos 1 e 2 e a Lei do Silogismo) 4) p (premissa) 5) r (passos 3 e 4 e a regra Modus Ponens) Dessa forma, ca mostrada a validade do argumento. Neste caso, poss e vel mudar a ordem de alguns itens. Exemplo 10 Sendo p, q, r, s, t proposies, mostre que o argumento co [(p r) (r s) (t s) (t u) u] p vlido. (Note que, neste caso, uma tabela-verdade teria 25 = 32 linhas!) e a Soluo ca 1) p r (premissa) 2) r s (premissa) 3) p s (passos 1 e 2 e a Lei do Silogismo) 4) t s (premissa) 5) s t (passo 4 e a comutatividade do conectivo ) 6) s t (passo 5 e a equivalncia s t s t) e 7) p t (passos 3 e 6 e a Lei do Silogismo) 8) t u (premissa) 9) t u (passo 8 e a equivalncia t u t u) e 10) p u (passos 7 e 9 e a Lei do Silogismo) 11) u (premissa) 12) p (passos 10 e 11 e Modus Tollens) Dessa forma, ca mostrado que quando os passos 111 forem verdadeiros, o passo 12 tambm ser verdadeiro, ou seja, que o argumento dado vlido. e a e a

31

3.10

Argumentos com concluso condicional a

Pode-se mostrar (atravs de tabela-verdade) a seguinte equivalncia: e e [p (q r)] [(p q) r] A partir da substituindo p por p1 p2 pn , temos que , (p1 p2 pn ) (q r) [(p1 p2 pn ) q] r de onde podemos concluir o seguinte: um argumento cuja concluso for um a condicional q r equivalente a outro argumento no qual a proposiao q e c e uma das premissas e a concluso a proposiao r. a e c Exemplo 11 (p q r) (s t) equivalente a (p q r s) e
premissas concluso a premissas

t
concluso a

3.11

Exerc cios

Exerc cio 1 Verique se o seguinte argumento vlido: e a Eu vou ao cinema ou vou ` praia. a Eu no vou ` praia. a a Portanto, eu vou ao cinema. Soluo Denotando por p: Eu vou ao cinema e q: Eu vou ` praia, temos ca a que o argumento dado pode ser escrito na forma [(p q) q] p que a Regra de Inferncia conhecida como Silogismo Disjuntivo. Logo, e e e um argumento vlido. Outra opao seria construir sua tabela-verdade para a c vericar a validade do argumento. Exerc cio 2 Verique se o seguinte argumento vlido: e a 100 um inteiro par. e 100 um inteiro e mpar.
32

Portanto, 100 um inteiro par ou e mpar. Soluo Denotando por p: 100 um inteiro par e por q: 100 um inteiro ca e e mpar, temos que o argumento dado (p q) (p q) cuja tabela-verdade e tem somente V na ultima coluna. Logo, o argumento dado vlido. e a p F F V V Exerc cio 3 Verique se o seguinte argumento vlido: e a Se Ratinho o presidente do Brasil, ento ele tem mais de 18 anos. e a Ratinho tem mais de 18 anos. Portanto, Ratinho o presidente do Brasil. e Soluo Denotando por p a proposiao Ratinho o presidente do Brasil ca c e e por q a proposiao Ratinho tem mais de 18 anos, temos que o argumento c dado pode ser escrito na forma [(p q) q] p cuja tabela-verdade no tem somente V na ultima coluna (por exemplo, quando a p F e q V, temos um F na ultima coluna). Logo, o argumento dado no e e a e vlido. a Exerc cio 4 Verique se o seguinte argumento vlido: e a Se 1 + 3 = 7, ento 2 + 7 = 9. a 1 + 3 = 7. Portanto, 2 + 7 = 9. Soluo Denotando por p: 1+3 = 7 e por q: 2+7 = 9, temos que o argumento ca dado pode ser escrito como [(p q) p] q
33

q p q p q (p q) (p q) F F F V V F V V F F V V V V V V

cuja tabela-verdade no tem somente V na ultima coluna (por exemplo, quando a p F e q V, temos um F na ultima coluna). Logo, o argumento dado no e e a e vlido. a Exerc cio 5 Sendo p, q, r proposies, mostre que o seguinte argumento co [((q r) p) (q r)] p no vlido. a e a Soluo Basta tentar encontrar uma atribuio de valor lgico a p, q, r de ca ca o modo que a proposiao completa tenha valor lgico F. Por exemplo, quando p, c o q, r assumem todas o valor F, temos: [(( q r ) p ) ( q r )] p
F F V V F F F F V V F

Exerc cio 6 Demonstrar a validade do argumento: Se Joo Pessoa no ca na Bahia, a a ento Recife no ca em Pernambuco. Mas, Recife ca em Pernambuco. Logo, a a Joo Pessoa ca na Bahia. a Soluo Representando por p e q as proposies Joo Pessoa ca na Bahia ca co a e Recife ca em Pernambuco, respectivamente, o argumento dado ca escrito na forma [(p q) q] p cuja validade pode ser vericada atravs dos e seguintes passos: 1) p q (premissa) 2) q (premissa) 3) p q (equivalente a 1) 4) p q (equivalente a 3 ) 5) q (equivalente a 2 ) 6) p (passos 4 e 5 e Silogismo Disjuntivo)
34

Outra soluo Outra demonstraao da validade do argumento ca c [(p q) q] p est listada a seguir: a 1) p q (premissa) 2) q (premissa ) 3) q p (contrapositiva de 1) 4) p (passos 2 e 3 e Modus Ponens) Observao A validade de um argumento no deve ser confundida com o ca a valor lgico das proposioes que compem o argumento. Um argumento pode o c o ser vlido mesmo sendo composto por proposioes que isoladamente so falsas. a c a Exerc cio 7 Verique que o argumento [(p q) (p r)] q vlido, onde p, q, r so proposioes. e a a c Soluo Temos a seguinte sequncia de proposioes: ca e c 1) p q (premissa) 2) p r (premissa) 3) p (passo 2 e Simplicaao Conjuntiva) c 4) q (passos 3 e 1 e Modus Ponens) Logo, o argumento vlido. e a Exerc cio 8 Considere as proposies p, q, r, s, t, u e o argumento co [(p q r) (r s) (t u) t (s u)] (p q) cuja demonstraao est nos seguintes passos: c a 1) p q r 2) r s
35

3) t u 4) t 5) s u 6) u 7) s 8) r 9) (p q) Apresente uma justicativa para cada um desses passos mostrados. Soluo As justicativas dos passos da demonstraao anterior so: ca c a 1) premissa 2) premissa 3) premissa 4) premissa 5) premissa 6) passos 3 e 4 e Modus Ponens 7) passos 5 e 6 e Silogismo Disjuntivo 8) passos 2 e 7 e Modus Tollens 9) passos 1 e 8 e Modus Tollens Exerc cio 9 Verique a validade do argumento [(p (q r)) (p q) p] r onde p, q, r so proposioes. a c Soluo Temos, sucessivamente, ca 1) p (q r) (premissa) 2) p q (premissa) 3) p (premissa)
36

4) q r (passos 1 e 3 e Modus Ponens) 5) q (passos 2 e 3 e Modus Ponens) 6) r (passos 4 e 5 e Modus Ponens) Logo, o argumento dado vlido. e a Exerc cio 10 Mostre a validade do seguinte argumento: [(u r) ((r s) (p t)) (q (u s)) t] (q p)
premissas concluso a

Soluo Como a concluso do argumento dado um condicional, temos que ca a e ele equivalente a e [(u r) ((r s) (p t)) (q (u s)) t q ]
premissas

p
concluso a

Temos que os seguintes passos so todos verdadeiros (com as devidas justicaa tivas): 1) q (premissa) 2) q (u s) (premissa) 3) u s (passos 1 e 2 e Modus Ponens ) 4) u (passo 3 e a Simplicaao Conjuntiva) c 5) u r (premissa ) 6) r (passos 4 e 5 e Modus Ponens) 7) s (passo 3 e a Simplicaao Conjuntiva ) c 8) r s (passos 6 e 7 e o conectivo ) 9) (r s) (p t) (premissa) 10) p t (passo 8 e 9 e Modus Ponens ) 11) t (premissa ) 12) p (passos 10 e 11 e Silogismo Disjuntivo) Dessa forma, chegamos ` concluso que o argumento dado vlido. a a e a
37

Cap tulo 4 Demonstrao em Matemtica ca a


4.1 Implicao e equivalncia lgicas ca e o

Implicao lgica ca o Dadas proposies p e q, dizemos que p implica logicamente q (em s co mbolos: p q) quando o condicional p q for uma tautologia. Se o argumento p1 p2 pn q for vlido, ento podemos escrever a a p1 p2 pn q. Equivalncia lgica e o Dizemos que p logicamente equivalente a q (em s e mbolos: p q) quando o bicondicional p q for uma tautologia. p q o mesmo que p q e o mesmo que (p q) (q p). e e

4.2

Teorema, lema e corolrio a

Teorema Um teorema uma armaao que pode ser provada. e c Um teorema um argumento vlido que usualmente escrito na forma e a e H1 H2 Hn
hipteses o

C
concluso a

As premissas H1 , . . . , Hn so chamadas hipteses do teorema e a concluso a o a C a tese. e

38

Uma demonstraao de um teorema consiste em uma sequncia de proc e posies verdadeiras que inicia nas hipteses H1 , . . . Hn e termina na conco o cluso C. Na demonstraao, podem ser usadas tautologias e regras de a c inferncia conhecidas. e Lema Um lema uma espcie de pr-teorema. E um tipo particular de e e e teorema sem importncia prpria, usado na demonstraao de outros teoremas. a o c Corolrio Um corolrio uma consequncia direta e imediata de outro teoa a e e rema ou de uma deniao. Tambm um tipo particular de teorema. c e e

4.3

Instncia de um teorema a

Em um teorema (ou proposiao), normalmente encontramos variveis livres c a tanto nas hipteses, quanto na tese. Essas variveis livres representam objeo a tos genricos do universo de discurso do teorema. Quando atribu e mos valores particulares a essas variveis livres, obtemos uma instncia do teorema (ou da a a proposiao). c Exemplo 1 Consideremos o teorema Para o nmero real x temos que u 2 x + 1 > 0 em que a varivel livre x. a e Quando substitu mos x por 3, obtemos uma instncia do teorema: Para a 2 o nmero real 3 temos que 3 + 1 > 0. u Quando substitu mos x por -5, obtemos outra instncia: Para o nmero a u real -5 temos que (5)2 + 1 > 0. Contra-exemplo Se existir uma instncia de uma proposiao na qual ela seja a c falsa, ento essa instncia denominada um contra-exemplo para aquela proa a e posiao. c Exemplo (de um contra-exemplo) Consideremos a proposio Se n um inteiro positivo, ento n2 + n + 41 ca e a um nmero primo. e u Existem vrias instncias dessa proposio na qual ela verdadeira. Por a a ca e 2 exemplo, para n = 2 obtemos que 2 + 2 + 41 um nmero primo. e u Para n = 3, n = 4, n = 5 tambm obtemos outras instncias que so e a a verdadeiras.

39

No entanto, para n = 41 obtemos que 412 + 41 + 41 um nmero primo e u 2 que falsa porque 41 + 41 + 41 divis por 41. Dessa forma, obtemos e e vel um contra-exemplo para a proposiao. c

4.4

Siglas no nal de uma demonstrao ca

E muito comum encontrarmos ao nal de uma demonstraao de um teorema c uma das seguintes siglas: c.q.d. ou q.e.d. c.q.d. signica como quer amos demonstrar q.e.d. signica quod erat demonstrandum que a traduao de como e c quer amos demonstrar para o Latim.

4.5

Tcnicas de demonstrao e ca

Demonstrao direta ca H1 H2 Hn C Iniciando com as hipteses H1 , H2 , . . . , Hn e usando as regras de inferncia, o e tautologias (equivalncias) e outras proposioes vlidas, tentamos chegar ` cone c a a cluso C. a Demonstrao por contradio ca ca H1 H2 Hn C contradio ca Negamos a concluso, juntamos `s outras hipteses e tentamos chegar a uma a a o contradio. ca Demonstrao do contrapositivo ca C (H1 H2 Hn ) Negamos a concluso e, a partir da tentamos chegar ` negao das hipteses. a , a ca o Demonstrao por enumerao de casos Usa o fato de que ca ca H1 H2 Hn C equivalente a e (H1 C) (H2 C) (Hn C)
40

onde cada implicao pode ser mostrada separadamente. ca Demonstrao por induo Usa a regra de inferncia ca ca e [P (1) k (P (k) P (k + 1))] n (P (n)) em que o universo de discurso o conjunto dos nmeros naturais N. e u Princ pio de Induo Finita Uma demonstraao por induo para provar ca c ca que uma proposiao P (n) verdadeira para qualquer nmero natural n consiste c e u em Mostrar que P (1) verdadeira; e Supondo P(k) verdadeira, mostrar que P(k+1) verdadeira. e Exemplo 3 Seja P (n) a proposio 1 + 2 + + n igual a n(n+1) . Usando ca e 2 o princ pio de induo, mostre que P (n) verdadeira para todo n N. ca e Demonstrao ca Para n = 1 temos que P (1) arma que 1 igual a e que ela verdadeira; e
1(1+1) 2

= 1 e vemos

Supondo P (k) verdadeira, vamos investigar P (k + 1): 1 + 2 + + k +(k + 1) = k(k+1) + (k + 1) = k(k+1)+2(k+1) = 2 2


k(k+1)/2

(k+1)(k+2) 2

de onde temos que P (k + 1) verdadeira. e Logo, pelo princ pio de induo, P (n) verdadeira para todo n natural. ca e Observaes co O princ de induao uma propriedade exclusiva dos nmeros naturais, pio c e u ou seja, ele s pode ser aplicado para se demonstrar proposies P (n) que o co tenha uma varivel livre n N. a Se no lugar do passo inicial P (1) for vericado P (n0 ) verdadeira, ento e a a proposiao s poder ser vlida para n n0 . c o a a A demonstrao por induo comparvel a se derrubar uma la de doca ca e a mins colocados de p, um ao lado do outro: para se derrubar toda a la, o e basta se derrubar o primeiro que todos os outros caem.

41

4.6

Teoremas cujas concluses so condicionais o a

Teoremas do tipo H (C1 C2 ) Esse tipo de teorema equivalente a um teorema do tipo e (H C1 ) C2 , ou seja, consideramos H e C1 como hipteses e tentamos chegar em C2 . o Teoremas do tipo H (C1 C2 ) Como C1 C2 equivalente a e (C1 C2 ) (C2 C1 ), temos que esse tipo de teorema equivale a um teorema na forma [H (C1 C2 )] [H (C2 C1 )] e que tambm equivale e a [(H C1 ) C2 ] [(H C2 ) C1 ].

4.7

Demonstrao direta ca

Exemplo 4 Mostre que a soma de trs inteiros consecutivos divis por 3. e e vel Demonstrao ca Devemos mostrar que e vel n, p, q so inteiros consecutivos n + p + q divis por 3. a
hiptese o tese

Sendo n, p, q inteiros consecutivos, temos que p = n + 1 e que q = p + 1. Substituindo-se p = n + 1 em q = p + 1, obtemos q = (n + 1) + 1 = n + 2.


p r

Logo, os inteiros consecutivos so n, n + 1 e n + 2 e sua soma n + (n + a e 1) + (n + 2) = 3n + 3 = 3 (n + 1) que divis por 3, c.q.d. e vel

4.8
T:

Demonstrao por contradio ca ca

A justicativa terica para esse tipo de mtodo est na seguinte tautologia o e a (p q) [(p q) F0 ] onde p e q so proposioes e F0 uma contradiao. Para vericar que essa a c e c proposiao T uma tautologia, basta construir sua tabela-verdade: c e

42

p F F V V

q F0 p q (p q) F0 p q F F F V V V F F V V F F V F F V F F V V

T V V V V

Desse modo, ca mostrado que p q logicamente equivalente a (pq) F0 , e onde F0 uma contradio. e ca Demonstrao por contradio ca ca A demonstraao por contradiao de um teorema consiste em se negar a c c concluso (tese) e vericar que essa negao, juntamente com as hipteses a ca o do teorema, levam a uma situaao absurda, ou seja, a uma contradiao. c c Dessa forma, vericamos que no se pode negar a concluso porque, se a a negarmos, chegamos a um absurdo. Portanto, a concluso deve ser verdaa deira. ca ca e e E por isso que a demonstrao por contradio tambm conhecida pelo nome de reduo a um absurdo. ca Exemplo 5 Mostre que se a soma dos preos de duas mercadorias maior do c e que R$ 10,00, ento pelo menos uma das duas tem preo maior do que R$ 5,00. a c Demonstrao ca Sendo H a proposiao A soma dos preos de duas mercadorias maior c c e do que R$ 10,00 (hiptese) e C a proposiao Pelo menos uma das duas o c tem preo maior do que R$ 5,00 (tese ou concluso), queremos mostrar c a que H C. Negamos a concluso, mantendo a hiptese, e vericamos que H C vai a o levar a uma contradiao (absurdo). c A negaao da concluso As duas mercadorias tm preos menores ou c a e e c iguais a R$ 5,00. Sendo assim, a soma dos seus preos ser menor ou c a igual a R$ 10,00. Com a hiptese, isso uma contradio. Portanto, ca o e ca mostrado que H C, c.q.d.

4.9

Demonstrao pelo contrapositivo ca

Exemplo 6 Mostre que se n2 um inteiro e mpar, ento n a e mpar.


43

Demonstrao Se queremos usar a demonstrao pelo contrapositivo, negamos ca ca a hiptese, negamos a tese, trocamos a hiptese pela tese e mostramos que o o Se n par, ento n2 par e a e Se n par, ento n = 2k para algum inteiro k. Elevando-se ao quadrado temos e a 2 2 que n = (2k) = 4k 2 = 2 (2k 2 ) de onde conclu mos que n2 par, c.q.d. e Observao A demonstrao pelo contrapositivo muito parecida com a deca ca e monstraao por contradiao. c c

4.10

Demonstrao por enumerao de casos ca ca

A justicativa terica para esse tipo de mtodo est na seguinte tautologia: o e a (p q r) [(p r) (q r)] cuja demonstraao consiste em se observar a seguinte sequncia de equivalncias c e e lgicas: o (p q) r (p q) r (p q) r (p r) (q r) (p r) (q r) Assim, para mostrar que p q r, basta mostrar ambas as implicaes co p r e p r. Exemplo 7 Mostre que se n for um inteiro que no mltiplo de 3, ento a a e u a 2 diviso de n por 3 deixa sempre resto 1. a Demonstrao ca Se n no mltiplo de 3, isso signica que a diviso de n por 3 deixa resto a e u a 1 ou resto 2. Se deixar resto 1, ento n = 3k + 1 para algum inteiro k; se a deixar resto 2, ento n = 3k + 2 para algum k. a Devemos, ento, mostrar que para k inteiro: a
caso 1 caso 2

n = 3k + 1 n = 3k + 2 n2 dividido por 3 deixa resto 1


H1 H2 T

44

Para mostrar que (H1 H2 ) T , vamos mostrar separadamente que H1 T (caso 1) e tambm H2 T (caso 2). e No caso 1, temos n = 3k + 1. Da n2 = (3k + 1)2 = 9k 2 + 6k + 1 = , 2 3 (3k + 2k) + 1 que um mltiplo de 3, mais 1. Portanto, neste caso, e u n2 deixa resto 1 ao ser dividido por 3. Fica mostrado assim que H1 T . No caso 2, temos n = 3k + 2 e da temos que n2 = 9k 2 + 12k + 4 = 2 3 (3k + 4k + 1) + 1 que tambm um mltiplo de 3, mais 1. Portanto, e e u 2 n tambm deixa resto 1 ao ser dividido por 3 o que signica que H2 T . e Dessa forma, mostramos que (H1 T ) (H2 T ) que equivale a mostrar que (H1 H2 ) T , c.q.d.

4.11

Exerc cios

Exerc cio 1 Utilizando a tcnica da demonstrao direta, mostre que o produto e ca de dois nmeros u mpares um nmero e u mpar. Demonstrao ca Devemos mostrar que m e n so a mpares mn e mpar
hipteses o tese

Como m e mpar, m = 2k + 1 para algum k inteiro; Como n e mpar, temos tambm que n = 2j + 1 para algum inteiro j; e Calculando-se o produto de m e n, obtemos: mn = (2k + 1)(2j + 1) = 4kj + 2k + 2j + 1 = 2(2kj + k + j ) + 1
inteiro

que um nmero e u mpar, c.q.d. Exerc cio 2 Mostre que se 3n + 2 for um inteiro mpar, ento n tambm a e e mpar. Use a tcnica da demonstraao por contradiao. e c c Demonstrao ca Devemos mostrar que 3n + 2 e mpar n e mpar .
H C

Negamos C e vericamos que H C leva a uma contradiao. c A negaao de C n par, ou seja, n = 2k para algum inteiro k. c e e
45

Temos que 3n + 2 = 3(2k) + 2 = 6k + 2 = 2 (3k + 1) um mltiplo de e u 2, ou seja, par. Mas, isso entra em contradio com a hiptese de que e ca o o nmero 3n + 2 u e mpar. Assim, mostramos que H C, c.q.d. Exerc cio 3 Usando a tcnica da demonstrao por contradio, mostre que e ca ca o conjunto vazio est contido em qualquer outro conjunto. a Demonstrao ca Devemos mostrar que A um conjunto A e
hiptese H o tese T

Negamos a tese (concluso) e vericamos que H T leva a um absurdo. a A negaao da concluso A. c a e Sendo A e conjuntos, A signica que contm algum elemento que e no pertence ao conjunto A. Mas, isso um absurdo porque no contm a e a e elemento algum. Fica mostrado assim que H T , c.q.d. Exerc cio 4 O nmero real x = log10 2 denominado logaritmo decimal de 2 u e x e o unico nmero positivo tal que 10 = 2. Mostre que o logaritmo decimal e u de 2 irracional. e Demonstrao ca Devemos mostrar que x = log10 2 x irracional. e
hiptese H o concluso C a

Para isso, negamos a concluso e vericamos onde H C leva. a A negaao de C x no irracional, ou seja, x racional. Assim, c e a e e existem inteiros positivos p e q tais que x = p/q. Como 10x = 2, temos que 10p/q = 2. Elevando-se ambos os membro ` a p/q q q p q q-sima potncia, temos (10 ) = 2 , isto , 10 = 2 . e e e Obtemos dessa forma uma contradio: uma potncia de 10 (que sempre ca e termina em 0) sendo igual a uma potncia de 2. e Exerc cio 5 Se m e n so nmeros inteiros, ento mostre que m2 n2 par a u a e se, e somente se, m n par. e
46

Demonstrao Mostrar que m2 n2 par mn par equivale a mostrar ca e e 2 2 que m n par m n par e m n par m2 n2 par. e e e e Para mostrar que m2 n2 par m n par vamos usar a tcnica e e e da demonstraao pelo contrapositivo: supondo m n c mpar, temos que m e n no podem ser ambos pares ou ambos a mpares, eles tem que ser um par e o outro mpar. Da a soma m + n , e mpar. Multiplicando-se os dois nmeros u mpares m+n e mn obtemos que m2 n2 e mpar. Dessa forma 2 2 mn mpar m n mpar que equivalente a m2 n2 par m n e par. Para mostrar que m n par m2 n2 par, vamos usar uma dee e monstrao direta. Antes de tudo, observe que m2 n2 = (m + n)(m n). ca Supondo m n par, basta multiplicar pelo inteiro m + n para obter que m2 n2 par. e Portanto, m2 n2 par m n par, c.q.d. e e Exerc cio 6 Usando o Princ pio de Induo Finita, mostre que para todo n N temos: ca 1 1 1 n 1 + + + + = 12 23 34 n (n + 1) n + 1 Demonstrao ca Para n = 1 temos
1 12

1 1+1

o que verdadeiro. e

Supondo a frmula verdadeira para n = k, veriquemos a frmula para o o 1 1 1 1 k 1 n = k + 1: + + + + (k+1)(k+2) = k+1 + (k+1)(k+2) = 12 23 k (k + 1)
k k+1

k(k+2)+1 (k+1)(k+2)

(k+1)2 (k+1)(k+2)

k+1 k+2 .

Logo a frmula vale para n = k + 1 e, pelo Princ o pio de Induo, temos ca que vlida (verdadeira) para todo n natural positivo. e a Exerc cio 7 Mostre que o nmero de diagonais de um pol u gono convexo com n(n3) n lados, n 3, igual a dn = 2 . e Demonstrao Vamos mostrar usando a tcnica da demonstraao por induao ca e c c que essa proposio vlida para todo n 3. ca e a

47

Para n = 3 temos que um pol gono convexo com 3 lados um tringulo e a e, consequentemente, ele tem zero diagonal. Esse nmero de diagonais u e exatamente o que a frmula para dn fornece quando fazemos n = 3. Logo, o a frmula vlida para esse valor inicial n = 3. (Note que no faria sentido o e a a iniciar com um n < 3 porque no existem polgonos convexos com 1 ou 2 a lados.) Suponhamos que dn seja verdadeira para n = k, ou seja, que um pol gono k(k3) convexo com k lados tenha 2 diagonais. Vamos agora investigar o que ocorre um pol gono com k + 1 lados. Quando entre dois vrtices A e B de um pol e gono for acrescentado mais um vrtice C, ento, se o pol e a gono tinha k lados, ele passar a ter k + 1 lados com a esse acrscimo do vrtice. e e

O pol gono com k lados tinha os vrtices A e B e mais k 2 outros vrtices. e e As diagonais do pol gono com k + 1 lados so: a as k(k 3)/2 diagonais do pol gono com k lados; mais o segmento AB que passou a ser diagonal; mais as k 2 diagonais que contm o vrtice C. e e Portanto, o total de diagonais no pol gono com k + 1 lados de e k(k 3) +1 + (k 2) = 2
dk k(k3)+2+2(k2) 2

k 2 k2 2

(k + 1)(k 2) 2
dk+1

que exatamente o valor que obtemos quando substitu e mos n = k+1 na frmula o do dn . Logo, por induo, a frmula vlida para todo n 3. ca o e a Observao Apesar da tcnica da demonstraao por induao s poder ser utica e c c o lizada quando a proposiao P (n) tiver uma varivel livre que pertena ao conc a c junto dos nmeros naturais N, ela util nas mais diversas reas da Matemtica: u e a a Geometria, Algebra, Aritmtica, Anlise, etc. e a
48

Exerc cio 8 Usando a demonstraao por induo, mostre que n3 +2n divis c ca e vel por 3 para qualquer n inteiro positivo. Demonstrao Seja P (n) a proposio n3 + 2n divisvel por 3. ca ca e Para n = 1 obtemos que 13 + 2 1 = 3 divis e vel por 3; logo, P (1) e verdadeira. Suponhamos que P (k) seja verdadeira e vamos investigar P (k + 1). Para isso, substitu mos n por k + 1 e obtemos (k + 1)3 + 2(k + 1) que equie 3 2 3 2 valente a (k + 3k + 3k + 1) + (2k + 2) = k + 3k + 2k + 3k + 3 =
mltiplo de 3 u mltiplo de 3 u

e u e (k 3 + 2k ) + 3(k 2 + k + 1) que a soma de dois mltiplos de 3, logo tambm


P (k) inteiro

um mltiplo de 3. e u Pelo Princ de Induao, temos que P (n) verdadeira para todo n inteiro pio c e positivo.

49

Apndice A e Leituras adicionais


A.1 O inverso do clculo da tabela-verdade a

Dadas n proposioes p1 , p2 , . . . , pn e uma tabela com 2n linhas com sequncias c e de V e F que correspondem a atribuies de valores das sequncias pi , queremos co e descobrir uma proposio P , composta de p1 , p2 , . . . , pn ligadas por conectivos ca lgicos, de tal forma que a tabela-verdade de P seja formada pelos 2n linhas de o V e F dados. Por exemplo, qual a proposio P , composta de p, q e r, cuja tabela-verdade e ca est mostrada abaixo? a p V V V V F F F F q V V F F V V F F r V F V F V F V F P V F V F F F V V

Para descobrir qual a proposiao P basta seguir o seguinte roteiro: e c 1) Procuramos todas as linhas da tabela que terminam em V . Se todas as linhas terminarem em F , ento basta considerar P como sendo qualquer a contradiao envolvendo p1 , p2 , . . . , como por exemplo, p1 p1 ; c 2) Para cada linha terminada em V , consideramos uma proposiao (q1 q2 c q3 qn ) onde qi igual a pi se o valor de pi for V (ou seja se a i-sima e e coluna da linha for V ) e qi igual a pi se o valor de pi for F ; e 3) Conectamos todas as proposioes obtidas no item anterior por e obtemos c ` vezes poss fazer simplicaoes em P , a proposio P desejada. As ca e vel c como se fossem operaoes algbricas. c e
50

Exemplo: Descobrir a proposio x na tabela-verdade abaixo (ou seja, esca crever x como combinao de p e q) ca p V F V F q x V F V V F F F V

Soluo: As linhas que aparecem V em x so (F, V, V ) e (F, F, V ). Associaca a mos a essas linhas as seguintes proposioes: c (F, V, V) (p q) (F, F, V) (p q) Conclu mos, ento, que x (p q) (p q). a e ` vezes possivel simplicar usando regras conhecidas. Por exemplo, temos As e que x equivalente a p (q q) e, como (q q) tautologia, temos que x e e pode ser reduzida simplesmente a p. Exemplo: Determine qual a proposio P da tabela-verdade abaixo: e ca p V V V V F F F F q V V F F V V F F r V F V F V F V F P V F V F F F V V

Soluo: As linhas em que P vale V so (V, V, V, V ), (V, F, V, V ), (F, F, V, V ) ca a e (F, F, F, V ). Logo, a proposiao P procurada dada por (p q r) (p q r) (p c e q r) (p q r). Alguma simplicao poss ca e vel. Por exemplo, pode-se mostrar que a P encontrada equivalente a [(p r) (q q)] [(p q) (r r)] e que equivale e a (p r) (p q).

51

A.2

Formas conjuntiva e disjuntiva normais

Graas `s propriedades p q p q (p q) temos que sempre c a e poss substituir a ocorrncia de um conectivo pelos conectivos e . vel e De modo anlogo, como p q p q (p q) temos que a e poss substituir as ocorrncias de por uma combinao de e . vel e ca Como p q equivalente a pq e p q equivalente a (p q)(q p), e e ou seja, equivalente a (p q) (q p) , poss e e vel substituir qualquer ocorrncia de ou por e ou por e . e A forma conjuntiva normal de uma proposiao a proposio equivalente na c e ca qual aparecem apenas e . De modo semelhante, a forma disjuntiva normal a proposio equivalente na qual aparecem apenas e . e ca Exemplo: Determine a forma conjuntiva normal da proposiao (p q) r. c Soluo: ca Temos a seguinte sequncia de equivalncias lgicas: e e o

(p q) r (p q) r ((p q)) r (p q) r ((p q) r). Portanto, a forma conjuntiva normal da proposiao dada ((p q) r). c e Exemplo: (r s). Soluo: ca Determine a forma disjuntiva normal da proposiao (p q) c Temos a seguinte sequncia de equivalncias lgicas: e e o

(p q) (r s) (p q) (r s) ((p q)) (r s) Portanto, a forma normal disjuntiva da proposiao dada c e ((p q)) (r s) ou seja, (p q) (r s)

52

Apndice B e Exerc cios Suplementares

1) Qual o valor lgico das seguintes proposioes? e o c a) Se 1 + 2 = 3, ento 15 um nmero primo. a e u b) Se 15 um nmero primo, ento 1 + 2 = 3. e u a c) 15 um nmero primo se, e somente se, 1 + 2 = 3. e u d) 15 um nmero primo se, e somente se, 1 + 2 = 7. e u 2) Escreva a rec proca e a contrapositiva das sentenas: c a) Se eu vou estudar bastante, ento no serei reprovado. a a 3 b) Se x tal que < x < 2 , ento cos(x) < 0 e sen(x) < 0. e a 3) Escreva a negaao de cada uma das seguintes sentenas: c c a e a) 11 no racional ou 1 + 1 = 6. b) Existe um x real tal que 1 < |x + 1| < 7. c) Existe um aluno que muito competente ou muito esforado e c 2 2 d) Para todo ngulo temos que cos + sen = 1. a 4) Sendo p e q proposioes tais que (p q) e (p q) so ambas verdadeiras, c a determine o valor lgico de ((p q) (q p)). o 5) Sendo p, q e r proposioes, construa a tabela-verdade de c (p q) (p r) (q r) r e decida se essa proposio uma tautologia. ca e
53

1) Qual o valor lgico das seguintes proposioes? e o c a) Se 1 + 2 = 3, ento 15 um nmero primo; a e u b) Se 15 um nmero primo, ento 1 + 2 = 3; e u a c) 15 um nmero primo se, e somente se, 1 + 2 = 3; e u d) 15 um nmero primo se, e somente se, 1 + 2 = 7. e u Soluo: ca a) Falsa: e u 1 + 2 = 3 15 um nmero primo
V F F

b) Verdadeira: 15 um nmero primo 1 + 2 = 3 e u


F V V

c) Falsa: 15 um nmero primo 1 + 2 = 3 e u


F F V

d) Verdadeira: 15 um nmero primo 1 + 2 = 7 e u


F V F

54

2) Escreva a rec proca e a contrapositiva das sentenas: c a) Se eu vou estudar bastante, ento no serei reprovado. a a b) Se x tal que < x < e Soluo: ca a) Rec proca: Se no serei reprovado, ento eu vou estudar bastante. a a Contrapositiva: Se serei reprovado, ento eu no vou estudar basa a tante. b) Rec proca: Se cos(x) < 0 e sen(x) < 0, ento x tal que < x < a e
3 2 . 3 2 ,

ento cos(x) < 0 e sen(x) < 0. a

Contrapositiva: Se cos(x) 0 ou sen(x) 0, ento x tal que x a e 3 ou x 2 . 3) Escreva a negaao de cada uma das seguintes sentenas: c c a) 11 no racional ou 1 + 1 = 6. a e b) Existe um x real tal que 1 < |x + 1| < 7. c) Existe um aluno que muito competente ou muito esforado e c d) Para todo ngulo temos que cos2 + sen2 = 1. a Soluo: ca a) 11 racional e 1 + 1 = 6. e b) Para todo x real temos que |x + 1| 1 ou |x + 1| 7. c) Todo aluno no muito competente e no muito esforado a e a e c d) Existe um ngulo tal que cos2 + sen2 = 1. a 4) Sendo p e q proposioes tais que (p q) e (p q) so ambas verdadeiras, c a determine o valor lgico de ((p q) (q p)). o Soluo: ca Como p q V, temos que p e q so ambas verdadeiras ou ambas falsas; e a Como tambm p q V, temos que p e q so ambas verdadeiras; e e a

55

Sendo p e q verdadeiras, temos: (( p q ) ( q p ))


F F F V V F F

Conclu mos assim que a proposiao dada falsa. c e 5) Sendo p, q e r proposioes, construa a tabela-verdade de c (p q) (p r) (q r) r e decida se essa proposio uma tautologia. ca e Soluo: ca A proposio dada possui 3 componentes: p, q e r; logo, precisaremos de ca 3 2 = 8 linhas na sua tabela-verdade. Para cada atribuiao de valores lgicos a p, q e r, calculamos p q, p r, c o q r, (p q) (p r) (q r) e (p q) (p r) (q r) r e vamos preenchendo cada coluna da tabela a seguir. A coluna com o valor de (p q) (p r) (q r) foi omitida por falta de espao. c r p q p r q r (p q) (p r) (q r) r V V V V V F V F F V V V V V V F V F V V V V V V V F V V F V V F V V V F F V V V

p V V V V F F F F

q V V F F V V F F

Observando que na ultima coluna dessa tabela s tem V, conclu o mos que a proposiao c (p q) (p r) (q r) r uma tautologia. e

56

1) Sendo p e q proposies, mostre que o argumento co [(p q) q] p vlido. e a 2) Verique se o seguinte argumento vlido: e a Se eu estudar ou se eu for esperto, ento vou passar por mdia a e em Clculo I. Se eu passar por mdia em Clculo I, vou ter umas boas a e a frias. Portanto, se eu no tiver umas boas frias, no sou esperto. e a e a 3) Usando demonstraao direta, mostre que a soma de dois nmeros c u mpares fornece como resultado um nmero par. u 4) Usando a tcnica da demonstraao por contradiao, mostre que se n for um e c c 2 inteiro tal que n no mltiplo de 3, ento n tambm no mltiplo de 3. a e u a e a e u 5) Considere a proposio: ca Se m e n so inteiros quadrados perfeitos, ento m + n tambm a a e um quadrado perfeito. e Decida se essa proposiao um teorema. Se for, faa sua demonstrao. c e c ca 6) Usando o Princ pio de Induo, mostre que para todo n inteiro positivo ca temos que 1 + 3 + 5 + + (2n 1) = n2

57

1) Sendo p e q proposies, mostre que o argumento co [(p q) q] p vlido. e a Soluo: ca Temos a seguinte sequncia de proposies verdadeiras, com as e co respectivas justicativas: 1) p q (premissa) 2) q (premissa) 3) (q) (2, dupla negaao) c 4) p (1, 3 e Modus Tollens) Isso mostra que o argumento vlido. e a Outra soluo: ca 1) p q (premissa) 2) q (premissa) 3) (q) p (contrapositiva de 1) 4) q p (3, dupla negao) ca 5) p (2, 4 e Modus Ponens) Outra soluo: Construir a tabela-verdade da proposiao dada e observar que ca c na ultima coluna s aparece V. o p V V F F q p q p q (p q) q [(p q) q] p V F F F F V F F V V F V V V F V V V F V V V F V
58

2) Verique se o seguinte argumento vlido: e a Se eu estudar ou se eu for esperto, ento vou passar por mdia a e em Clculo I. Se eu passar por mdia em Clculo I, vou ter umas boas a e a frias. Portanto, se eu no tiver umas boas frias, no sou esperto. e a e a Soluo: ca Consideremos as seguintes proposies: co

p: eu estudo q: eu sou esperto r: vou passar por mdia em Clculo I e a s: vou ter umas boas frias e Devemos investigar a validade do seguinte argumento [((p q) r) (r s)] (s q) que equivalente a e [((p q) r) (r s) s] q 1) (p q) r (premissa) 2) r s (premissa) 3) s (premissa) 4) (p q) s (1, 2 e a Lei do Silogismo) 5) s (p q) (contrapositiva de 4) 6) s (p q) (5, negaao de uma disjuno) c ca 7) p q (3, 6 e Modus Ponens) 8) q (7, Simplicaao Conjuntiva) c Dessa forma, ca mostrado que o argumento vlido. e a 3) Usando demonstraao direta, mostre que a soma de dois nmeros c u mpares fornece como resultado um nmero par. u Soluo: ca Devemos mostrar que m e n so a mpares m + n par. e
59

Como m e mpar, m = 2k + 1 para algum inteiro k; Pelo mesmo motivo, n = 2j + 1 para algum inteiro j; Somando-se m e n, obtemos: m + n = (2k + 1) + (2j + 1) = 2k + 2j + 2 = 2 (k + j + 1); Como k + j + 1 um inteiro, temos que m + n um mltiplo de 2, ou seja, e e u par, c.q.d. e 4) Usando a tcnica da demonstraao por contradiao, mostre que se n for um e c c 2 inteiro tal que n no mltiplo de 3, ento n tambm no mltiplo de 3. a e u a e a e u Soluo: ca Devemos mostrar que

n inteiro tal que n2 no mltiplo de 3 n no mltiplo de 3 a e u a e u


hiptese o concluso (tese) a

Negando-se a concluso, obtemos: n mltiplo de 3. a e u Da temos que n = 3k para algum inteiro k. , Elevando-se ao quadrado: n2 = (3k)2 = 9k 2 = 3 (3k 2 ) de onde obtemos que n2 um mltiplo de 3. e u Mas isso entra em contradiao com a hiptese que arma que n2 no c o a e mltiplo de 3. u Dessa forma, ca demonstrada a proposio dada, c.q.d. ca 5) Considere a proposio: ca Se m e n so inteiros quadrados perfeitos, ento m + n tambm a a e um quadrado perfeito. e Decida se essa proposiao um teorema. Se for, faa sua demonstrao. c e c ca Soluo: Para mostrar que uma proposio no um teorema, basta apreca ca a e sentar um contra-exemplo. Tentando, por exemplo, os quadrados perfeitos m = 4 = 22 e n = 9 = 32 , temos m + n = 4 + 9 = 13 que no um quadrado a e perfeito. Obtivemos um contra-exemplo e, por causa disso, conclu mos que a proposiao no um teorema. c a e 6) Usando o Princ pio de Induo, mostre que para todo n inteiro positivo ca temos que 1 + 3 + 5 + + (2n 1) = n2
60

Soluo: ca Para n = 1 a proposiao se reduz a 1 = 12 e verdadeira; c e Suponhamos a proposiao verdadeira para n = k, ou seja, suponhamos que c 1 + 3 + + (2k 1) = k 2 ; Vamos investigar o que acontece quando n = k + 1: 1 + 3 + + (2k 1) +(2k +1) = (k +1)2 que equivalente a k 2 +2k +1 = e
k2

(k + 1) , isto , (k + 1)2 = (k + 1)2 que verdadeira. e e Logo, pelo Princ pio de Induo, a proposiao verdadeira para todo n ca c e inteiro positivo.

61

Referncias Bibliogrcas e a
[1] Antnio Sales da Silva, Licenciatura em Matemtica a Distncia Livro 2 o a a Argumentao em Matemtica, Editora Universitria da UFPB, 2008. ca a a [2] Benedito Castrucci, Introduo ` Lgica Matemtica, Grupo de Estudos ca a o a do Ensino da Matemtica, Srie Professor N. 4, Editora Nobel, 1986. a e [3] Edgard de Alencar Filho, Iniciao ` Lgica Matemtica, Editora Nobel, ca a o a 1975. [4] Kenneth H. Rosen, Discrete Mathematics and Its Applications, 6th. edition, China Machine Press, WCBMcGraw-Hill, 2007. [5] Ralph P. Grimaldi, Discrete and Combinatorial Mathematics An Applied Introduction, 5th. edition, PearsonAddison Wesley, 2004.

62