Introduo Lgica

Tecnologia em Anlise e Desenvolvimento de Sistemas Prof. M.Sc. Solange Tieko Sakaguti ssakaguti@unigran.br

O que Lgica?
Forbellone e Eberspcher (2005, p.1), afirmam que: o uso corriqueiro da palavra lgica est normalmente relacionado coerncia e racionalidade. Frequentemente se associa lgica apenas matemtica, no se percebendo sua aplicabilidade e sua relao com as demais cincias.

Veja alguns exemplos:

Exemplo 1: Todo rptil um animal. Todo crocodilo um rptil. Portanto, todo crocodilo um animal.
Exemplo 2: O armrio est fechado. O acar est dentro do armrio. Logo, para pegar o acar precisamos abrir o armrio.

Veja alguns exemplos:

Exemplo 1: Ana Carolina maior que Vincius, ou podemos expressar tambm dizer: Vincius menor que Ana Carolina. Exemplo 2: Patrcia est feliz porque terminou a faculdade, ou podemos dizer: Patrcia se formou e por isto est feliz.

Princpios das proposies:

1 Princpio da no-contradio: Uma proposio no pode ser verdadeira e falsa simultaneamente. Ou ela verdadeira ou ela falsa.
2 Princpio do Terceiro Excludo: Uma proposio s pode ter dois valores verdades, isto , verdadeiro (V) ou falso (F), no podendo ter outro valor.

Veja alguns exemplos:

a) O Curso de Tecnologia em Sistemas de Informao distncia oferecido na UNIGRAN uma proposio verdadeira. b) O curso de Tecnologia em Sistemas de Informao distncia tem durao de 4 anos, uma proposio falsa.

Conectivos:
Negao (no) Conjunes (e) Disjunes (ou) Condicionais (se... ento) Bicondicionais (se e somente se) ~ a^b avb ab ab

Exemplo: Seja a sentena: Se Ana Carolina vaidosa ento ela passar no SPA Sejam as proposies: p = Ana Carolina vaidosa q = Ela passar no SPA

Da, poderemos representar a sentena da seguinte forma: Se p ento q

Proposies ou Frases?
Frases que no so proposies: quando no podemos afirmar se a frase falsa ou verdadeira. Frases no imperativo: Abra! Pare! Olhe! Questionamentos: Quer uma fatia de bolo? Vamos ao cinema? Quer passear? Frases que geram dvidas: Eu no estou bem certo se este carro bom. Talvez eu compre o notebook que vi na Internet.

Frases que so proposies: todas as vezes que podemos dizer se as afirmaes so verdadeiras ou falsas. O nmero 714 divisvel por 2. (V) A cidade de Campinas fica no estado do Amazonas. (F) Todo nmero mpar termina em zero. (F)

A raiz quadrada de dois no um nmero exato. (V)

Conectivos e tabelaverdade
No (~) O conectivo no (~) representa a situao inversa, a negao de uma determinada situao. Exemplo: Consideremos a seguinte afirmao: a = Roma fica na Itlia. Se quisermos negar esta proposio A poderemos faz-lo de duas formas: ~a = No verdade que Roma fica na Itlia. ~a = Roma no fica na Itlia.

Como montar a tabela-verdade?

Primeiro, verificamos a quantidade de proposies (letras), neste caso uma, existentes que iro compor a tabela. Conforme a quantidade de proposies teremos uma quantidade de linhas na tabela... este nmero calculado da seguinte forma: 2n, onde n a quantidade de proposies. Como aqui temos 1 proposio, a quantidade de linhas ser calculada da seguinte forma: 21 = 2 linhas.

p V F

~p F V

E (^) Conjuno
Duas afirmaes quaisquer podem ser combinadas pela palavra e para formar uma afirmao composta a qual chamamos de conjuno das afirmaes originais. Exemplo: So Paulo fica na Amrica Latina e 2 + 3 = 5 (V) e (V) = V So Paulo fica na Amrica Latina e 2 + 3 = 6 (V) e (F) = F

So Paulo fica na Amrica do Norte e 2 + 3 = 5 (F) e (V)

So Paulo fica na Amrica do Norte e 2 + 3 = 6 (F) e (F)

= F = F

Valor verdade de p ^ q Conectivo e Conjuno.

p V V F F q V F V F p^q V F F F

