ANLISE MATEMTICA I

(com Laboratrios)

Curso: EB

1 Parte Lgica

DMAT

Noes bsicas de Lgica

Consideremos uma linguagem, com certos smbolos. Chamamos expresso a qualquer sequncia de smbolos; uma expresso com significado pode ser expresso sem significado designar um objecto Uma expresso com significado pode traduzir uma afirmao

Termo ou designao uma expresso com significado que designa um objecto. Exemplo: 1. Em portugus, Ana e gato so termos ou designaes; Setbal uma cidade uma afirmao. 2. Na linguagem dos reais, 0 e 3 2 5 so termos ou designaes; 3 5  2 uma afirmao.

Ana Matos - AMI EB (mod. 26 Set 2012)

Lgica - 2

Na Lgica consideramos apenas afirmaes sobre as quais se possa decidir se so verdadeiras ou falsas - a que chamamos proposies. O valor lgico de uma proposio verdade se a proposio for verdadeira denota-se por V ou 1 falso se a proposio for falsa denota-se por F ou 0

Toda a proposio tem um, e um s, dos valores V ou F. Duas proposies dizem-se equivalentes quando tm o mesmo valor lgico.

Ana Matos - AMI EB (mod. 26 Set 2012)

Lgica - 3

Clculo Proposicional
Muitas afirmaes que fazemos so obtidas a partir de outras afirmaes por meio de certas operaes, como o caso de: 1. 3 no um nmero par; 2. 10 mltiplo de 3 e  um nmero irracional; 3. ln e  1 ou 2!  2; 4. se eu sou um ser humano, ento sou mortal; 5. vou praia se e s se estiver bom tempo. De igual modo, as operaes lgicas permitem obter novas proposies a partir de outras, de modo que, se soubermos o valor lgico das proposies de que foi obtida, sabemos o valor lgico da nova proposio (independentemente do seu significado). Estas operaes lgicas so: negao, conjuno, disjuno, implicao e equivalncia, associadas aos smbolos , , , , 

chamados conectivos lgicos. No Clculo Proposicional estudam-se estas operaes e as suas propriedades.

Ana Matos - AMI EB (mod. 26 Set 2012)

Lgica - 4

A tabela de verdade de uma operao lgica (ou de uma proposio) d-nos o valor de verdade da nova proposio em funo do valor de verdade das proposies de que foi obtida. Sejam p e q proposies:

a negao de p representa-se por p e l-se no p.

p verdadeira se e s se p falsa p p V F F V

A sua tabela de verdade

a conjuno de p e q representa-se por p q e l-se p e q.

p q verdadeira caso p e q sejam ambas verdadeiras e falsa se pelo menos uma delas for falsa. p q pq V V V F F V F F V F F F

A sua tabela de verdade

Ana Matos - AMI EB (mod. 26 Set 2012)

Lgica - 5

a disjuno de p e q representa-se por p q e l-se p ou q. p q verdadeira se pelo menos uma das proposies iniciais for verdadeira e falsa se ambas forem falsas. A sua tabela de verdade p q pq V V V F F V F F V V V F

a implicao de p por q representa-se por p  q e l-se p implica q ou se p ento q. p o antecedente e q o consequente p uma condio suficiente para q q uma condio necessria para p. O nico caso em que a implicao falsa quando o antecedente verdadeiro e o consequente falso. A sua tabela de verdade p q pq V V V F F V F F V F V V

Ana Matos - AMI EB (mod. 26 Set 2012)

Lgica - 6

Se o antecedente da implicao for falso, a implicao verdadeira, qualquer que seja o consequente.

a equivalncia entre p e q representa-se por p  q e l-se p equivale a q ou p se e s se q. p  q verdadeira quando p e q tm o mesmo valor lgico e falsa caso contrrio.

A sua tabela de verdade

p q pq V V V F F V F F V F F V

Usam-se parntesis para indicar a ordem pela qual se realizam as operaes lgicas, sobrepondo-se seguinte conveno de prioridade das operaes:

primeiro a negao; depois a conjuno e disjuno; por ltimo a implicao e a equivalncia.

Certos parntesis, embora dispensveis, devem ser mantidos pois tornam a leitura mais clara.

Ana Matos - AMI EB (mod. 26 Set 2012)

Lgica - 7

Nota: Podem ser definidas outras operaes lgicas. Por exemplo, a disjuno exclusiva, cuja tabela de verdade q p q p V V V F F V F F F V V F

l-se ou exclusivo. O smbolo

Ana Matos - AMI EB (mod. 26 Set 2012)

Lgica - 8

Algumas propriedades das operaes lgicas

