1

- Departamento de Matemtica Aplicada (GMA) a

Matemtica Bsica I a a Notas de aula - verso 3 a 2011-1

Marlene Dieguez Fernandez

Observaes preliminares co

A disciplina Matemtica Bsica I oferecida no mesmo per a a e odo da disciplina Clculo I-A. e o contedo de a u Matemtica Bsica I pr-requisito Clculo I-A. a a e e a As listas de exerc cios para os alunos praticarem o contedo de cada tpico sero distribu u o a das separadamente.

UFF/GMA - Matemtica Bsica I - Parte I - Noes de Lgica a a co o

Notas de aula - Marlene - 2011-1 2

Sumrio a
I Noes de lgica co o 3
3 3

1 Introduo ca 2 Armao ou sentena lgica ca c o 3 O operador lgico no e os conectivos lgicos o a o 3.1 O operador no . . . . . . . . . . . . . . . . . . . a 3.2 O conectivo e . . . . . . . . . . . . . . . . . . . . 3.3 O conectivo ou . . . . . . . . . . . . . . . . . . . . . 3.4 Negaes de e e de ou : Leis de De Morgan . . . co 3.5 Propriedades distributivas com e ou . . . . . 4 Quanticadores 4.1 O quanticador universal: . . . . . 4.2 O quanticador existencial: . . . . . 4.3 As negaoes de e de . . . . . . c 4.3.1 A negao do quanticador universal . ca 4.3.2 A negao do quanticador existencial ca 5 Os 5.1 5.2 5.3 5.4 5.5 conectivos lgicos o = e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e . . . . . . . . . . ou . . . . . . . . . . . . . . . . . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

4 4 5 5 6 6 7 7 7 8 8 8 9 9 11 11 11 12 13 14

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

O conectivo = (implicao) . . . . . . . . . . . . . . . . ca Quando p = q falso? ou seja, quando p = q verdadeiro? e e A diferena entre os conectivos p = q e p q . . . . . . . c O conectivo = (a rec proca de =) . . . . . . . . . . . O conectivo (equivalncia) . . . . . . . . . . . . . . . e

6 Denio: o que ? ca e 7 Exemplos e contra-exemplos: quando usar?

Parte I

Noes de lgica co o
1 Introduo ca
Porque estudar noes de lgica? co o Se um problema foi resolvido, claro que a lgica foi usada para resolv-lo, mas sem o conhecimento de vrias e o e a informaes sobre o problema, de nada adiantaria simplesmente usar a lgica, no poder co o a amos ter encontrado a soluo. Na verdade, a lgica funciona fazendo a ligao ou conexo entre vrias informaes para poder concluir ca o ca a a co novas informaes. co O que pretendemos nesse in de curso formalizar alguns procedimentos lgicos ou itens da lgica, de forma cio e o o que se criarmos o hbito de aplicar esses procedimentos lgicos, com certeza no chegaremos a concluses erradas, a o a o to comuns. Alm disso, tendo o claro conhecimento de quais so esses procedimentos lgicos, sempre poderemos a e a o recorrer a eles para encontrar a soluo ou as poss ca veis soluoes ou concluir que um problema no tem soluo, c a ca bem como compreender ou demonstrar teoremas. A principal aplicao da lgica que vamos ver nesse curso ser na resoluo de equaes e inequaes. ca o a ca co co Conjuntos numricos e Faremos referncia aos seguintes conjuntos numricos: e e Conjunto dos nmeros naturais, denotado por N = {1, 2, 3, } u Provavelmente voc est surpreso com o fato do n mero zero no fazer parte desse conjunto. Aqui cabe uma e a u a observao de carater geral: uma das mais importantes caracter ca sticas da Matemtica ser uma linguagem a e universal, por isso, usamos tantos s mbolos e conceitos. Se, na internet voc usar um buscador para encontrar e < nmeros naturais > car surpreso com a quantidade de sites de discusso se o zero ou no um nmero u a a e a u natural. Na verdade, estamos diante de um conceito matemtico no universal, considerar ou no o zero um a a a nmero natural tem consequncias, precisamos fazer uma escolha ou conveno. E claro que o nmero 0 u e ca u e importante, por isso est inclu nos inteiros. Quando 0 convencionado natural, sempre que uma armao a do e ca no for verdadeira para n = 0 ser preciso dizer que n natural, n > 0. Quando um texto (livro, notas de a a e aula, artigo, etc) zer referncia aos nmeros naturais, procure em algum lugar no texto qual a conveno e u ca usada para os naturais, em geral ca no in cio, como estamos fazendo aqui. Conjunto dos nmeros inteiros, denotado por Z = { , 3, 2, 1, 0, 1, 2, }. u Conjunto dos nmeros racionais, denotado por Q u Conjunto dos nmeros reais, denotado por R u Conjunto dos nmeros complexos, denotado por C u Por enquanto, vamos admitir que se apresentamos um nmero, sabemos dizer se esse nmero pertence ou no u u a pertence a cada um desses conjuntos. Exemplos, 1. 10 N; 10 Z; 10 Q; 10 R; 10 C

2. 10 N; 10 Z; 10 Q; 10 R; 10 C Z; 2 Q; 2 R; 2 C 5 5 5 2 Z; 2 Q; 2 R; 2C 4. 2 N; 5. 2 N; 2 Z; 2 Q; 2 R; 2 C 3.
2 5 2 5