Ou (v) Disjuno
Duas afirmaes quaisquer podem ser combinadas pela palavra ou (no sentido conjunto de e/ou) para formar uma nova afirmao, a qual chamamos de disjuno das duas afirmaes originais.
Exemplo: Os Jogos Olmpicos acontecem de 4 em 4 anos ou 12 > 3 (V) ou (V) = V Os Jogos Olmpicos acontecem de 4 em 4 anos ou 12 < 3 (V) ou (F) = V Os Jogos Olmpicos acontecem a cada 2 anos ou 12 > 3 (F) ou (V) = V Os Jogos Olmpicos acontecem a cada 2 anos ou 12 < 3 (F) ou (F) = F

Valor verdade de p v q Conectivo ou Disjuno.

p V V F F q V F V F pvq V V V F

Se... ento.... () Condicional

Muitas afirmaes so da forma Se p ento q. Estas afirmaes so chamadas de Condicionais. Para a afirmao: p q, podemos dizer: p condicional q. Mas ainda temos as seguintes leituras:

p implica q p somente se q p suficiente para q q necessrio para p

Valor verdade de p q Conectivo Se... ento... Condicional.

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

Se e somente se () Bicondicional
Outra afirmao comum a forma de p se e somente se q e podemos indicar por p q. Estas afirmaes so conhecidas como Bicondicionais.

Valor verdade de p q Conectivo Se e somente se Bicondicional.

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

PRIORIDADE DOS CONECTIVOS

1 (~) Negao ou Complemento 2 (^) Conjuno e 3 (v) Disjuno ou 4 () Condicional Se... ento... 5 () Bicondicional Se e somente se

PRIORIDADE DOS CONECTIVOS

Importante lembrar!!! Caso existam parnteses, colchetes e chaves, estes devem ter prioridade, na seqncia apresentada: 1 parnteses ( ) 2 colchetes [ ] 3 chaves { }

Exemplo:
Perceba que quando temos 8 linhas, na primeira coluna temos 4 linhas V e quatro linhas F. J na segunda coluna temos intercalados 2 Vs e 2 Fs at completar as 8 linhas. E finalizando, na terceira coluna temos a alternncia de V e F. 1 2 p V V V V F F F F q V V F F V V F F 3 r V F V F V F V F 4 p^q V V F F F F F F 5 rvp V V V V V F V F 6 (p ^ q) (r v p) V V F F F V F V

Tautologias e Contradies
Tautologia quando, na ltima coluna, sada, todas as respostas so verdadeiras (V). Contradio o inverso da tautologia, ou seja, todas as sadas so falsas (F).

Exemplo de Tautologia
p V V F F q V F V F p^q V F F F ~(p ^ q) F V V V p v ~(p ^ q) V V V V

Exemplo de Contradio
p V V F F q V F V F qvp V V V F ~q F V F V ~p F F V V (q v p)^ ~q (q v p) ^ ~q ^ ~p F F V F F F F F

Leis de Equivalncia
Leis Idempotentes 1. p v p p 2. p ^ p p Leis Associativas (perceba que nesta lei a posio dos parnteses no altera o resultado) 1. (p v q) v r p v (q v r) 2. (p ^ q) ^ r p ^ (q ^ r) Leis Comutativas (perceba que nesta lei a ordem no altera o resultado) 1. p v q q v p 2. p ^ q q ^ p

Leis Distributivas (veja que nestes dois casos prevalece o produto notvel fator comum. 1. p v (q ^ r) (p v q) ^ (p v r) 2. p ^ (q v r) (p ^ q) v (p ^ r) Leis de Identidade 1. p v F p 2. p v V V Leis de Complementao 1. p v ~p F 2. ~~p p

3. p ^ F F

4. p ^ V p

3. p ^ ~p F

4. ~V F

5. ~F V

Leis de De Morgan (perceba que nestes casos, quando extramos os parnteses, os valores das proposies se invertem (complemento), inclusive o conectivo (v vira ^e vice-versa). 1. ~(p v q) ~p ^ ~q 2. ~(p ^ q) ~p v ~q

p ^ q ~(p ^ q)

q ~p ~q ~p v ~q

V V
V F F F V F

V
F F F

F
V V V

V
V F F

V
F V F

F
F V V

F
V F V

F
V V V