Certas proposies, pelo modo como foram obtidas a partir de outras proposies por meio das operaes lgicas, so verdadeiras, qualquer que seja o valor lgico das proposies que a originam. Uma proposio nestas condies diz-se uma tautologia. As propriedades das operaes lgicas podem ser expressas por meio de tautologias. Por exemplo, a tautologia p p mostra que p equivalente a p.

Propriedades da conjuno e da disjuno

A conjuno e a disjuno

 

so comutativas; so associativas; tm elemento neutro; tm elemento absorvente. A conjuno distributiva relativamente disjuno, isto p qr equivalente a pq pr .

A disjuno distributiva relativamente conjuno, isto p qr equivalente a pq pr .

Lgica - 9

Ana Matos - AMI EB (mod. 26 Set 2012)

Primeiras Leis de De Morgan

So tautologias:

p q  p q ; p q  p q .

Propriedades da implicao
So tautologias:

p  q  p q; p  q  p q; p  q  q  p (uma implicao e sua contra-recproca so equivalentes).

Todas estas propriedades podem ser demonstradas por meio de tabelas de verdade.

Ana Matos - AMI EB (mod. 26 Set 2012)

Lgica - 10

Expresses com variveis

Para estudar uma certa teoria:

definimos uma linguagem adequada (que inclua, por exemplo, smbolos para as operaes fundamentais); num certo conjunto - a que chamamos Universo interpretamos devidamente os smbolos da linguagem.

Consideramos ainda variveis - smbolos (ou grupos de smbolos) que podem ser substitudos por elementos do universo. O domnio de uma expresso constitudo pelos valores, do universo, pelos quais faz sentido substituir as suas variveis. Chama-se expresso proposicional, condio ou propriedade a qualquer expresso com variveis que se transforma em proposio (verdadeira ou falsa) sempre que se atribuem valores (dos respectivos domnios) s variveis que nela ocorrem. O conjunto soluo de uma condio constitudo pelos valores que a transformam numa proposio verdadeira. Exemplo: No Universo dos reais, consideremos a expresso proposicional
1 x 2 1

 4.

O seu domnio x : x 2 1 0  \ 1, 1 e o seu conjunto soluo 5 5 , 2 2 .

Ana Matos - AMI EB (mod. 26 Set 2012)

Lgica - 11

Clculo com quantificadores

As operaes lgicas associadas a , , ,  e  permitem obter novas condies a partir de condies mais simples. Trabalhando com variveis, podemos ainda definir quantificao universal trs novas operaes quantificao existencial quantificao de existncia e unicidade por meio das quais obtemos, a partir de uma condio, novas condies:

a quantificao universal tem o significado de para todo ou qualquer que seja; a quantificao existencial tem o significado de existe; a quantificao de existncia e unicidade tem o significado de existe um e um s.

Num certo Universo, uma expresso proposicional diz-se:

universal, se ao substituirmos as suas variveis por quaisquer valores dos respectivos domnios obtemos sempre proposies verdadeiras; impossvel, se obtemos sempre proposies falsas.
Lgica - 12

Ana Matos - AMI EB (mod. 26 Set 2012)

Seja p x uma condio na varivel x.

Quantificador universal

x, p x uma proposio, que se l qualquer que seja x, p x . Num certo universo, x, p x verdadeira sse a condio p x universal.

Quantificador existencial

x, p x uma proposio, que se l existe pelo menos um x tal que p x . Num certo universo, x, p x verdadeira sse a condio p x tem alguma soluo.

Quantificador de existncia e unicidade

1 x, p x uma proposio, que se l existe um e um s x tal que p x . Num certo universo, 1 x, p x verdadeira sse a condio p x tem uma nica soluo.

Notao: x D, p x , x D, p x e 1 x D, p x indicam que x varia em D (subconjunto do universo).

Ana Matos - AMI EB (mod. 26 Set 2012) Lgica - 13

Conveno: O quantificador abrange a mais pequena expresso proposicional que o segue.

Quantificao mltipla

A troca de ordem de dois quantificadores consecutivos do mesmo tipo origina uma condio (ou proposio) equivalente. Pelo contrrio, a troca de ordem de quantificadores que no so do mesmo tipo origina, em geral, condies (ou proposies) que no so equivalentes s iniciais.

Exemplo: Em , universo dos inteiros, a proposio ba , a  b  0 verdadeira. (Traduz a propriedade de qualquer inteiro ter simtrico em .) A proposio ab , a  b  0 falsa. (No h nenhum inteiro que seja simtrico de todos os inteiros.)

Segundas leis de De Morgan

Sendo p uma condio tem-se que:

x, p  x, p; x, p  x, p.

Ana Matos - AMI EB (mod. 26 Set 2012)

Lgica - 14