N;

Armao ou sentena lgica ca c o

Uma armao pode ser considerada uma armao ou sentena lgica quando for poss atribuir um e s um ca ca c o vel o dos dois valores a essa armao: verdadeiro ou falso. ca Observaes co

UFF/GMA - Matemtica Bsica I - Parte I - Noes de Lgica a a co o

Notas de aula - Marlene - 2011-1 4

Algumas armaes no so consideradas armaes lgicas. Por exemplo, ma uma fruta sem graa co a a co o ca e c tem muita subjetividade, uns vo responder que verdadeira, outros vo responder que falsa por causa do a e a e sem graa. Logo essa no uma armao lgica. c a e ca o Se a armao fosse apenas ma uma fruta, todos iriam responder que verdadeira. Logo essa uma ca ca e e e armao lgica. ca o Se a armao fosse ma um legume, todos iriam responder que falso. Logo essa uma armao ca ca e e e ca lgica. o Uma armao lgica pode ter um termo varivel ou indeterminado, por exemplo x um nmero real . ca o a e u Dependendo do valor que se atribua ` letra x podemos responder se a sentena verdadeira ou falsa. Neste a c e caso, diz-se que uma armao aberta ou sentena lgica aberta. e ca c o Caso no exista termo varivel ou indeterminado na armao, dizemos que uma armao fechada ou a a ca e ca sentena lgica fechada. Por exemplo, o nmero 10.000 uma potncia de 10 uma armao lgica c o u e e e ca o fechada e verdadeira. o nmero 300 divis por 10.000 uma armao lgica fechada e falsa. e u e vel e ca o e E bastante comum usar a palavra proposio em vez de armao. Assim, podemos substituir a palavra ca ca armao pela palavra proposio em tudo que foi dito acima. Ora vamos usar uma, ora outra. ca ca Quando pedido vericar que uma armao ou proposio verdadeira, j est dito que verdadeira, e ca ca e a a e s para provar que verdadeira. Por exemplo, Verique que 2437 um nmero primo , j est dizendo e o e e u a a que verdadeiro que o nmero 2437 primo, est sendo pedido para provar que um nmero primo. e u e a e u Quando pedido vericar se uma armao ou proposio verdadeira, no est dito que verdadeira, e ca ca e a a e a resposta pode ser uma das duas, verdadeira ou falsa. Verique se 4693 um nmero primo , no est e u a a armando que verdaderio, nem que falso, preciso descobrir, a resposta poder ser verdadeira ou falsa. e e e a Muitas armaes so da forma: suponha que x possui a propriedade P. Neste caso a unica possibilidade co a x possuir a propriedade P ser verdadeiro, isto , no lugar de x, s podemos atribuir um valor que possui a e e o propriedade P . Por exemplo, suponha x um nmero inteiro maior que 10 . u Por simplicidade, podemos atribuir letras a uma armao, por exemplo ca maior que 10 .

p: suponha x um nmero inteiro u

Uma armao pode ser uma armaao ou sentena simples, isto , com uma unica sentena, bem como ca c c e c pode ser uma armao ou sentena composta, isto , formada por vrias armaes, todas ligadas ca c e a co entre si por termos com signicado lgico bem denido, chamados conectivos lgicos. Veremos alguns desses o o conectivos com detalhes nas prximas sees. o co

3
3.1

O operador lgico o
O operador

no a

e os conectivos lgicos o

ou

no a

A toda armao ca Observao: ca

corresponde uma armao ca

no p a

e denotamos

p .

- Quando p verdadeira, e - Quando p falsa, e Exemplos

p falsa. e

p verdadeira. e

1. p : 2 um nmero inteiro e u 2. q : 10 mltiplo de 3 e u

(p verdadeira) e

no p : 2 no um nmero inteiro a a e u

(no p falsa) a e

(q falsa) e

no q : 10 no mltiplo de 3 a a e u

(no q verdadeira) a e

38 3. r : 10 est entre 4 e 3 (r verdadeira) a e

r : 38 no est entre 4 e 3 ( r falsa) a e 10 a p : x no um nmero maior do que zero a e u

4. p : x um n mero maior do que zero e u

5. p : x soluo da equao 2x 1 = 4 e ca ca no p : x no soluo da equao 2x 1 = 4 a a e ca ca {5} (a igualdade entre os conjuntos verdadeira) e 6. p : {x R; 2x 1 = 4} = 2 {5} no p : {x R; 2x 1 = 4} = 2 a (a desigualdade entre os conjuntos falsa) e

UFF/GMA - Matemtica Bsica I - Parte I - Noes de Lgica a a co o

Notas de aula - Marlene - 2011-1 5

3.2

O conectivo

Dadas duas armaes co

q , podemos formar uma armao composta ca

e q

tal que

p e q tem como unica possibilidade de ser verdadeira quando

p verdadeira e e

verdadeira. e

Uma outra notao usual p q . Usaremos indistintamente uma das duas: ca e Exemplos 1. p : 20 par (V) e 2. p : 20 par (V) e 3. p : 20 e mpar (F) 4. p : 20 e mpar (F) 5. p : se x par V e e 6. p : x A (V) q : 20 maior do que 10 (V) e q : 20 menor do que 10 (F) e q : 20 maior do que 10 (V) e q : 20 menor do que 10 (F) e q : se x maior do que 10 V e e q: xB q: xB (V) (V) q : x B q: xB (F) (V)

ou

p q .

p e q: 20 par e maior do que 10 (V) e p e q: 20 par e menor do que 10 (F) e p e q: 20 e mpar e maior do que 10 (F) p q: 20 par e menor do que 10 (F) e p e q: x par e maior do que 10 V e e pq : xA e xB (V) (F) (F) (F)

7. p : x A (V) 8. p : x A (V)

p q : x A e x B p q : x A e x B

p : x A (F)

9. p : x A (V) p : x A (F) q : x B (V) q : x B (F)

p q : x A e x B

Obs. As armaes dos exemplos 1 a 4 so fechadas e as dos exemplos 5 a 9 so abertas. co a a

3.3

O conectivo ou

Dadas duas armaes p e q , podemos formar uma armao composta p ou q tal que co ca p ou q verdadeira quando pelo menos uma das armaes p ou q verdadeira. e co e

Uma outra notao usual p q . Usaremos indistintamente uma das duas: p ou q ou p q . ca e Observao: ca O ou lgico tem o mesmo signicado do e/ou da nossa linguagem corrente. o Na linguagem corrente, apenas ou muitas vezes signica um ou outro, no os dois simultneamente. Por a a exemplo, o documento dever ser assinado pelo diretor ou pelo sub-diretor . Em lgica e em matemtica, este a o a ou dito ou exclusivo e sempre que for usado, ser explicitado que o ou exclusivo. e a e Se no estiver explicitado, subentende-se que o ou no exclusivo denido acima. a e a Exemplos 1. p : 20 par (V) e 2. p : 20 e mpar (F) 3. p : 20 par (V) e 4. p : 20 e mpar (F) q : 20 negativo (F) e q : 20 positivo (V) e q : 20 positivo (V) e q : 20 negativo (F) e

p q : 20 par ou negativo (V) e

p q : 20 e mpar ou positivo (V) p q : 20 par ou positivo (V) e

p q : 20 e mpar ou negativo (F)

5. p : o carro avanou sinal (V) q : o carro derrapou (V) c 6. p : o carro avanou sinal (V) q : o carro derrapou (F) c 7. p : o carro avanou sinal (F) q : o carro derrapou (V) c 8. p : o carro avanou sinal (F) q : o carro derrapou (F) c

p q : o carro avanou sinal ou derrapou (V) c p q : o carro avanou sinal ou derrapou (V) c p q : o carro avanou sinal ou derrapou (V) c p q : o carro avanou sinal ou derrapou (F) c

UFF/GMA - Matemtica Bsica I - Parte I - Noes de Lgica a a co o

Notas de aula - Marlene - 2011-1 6

3.4

Negaes de e e de ou : Leis de De Morgan co

Dadas as armaes p e q, so vlidas as seguintes leis: co a a (I) (p e q) tem o mesmo signicado de ( p ou q)

(II) (p ou q) tem o mesmo signicado de

( p e q)

Para vericar (I), basta construir as quatro possiblidades para p e q e vericar que em qualquer dos casos os resultados que aparecem na 6a. e 7a. coluna abaixo so iguais. a p V V F F q V F V F p F F V V q F V F V (p e q) (p e q) ( p V F F V F V F V ou q) F V V V

Para vericar (II), basta construir as quatro possiblidades para p e q e vericar que em qualquer dos casos os resultados que aparecem na 6a. e 7a. coluna abaixo so iguais. a p V V F F q V F V F p F F V V q F V F V (p ou q) (p ou q) ( p V F V F V F F V e q) F F F V

Exemplos 1. (p e q) : x par e positivo e 2. (p ou q) : n m ltiplo de 2 ou de 5 e u 3. (p e q) : 36 mltiplo de 3 e de 2 (V) e u 4. (p e q) : 32 mltiplo de 2 e de 5 (F) e u 5. (p e q) : 3 A e 4 A 6. (p ou q) : 8 B ou 10 B (p e q) : x no par ou x no positivo a e a e (p ou q) : n no mltiplo de 2 e no mltiplo de 5 a e u a e u (p e q) : 36 no mltiplo de 3 ou no mltiplo de 2 (F) a e u a e u (p e q) : 32 no mltiplo de 2 ou no mltiplo de 5 (V) a e u a e u (p e q) : 3 A ou 4 A (p ou q) : 8 B e 10 B

3.5

Propriedades distributivas com

ou

Dadas as armaes p, q e r, so vlidas as seguintes propriedades: co a a (I) p e (q ou r) = (p e q) ou (p e r) (Nesse caso, pense em (Nesse caso, pense em

como e em

ou como +)

(II) p ou (q e r) = (p ou q) e (p ou r)

ou como e em

como +)

Para vericar que a propriedade (I) verdadeira, basta construir a tabela com todas as possibilidades de p, q e e r e vericar que o resultado dos dois lados da igualdade o mesmo em qualquer caso, como descrito a seguir. e (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 (q ou r) V V V F V V V F (p e q) (p e r) (p e (q ou r)) ((p e q) ou (p e r)) V V V V V F V V F V V V F F F F F F F F F F F F F F F F F F F F

Exerc cio: verique que a propriedade (II) vlida. e a

UFF/GMA - Matemtica Bsica I - Parte I - Noes de Lgica a a co o

Notas de aula - Marlene - 2011-1 7

4
4.1

Quanticadores
O quanticador universal:

Quando queremos nos referir a todos os elementos de um conjunto A, dizemos: para todo x A, usamos o s mbolo x A. para qualquer x A, para qualquer que seja x A.

Outras formas de escrever, com mesmo signicado: Exemplos 1. x 0

x; x R e x 0 x A, x par. e

2. Considere A = conjunto dos mltiplos de 10. Podemos vericar que: u

4.2

O quanticador existencial:

Quando queremos nos referir a alguns dos elementos de um conjunto A, dizemos: para algum x A, ou existe x A , usamos o s mbolo x A.

Obs. existe quer dizer existe pelo menos um . Exemplos de armaes verdadeiras: co 1. x R tal que x > 3. Neste caso existe uma innidade de valores de x R, mas no so todos. a a
1 2. x Q tal que 5x = 1. Neste caso existe apenas um valor de x Q, x = 5 .

3. x2 = 9

escrevendo de outra forma, x R; x2 = 9. Neste caso existem dois valores de x R, so: x = + 9 = +3 ou x = 9 = 3. a podemos armar que x R; x2 = a.

para algum x R, ou,

4. Dada uma constante a R; a 0,

No caso a = 0 existe um valor de x R que x = 0 e No caso a > 0, existem dois valores de x R, so: a Exemplos de armaes falsas: co 1. n N tal que 2n < 1. 2. x R tal que x2 < 0.

x = + a ou x = a.

Lembre que estamos consideramos N = {1, 2, 3, 4, . . .}

Observao: a seguir temos vrias formas alternativas de escrever armaes, todas com mesmo signicado. ca a co A propriedade P vlida para algum x A. e a A propriedade P vlida para pelo menos um x A. e a Para algum x A, x possui a propriedade P. Para pelo menos um x A, x possui a propriedade P. Existe x A tal que x possui a propriedade P Existe pelo menos um x A; x possui a propriedade P. Existe algum x A; x possui a propriedade P. x A; x possui a propriedade P. Por exemplo, quando A = N e a proprieddade P 10 < x < 15, podemos escrever: e ( tal que

pode ser substitu por do

).

10 < x < 15 vlida para algum x N. e a

UFF/GMA - Matemtica Bsica I - Parte I - Noes de Lgica a a co o 10 < x < 15 vlida para pelo menos um x N. e a Para algum x N, 10 < x < 15. Para pelo menos um x N, Existe x N tal que 10 < x < 15.

Notas de aula - Marlene - 2011-1 8

10 < x < 15 10 < x < 15.

( tal que

pode ser substitu por do

).

Existe pelo menos um x N;

Existe algum x N; 10 < x < 15. x N; 10 < x < 15.

4.3
4.3.1

As negaes de co

e de

A negao do quanticador universal ca

Dada a armao p : x; ca a negao de p ca e

x possui a propriedade P x possui a propriedade P

p : nem todo x tal que e

Mas, outra forma de negar p usando o quanticador existencial: e p : x; Exemplos: 1. p : x2 0 x R 2. p : x 1 x R (V) (F) x2 = a2 x =a
2

x no possui a propriedade P a

p : x R; x2 < 0 p : x R; x < 1 admite soluo real ca

2

(F) (V)

3. p : a constante real,

(V) (F)

p : a constante real: 4.3.2

no admite soluo real a ca

A negao do quanticador existencial ca

Dada a armao q : x A; ca a negao de P ca e Mas a negao de ca q : x A; Exemplos q

x possui a propriedade P

q : x A; x possui a propriedade P tambm pode ser feita usando-se o quanticador universal: e

x no possui a propriedade P a

1. p : Existe algum planeta que possui seres vivos (V). p : Qualquer planeta no possui seres vivos (F). a 2. p : x R; x2 < 0 (F) x = 10 para algum x Z 3. p :

Justicativa: o planeta Terra possui seres vivos. Justicativa: o planeta Terra possui seres vivos.

(V)

p : x R, x2 0 (V) p: x = 10, x Z

(F)

UFF/GMA - Matemtica Bsica I - Parte I - Noes de Lgica a a co o

Notas de aula - Marlene - 2011-1 9

5
5.1

Os conectivos lgicos o
O conectivo =

(implicao) ca

Dadas duas armaes (ou proposies) co co

p e

q verdadeira quando e q tambm uma armao verdadeira e e ca

temos que a armao (ou proposio) p = q ca ca sempre que p uma armao verdadeira e ca ento a

Em outras palavras, estamos supondo que so dadas duas armaes, p e q e supomos tambm que p a co e e verdadeira. Neste caso, quando p verdadeira, o que acontece com q? verdadeira ou falsa? Se de alguma forma e e conseguirmos concluir que q s pode ser verdadeira, dizemos que p = q. o Observaes co Esse de alguma forma conseguimos concluir que verdadeira , podemos citar que algum j conseguiu e e a provar a concluso ou que a concluso foi provada em algum lugar ou temos que provar a concluso. Existem a a a vrios mtodos de prova, mais adiante veremos alguns. a e H vrias formas alternativas de escrever a armao ou proposio a a ca ca p = signicado, algumas esto listadas a seguir. Sugesto: leia antes o exemplo 1. a a Se p p p uma armao verdadeira e ca implica em implica q q ento a q q , todas com mesmo

uma armao verdadeira. e ca

Se p ento q. a (da vem a palavra implicao) ca

p verdadeira uma condio suciente para q verdadeira. e ca p condio suciente para q. e ca Se p verdadeira, garante-se que q verdadeira. e e Se q verdadeira ento p verdadeira. e a e Essa precisamos vericar que de fato tem o mesmo signicado. Vejamos, primeiro estamos admitindo que q verdadeira, isto q falsa. Mas p s tem uma das duas possibilidades, verdadeira ou e e e o falsa. Se p for verdadeira, como admitimos que p = q, temos que q verdadeira. Como assim? e q no pode ser verdadeira e falsa, logo p no pode ser verdadeira, p s pode ser falsa, isto , p a a o e e verdadeira, como quer amos vericar. Se Se Se q falsa e q falsa e ento a p falsa. (idem anterior) e q verdadeira = p verdadeira. e e = p falsa. e

q ser verdadeira uma condio necessria para p ser verdadeira. e ca a A condio q precisa ser verdadeira, porque se q fosse falsa, ento p seria falsa tambm, como vimos em ca a e pargrafo anterior. a q uma condio necessria para p. e ca a Uma condio necessria para p ser verdadeira q ser verdadeira. ca a e Uma condio necessria para p q. ca a e O conectivo lgico o Ver exemplo 2. ATENCAO. Em nenhum lugar admitimos como primeira condio p falsa, simplesmente porque a armao ca e ca p = q s garante o que acontece quando p verdadeira, omissa quando p falsa. Isso signica que quando o e e e p falsa e s sabemos que p = q, nada podemos concluir sobre q, isto , tanto q pode ser verdadeira quanto e o e q pode ser falsa. Ver exemplo 3. = transitivo, ou seja, se p = q e e q = r ento p = r. a

UFF/GMA - Matemtica Bsica I - Parte I - Noes de Lgica a a co o

Notas de aula - Marlene - 2011-1 10

Exemplos 1. A = conjunto das infraes de trnsito num pa ideal. co a s B = conjunto das penalidades de trnsito num pa ideal. a s Obs. pa ideal aquele onde de fato a lei aplicada. s e e Uma das infraes invadir sinal que signica desobedecer sinal vermelho. co e Uma das penalidades ser multado. e Uma das leis : invadir sinal ser penalizado com multa e perder sete pontos na carteira de habilitao. e a a ca Dessa lei, podemos concluir que p: invadir sinal (V) = q: recebe multa (V)

Podemos escrever tambm em uma das formas listadas a seguir, com mesmo signicado. e invadir sinal = receber multa Se p: invadir sinal (V) ento q: recebe multa (V). a Se invadir sinal ento recebe multa. a p: invadir sinal (V) implica em q: receber multa (V) invadir sinal implica receber multa p: invadir sinal (V) uma condio suciente para q: receber multa (V). e ca invadir sinal condio suciente para receber multa. e ca Se q : no recebe multa (V) ento p : no invadiu sinal (V). a a a Vejamos, primeiro estamos admitindo q : no receber multa (V). Para p resta uma das duas a possibilidades, p : invadiu sinal (V) ou p : no invadiu sinal (V). a Vamos escolher a primeira, p : invadiu sinal (V). Neste caso, p: invadiu sinal (V) = q: recebe multa (V). Como assim? q : no recebe multa (V) e q : recebe multa (V) no podem ser verdadeiras a a simultaneamente. Logo s resta a outra possibilidade, p : no invadiu sinal (V). o a Se no recebe multa ento no invadiu sinal. a a a Uma condio necessria para p: ter invadido sinal q: ter recebido multa (V) ca a e q: receber multa (V) uma condio necessria para p: ter invadido sinal (V). e ca a receber multa uma condio necessria para ter invadido sinal. e ca a = q : x par. e

2. p : x mltiplo de 10 e u

Podemos armar que a implicao verdadeira. Acreditamos que voc saiba porqu. Se no sabe, aqui est ca e e e a a uma prova. x mltiplo 10 = x mltiplo de 2 e de 5 = x mltiplo de 2 = x par. e u e u e u e Podemos escrever tambm em uma das formas listadas a seguir, com mesmo signicado. e Se x mltiplo 10 ento x par. e u a e x ser mltiplo de 10 condio suciente para x ser par. u e ca x no par = x no m ltiplo de 10. a e a e u x ser nmero par condio necessria para x ser mltiplo de 10. u e ca a u

3. No exemplo 2 anterior, se x for igual a 25, a armao p falsa e a armao q falsa. ca e ca e se x for igual a 22, a armao p falsa e a armao q verdadeira. ca e ca e Este exemplo serve para evidenciar que no estamos armando nada quando p falsa, isto , a armao a e e ca p = q s garante que q ser verdadeira sempre que p for verdadeira, no garante nada sobre q quando p for o a a falsa.

UFF/GMA - Matemtica Bsica I - Parte I - Noes de Lgica a a co o

Notas de aula - Marlene - 2011-1 11

5.2

Quando p = q falso? e

ou seja,

quando p = q verdadeiro? e

No caso

p verdadeira

q falsa.

Exemplos: 1. 3 primo = 7 divisor de 37 e e FALSA. e e 7 divisor de 37 FALSA. e e

Justicativa: 3 primo VERDADEIRA e e

2. Quando as armaes p e q so sentenas abertas, a implicao ser falsa se apresentarmos um caso ou co a c ca a exemplo em que p seja verdadeira e q seja falsa. a R; a < 1 = a2 < 1 FALSA, e isto , e e
e

a R; a < 1 = a2 < 1. a2 = (2)2 = 4 < 1 FALSA. e

p q

Justicativa: a = 2 < 1 VERDADEIRA e

5.3

A diferena entre os conectivos c

p = q

Aqui cabe um comentrio sobre o conectivo p q tambm usado na lgica. a e o p q falso no caso em que p verdadeiro e q falso, nos outros casos verdadeiro. e e e e Observe que os outros casos em que p q verdadeiro so: e a (i) p verdadeiro e q verdadeiro; ou (ii) p falso e q verdadeiro; ou (iii) p falso e q falso. e e e e e e Logo a diferena entre os conectivos p = q e p q se d apenas no caso verdadeiro, pois no conectivo c a p = q s interessa o caso em que p verdadeiro. o e Usaremos apenas o conectivo p = q.

5.4

O conectivo

(a rec proca de =)

Dadas duas armaes (ou proposies) co co

p e

q verdadeira quando q = p verdadeira. e e

temos que a armao (ou proposio) p = q ca ca

Em outras palavras, estamos supondo que so dadas duas armaes, p e q e supomos tambm que q a co e e verdadeira. Neste caso, quando q verdadeira, o que acontece com p ? verdadeira ou falsa? Se de alguma forma e e conseguirmos concluir que p s pode ser verdadeira, dizemos que p = q. o Observaes co H vrias formas alternativas de escrever a armao ou proposio a a ca ca p = q , todas com mesmo signicado, algumas esto listadas a seguir. Para a maioria basta fazer uma troca de ordem de p e q na a observao anloga de p = q. ca a Se p q q q uma armao verdadeira e ca q ento a p uma armao verdadeira. e ca

Se q ento p. a implicado por e implica em implica p p (da vem a palavra rec proca)

q verdadeira uma condio suciente para p verdadeira. e ca q condio suciente para p. e ca Se q verdadeira, garante-se que p verdadeira. e e Se Se p verdadeira e p : falsa e ento a ento a q verdadeira. e q falsa. e

p ser verdadeira uma condio necessria para q ser verdadeira. e ca a A condio p precisa ser verdadeira, porque se p fosse falsa, ento q seria falsa tambm, como vimos em ca a e pargrafo anterior. a p uma condio necessria para q. e ca a Uma condio necessria para q ser verdadeira p ser verdadeira. ca a e Uma condio necessria para q ca a p. e

UFF/GMA - Matemtica Bsica I - Parte I - Noes de Lgica a a co o

Notas de aula - Marlene - 2011-1 12

ATENCAO. Em nenhum lugar admitimos como primeira condio q falsa, simplesmente porque a armao ca e ca p = q s garante o que acontece quando q verdadeira, omissa quando q falsa. Isso signica que quando o e e e q falsa e s sabemos que p = q, nada podemos concluir sobre p, isto , tanto p pode ser verdadeira quanto e o e p pode ser falsa. Exemplo x R; x2 < 4 = x R; 0 x < 2. Queremos provar que a proposio verdadeira. ca e Vamos usar aqui uma propriedade de ordem dos nmeros reais que ser vista com detalhes mais adiante. u a Considere a, b, c, constantes reais. Vale a seguinte propriedade : a < b e c > 0 = ac < bc. Em palavras, a desigualdade no se altera quando multiplica-se os dois lados por um nmero positivo. a u Admitimos x R; 0 x < 2 (isto , supomos verdadeira a armao). e ca 0 x < 2 = x < 2 e (x = 0 ou x > 0). Caso x = 0 temos que x2 = 0 < 4 verdadeiro. e Caso x > 0 e x < 2, podemos multiplicar os dois lados por x, obtendo: x x < 2 x. Mas x > 0 e x < 2, podemos multiplicar os dois lados por 2, obtendo 2 x < 2 2 = 4. Logo x2 = x x < 2 x e 2 x < 2 2 = 4 = x2 < 4.

cqd

A ultima implicao justicada por uma das propriedades de ordem dos nmeros reais (as propriedades sero ca e u a estudadas mais adiante), descrita a seguir. Propriedade transitiva de ordem dos reais : Sejam a, b, c reais. a<b e b<c = a < c. Apenas por curiosidade, observamos que a rec proca de x R; x2 < 4 = x R; 0 x < 2. no a e verdadeira, isto , e x R; x2 < 4 = x R; 0 x < 2 FALSA. e Justicativa: Para x = 1 : x2 = 1 < 4 VERDADEIRA. Para x = 1 : 0 < x = 1 < 2 FALSA. e e Logo a rec proca FALSA. e

5.5

O conectivo

(equivalncia) e

Dadas duas armaes (ou proposies) co co

p e

q verdadeira quando e

temos que a armao (ou proposio) p q ca ca p = q e p = q

so verdadeiras, isto , quando a implicao e a sua rec a e ca proca so verdadeiras. a p q , todas com mesmo

H vrias formas alternativas de escrever a armao ou proposio a a ca ca signicado, algumas esto listadas a seguir. a p uma armao verdadeira e ca p se e s se q. o p p equivalente a e equivale a q q (da vem a palavra equivalncia) e se e somente se q

uma armao verdadeira. e ca

p verdadeira uma condio necessria e suciente para q verdadeira. e ca a q verdadeira uma condio necessria e suciente para p verdadeira. e ca a p condio necessria e suciente para q. e ca a q condio necessria e suciente para p. e ca a p verdadeira e p : falsa e se e somente se q falsa. e q verdadeira. e q verdadeira. e

se e somente

p verdadeira e

UFF/GMA - Matemtica Bsica I - Parte I - Noes de Lgica a a co o p : falsa e Exemplos: 1. x R e x2 = x x = 0 ou x = 1.

Notas de aula - Marlene - 2011-1 13

q falsa. e

Primeiro vamos provar que a implicao verdadeira, isto , provar (=): ca e e Novamente vamos usar propriedades dos reais que sero vistas com detalhes mais adiante. a x2 = x = x2 + (x) = x + (x) = 0 = x(x 1) = 0 = x = 0 ou x 1 = 0 = x = 0 ou x = 1. Em cada implicao foi usada uma ou mais propriedades dos reais, admitindo-se todas as variveis ou consca a tantes nmeros reais. Por exemplo, na primeira foi usada: a = b = a + c = b + c tomando a = x2 , b = x, c = u x. Na mesma implicao, foi usada a propriedade de elemento simtrico x + (x) = 0. Fica com exerc ca e cio a citao das propriedades usadas nas demais implicaes. ca co cqd. Agora vamos provar que a rec proca da implicao verdadeira, isto , provar (=): ca e e Novamente temos que usar propriedades dos reais. x = 0 e 0 R = x2 = 02 = 0 e x R = x2 = x = 0 e 0 = x R. x = 1 e 1 R = x2 = 12 = 1 e x R = x2 = x = 1 e 1 = x R. 2. Suponha x R. E verdade que x2 > 4 x < 2 ou x > 2 ? cqd.

A resposta sim, porque? Para responder vamos usar algumas propriedades de ordem dos reais que sero e a vistas com detalhes mais adiante. x2 > 4 x2 4 > 0 Logo (usamos a propriedade: para a, b, c reais verdade que a < b a + c < b + c). e x2 4 = (x 2)(x + 2). Podemos aplicar a propriedade de produtos notveis a x2 > 4 (x 2)(x + 2) > 0. (a < 0 e b < 0), em palavras, o ou os dois so negativos. Logo a x > 2 x>2 ou cqd x < 2 x < 2 Agora vamos usar outra propriedade: para a, b reais verdade que: ab > 0 (a > 0 e b > 0) ou e produto de dois n meros reais positivo se e s se os dois so positivos u e o a x>2 e x2>0 e x+2>0 ou ou (x 2)(x + 2) > 0 x<2 e x2<0 e x+2<0

Denio: o que ? ca e

Quando estamos falando ou escrevendo alguma palavra ou conceito e sabemos que possivelmente quem est nos a ouvindo ou lendo no sabe o signicado claro e preciso dessa palavra ou conceito, preciso denir o que essa a e palavra ou conceito representa, caso contrrio, ningum vai saber do que estamos falando ou escrevendo. a e Algumas formas usuais de denir palavras ou conceitos esto listadas a seguir. a Denio 1 - Um XX aquilo que possui as propriedades P1 , P2 , e P3 . ca e Denio 2 - Um ZZ chamado de Y Y Y Y quando ZZ satisfaz uma das condies: C1 ou C2 . ca e co Denio 3 - Um ZZ chamado de Y Y Y Y se ZZ satisfaz uma das condies C1 ou C2 . ca e co A real observao que queremos fazer : ca e ca por trs de qualquer denio (isto , implicitamente) sempre existe uma equivalncia, mesmo que a denio a ca e e no esteja escrita na forma de equivalncia. a e As denies 1, 2 e 3 anteriores devem ser entendidas como: co Denio 1 - E um XX XX possui as propriedades P1 , P2 , e P3 . ca Denio 2 - Um ZZ chamado de Y Y Y Y ZZ satisfaz uma das condies: C1 ou C2 . ca e co Denio 3 - Um ZZ chamado de Y Y Y Y ZZ satisfaz uma das condies C1 ou C2 . ca e co

UFF/GMA - Matemtica Bsica I - Parte I - Noes de Lgica a a co o

Notas de aula - Marlene - 2011-1 14

Exemplos 1. Denio (nmero par) ca u Um nmero inteiro n um nmero par se k Z; n = 2k. u e u Apesar de no estar escrito se e s se, isto signica: a o Um nmero inteiro n um nmero par k Z; n = 2k. u e u 2. Denio (nmero ca u mpar) Um nmero inteiro n um nmero u e u mpar se k Z; n = 2k + 1. Isto signica: Um nmero inteiro n um nmero u e u mpar k Z; n = 2k + 1.

Exemplos e contra-exemplos: quando usar?

J vimos que quando queremos vericar que uma armao verdadeira preciso provar que verdadeira. Agora, a ca e e e queremos saber: exemplos provam que uma armao verdadeira? ca e A resposta : e depende!!!

se for poss vel testar que a armao verdadeira em todos os exemplos admiss ca e veis para essa armao ca ento teremos provado que verdadeira em qualquer caso. a e se testarmos se a armao verdadeira apenas em alguns dos exemplos, mas no em todos os exemplos ca e a admiss veis para essa armao, no estamos provando que a armao verdadeira porque ela poderia ser ca a ca e falsa nos casos que no foram testados. a Agora, queremos saber: exemplos provam que uma armao falsa? ca e A resposta : e sim!!!

se testarmos a armao em um unico exemplo, e a resposta for falsa, ento podemos armar imediatamente ca a que a armao falsa porque para ser verdadeira teria que ser verdadeira em todos os exemplos admiss ca e veis. Um exemplo em que a armao falsa chamado de contra-exemplo. ca e e Exemplos e contra-exemplos: 1. Todo m ltiplo de 10 par. u e (outra forma dessa armao: m mltiplo de 10 = m par) ca e u e A armao verdadeira para x = 10, x = 20, x = 30. No provei. E imposs esgotar todos os exemplos. ca e a vel Ento temos que provar, sem ser atravs de exemplos. a e J provamos essa armao no exemplo 2 da seo 2.4.1. Agora vamos ver outra prova, diferente daquela. a ca ca Para provar, primeiro, vamos lembrar a denio de mltiplo: ca u u Denio (mltiplo) ca Um nmero inteiro m mltiplo de um nmero inteiro n quando existe um inteiro q tal que m = qn. u e u u Agora, vamos supor que m um mltiplo de 10. Pela denio de mltiplo, e u ca u q Z; m = q 10. Mas, sabemos que 10 = 2 5 e tambm podemos aplicar as propriedades comutativa e e associativa dos nmeros inteiros, u q Z; m = q 25 = 2(q 5). Como o produto de dois inteiros um inteiro (propriedade de fechamento e dos inteiros), temos que q 5 = k, onde k inteiro. Logo, e k Z; m = 2k = m par e (aqui usamos a denio de par) ca cqd 2. x R; (x2 1)(x2 + x) = 0 = |x| = 1 ou |x| = 0. Queremos provar que a armao verdadeira. Neste caso, resolvendo a equao, poss encontrar todos ca e ca e vel os exemplos admiss veis de x R; (x2 1)(x2 + x) = 0. Vejamos, (x2 1)(x2 + x) = 0 x2 1 = 0 ou x2 + x = 0 (x 1)(x + 1) = 0 x 1 = 0 ou x(x + 1) = 0. ou x = 0 ou x+1=0 ou x + 1 = 0

UFF/GMA - Matemtica Bsica I - Parte I - Noes de Lgica a a co o

Notas de aula - Marlene - 2011-1 15

x = 1 ou x = 1 ou x = 0 (uma das possibilidades pde ser eliminada porque estava repetida) o Vamos testar em todos exemplos admiss veis. Para testar, vamos ter que usar mdulo ou valor absoluto de um nmero real, colocamos aqui a denio de o u ca mdulo, em Pr-Clculo as propriedades do mdulo sero estudadas com detalhes. o e a o a Denio (mdulo ou valor absoluto) ca o O mdulo ou valor absoluto de um nmero real x denotado por |x| e denido por |x| = o u e para x = 1, |x| = |1| = 1 = |x| = 1 = |x| = 1 ou |x| = 0 ou |x| = 0 { x se x se x0 x<0

(armao verdadeira) ca (armao verdadeira) ca (armao verdadeira) ca

ou para ou para

x = 1, |x| = | 1| = (1) = 1 = |x| = 1 = |x| = 1 ou |x| = 0 x = 0, |x| = |0| = 0 = |x| = 0 = |x| = 1

Concluso: a armao verdadeira para todos os exemplos admiss a ca e veis, logo a armao verdadeira. ca e 3. x R, x2 = x Testando a armao em alguns exempos admiss ca veis, 2 = 2 = x = 1, temos que x 1 1 = 1 = x (armao verdadeira) ca x = 2, temos que x2 = 22 = 4 = 2 = x (armao verdadeira) ca ( ) 2 3 = 3 = x (armao verdadeira) ca x = 3, temos que x2 = A armao verdadeira nesses exemplos, mas esses no so todos os exemplos admiss ca e a a veis. Queremos provar que essa armao falsa. ca e Contra-exemplo: (1)2 = 1 = 1. x2 = x quando x = 1 ou, Como 1 = 1, ca claro que de outra forma, a armao ca x2 = x, quando x = 1, falsa. e x = 1, temos que x2 = Ou seja, a armao x R, ca x2 = x falsa. e x2 = x.

Dizemos que x = 1 um contra-exemplo para a armao x R, e ca