Apostila escrita pelo professor Jos Gonalo dos Santos Contato: jose.goncalo.santos@gmail.

com

Raciocnio Lgico - Parte III

Sumrio
1 Implicao Lgica ......................................................................................................... 1 2. Equivalncia Lgica ..................................................................................................... 1 3. Equivalncias Lgicas Notveis................................................................................... 3 4. Referncias Bibliogrficas............................................................................................ 4

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.

1 Implicao Lgica
Dadas as proposies compostas e , dizemos que ocorre uma implicao lgica entre e , quando existe uma relao de conseqncia entre elas, ou seja, a proposio condicional -> uma tautologia. A relao de implicao lgica entre e representada por => (l-se implica em ). Obs.: os smbolos -> e => tem significados diferentes. Enquanto o smbolo -> realiza uma operao entre proposies, que podem resultar em verdadeiro (1) ou falso (0), o smbolo => indica uma relao, ou seja, a proposio condicional associada uma tautologia. Exemplos: verificar as implicaes lgicas a seguir. 1) (p -> q) ^ p => q p q p -> q (p -> q) ^ p 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1

(p -> q) ^ p -> q 1 1 1 1

2) (p ^ q) => p p q p^q 0 0 0 0 1 0 1 0 0 1 1 1

(p ^ q) -> p 1 1 1 1

3) (p -> q) ^ ~q => ~p
p q p -> q ~q (p -> q) ^ ~q ~p (p -> q) ^ ~q -> ~p

0 0 1 1

0 1 0 1

1 1 0 1

1 0 1 0

1 0 0 0

1 1 0 0

1 1 1 1

4) (p <-> q) v (q -> ~p) => p

p q p <-> q ~p q -> ~p (p <-> q) v (q -> ~p) (p <-> q) v (q -> ~p) -> p

0 0 1 1

0 1 0 1

1 0 0 1

1 1 0 0

1 1 1 0

1 1 1 1

0 0 1 1

Como pode-se observar, pela tabela-verdade dos exemplos 1,2 e 3, h a relao de implicao lgica entre as proposies dadas. J no exemplo 4, no h relao de implicao entre as proposies.

2. Equivalncia Lgica
Dadas as proposies compostas e , dizemos que ocorre uma equivalncia lgica entre e , quando elas gerarem os mesmos resultados para as mesmas interpretaes, ou seja, quando suas tabelas-verdade forem idnticas. A relao de

equivalncia lgica entre e representada por ).

(l-se equivalente a

Obs.: dizer que duas proposies so equivalentes significa que possvel substituir uma pela outra, sem perda semntica. Exemplos: verificar as equivalncias lgicas a seguir. 1) (p -> q) ~p v q p q p -> q ~p 0 0 1 1 0 1 1 1 1 0 0 0 1 1 1 0

~p v q 1 1 0 1

Como pode-se observar, as duas tabelas-verdade so idnticas, logo, as duas proposies so equivalentes. H outra forma de verificar equivalncias, basta trocarmos o smbolo de equivalncia pela operao bi-condicional. Se ela resultar em uma tautologia, ento as proposies so equivalentes, conforme mostra a tabela a seguir. p 0 0 1 1 q 0 1 0 1 p -> q 1 1 0 1 ~p 1 1 0 0 ~p v q 1 1 0 1 (p -> q) <-> ~p v q 1 1 1 1

Neste curso adotaremos a primeira forma de verificar equivalncia. Isso pode ser verificado nos prximos exemplos. 2) (p <-> q) (p -> q) ^ (q -> p) p q p <-> q p -> q q -> p 0 0 1 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 3 (p <-> q) (~p v q) ^ (p v ~q) p q p <-> q ~p ~q ~p v q 0 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 1 4) p 0 0 1 1 5) p 0 0 ~(p v q) ~p ^ ~q q pvq ~(p v q) 0 0 1 1 1 0 0 1 0 1 1 0 ~(p ^ q) ~p v ~q q p^q ~(p ^ q) 0 0 1 1 0 1

(p -> q) ^ (q -> p) 1 0 0 1

p v ~q 1 0 1 1

(~p v q)^(p v ~q) 1 0 0 1

~p 1 1 0 0

~q 1 0 1 0

~p ^ ~q 1 0 0 0

~p 1 1

~q 1 0

~p v ~q 1 1

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.

1 1

0 1

0 1

1 0

0 0

1 0

1 0

Algumas dessas equivalncias so consideradas como equivalncias notveis e sero apresentadas na prxima seo.

3. Equivalncias Lgicas Notveis

A tabela a seguir apresenta um conjunto til de equivalncias lgicas que podem ser usadas para simplificao de proposies compostas e, na eletrnica digital, para simplificao de circuitos. Equivalncia ~~p pvq qvp p^q q^p p <-> q q <-> p (p v q) v r p v (q v r) (p ^ q) ^ r p ^ (q ^ r) p v (q ^ r) (p v q) ^ (p v r) p ^ (q v r) (p ^ q) v (p ^ r) pvp p p^p p pv0 p pv1 p p^0 0 p^1 p p v ~p 1 p ^ ~p 0 ~(p v q) ~p ^ ~q ~(p ^ q) ~p v ~q pvq ~(~p ^ ~q) p^q ~(~p v ~q) p -> q ~q -> ~p p -> q ~p v q p -> q ~(p ^ ~q) pvq ~p -> q p ^ q ~(p -> ~q) (p -> r) ^ (q -> r) p v q -> r (p -> q) ^ (p -> r) p -> q ^ r P <-> q (p -> q) ^ (q -> p) P ^ q -> r p -> (q -> r) P -> q p ^ ~q -> 0 Um pouco de prtica Use as equivalncias lgicas para simplificar cada uma das proposies a seguir. a) b) c) d) ~p ^ (p v ~q) (p ^ q) v (p ^ ~q) (p ^ q) v (p ^ (~q ^ r)) ~(p v q) ^ ~(q v r) Descrio Dupla negao Comutativa

Associativa Distributiva Idempotncia Identidade

Complemento Lei De Morgan (ou simplesmente De Morgan)

Contrapositiva Implicao

Equivalncia Exportao Reduo ao absurdo

Respostas

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.

a) ~p ^ (p v ~q) (~p ^ p) v (~p ^ ~q) 0 v (~p ^ ~q) ~p ^ ~q b) (p ^ q) v (p ^ ~q) p v (q ^ ~q) pv0 p

Distributiva Complemento Identidade

Distributiva Complemento Identidade

c) (p ^ q) v (p ^ (~q ^ r)) (p ^ q) v ((p ^ ~q) ^ r) ((p ^ q) v (p ^ ~q)) v ((p ^ q) v r) (p ^ (q v ~q)) v ((p ^ q) v r) p ^ 1 v ((p ^ q) v r) p v ((p ^ q) v r) (p v (p ^ q)) v r (p v p) ^ (p v q) v r p ^ (p v q) v r p ^ p v (q v r) p v (q v r) d) ~(p v q) ^ ~(q v r) ~p ^ ~q ^ ~q ^ ~r ~p ^ ~q ^ ~r

Associativa Distributiva Distributiva Complemento Identidade Associativa Distributiva Idempotncia Associativa Idempotncia

De Morgan Idempotncia

4. Referncias Bibliogrficas
CURY, Mrcia Xavier. Introduo Lgica. So Paulo: rica, 1997. RUSSEL, Stuart & NORVING, Peter. Inteligncia Artificial. So Paulo: Campus, 2003.

NOLT, John & RHOATYN, Dennis. Lgica. So Paulo: Makron Books, 1991.

NDC. Lgica na Wikipedia. Documento on-line disponvel em [http://ndpc.subtom.com.br/L%C3%B3gica_na_Wikipedia]. Acesso em: 23/06/2009.

BABYLON. Definio de Tabela Verdade. Documento on-line disponvel em [http://dicionario.babylon.com/tabela%20verdade]. Acesso em: 26/06/2009.

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.

WIKIPDIA. Regra de Inferncia. Documento on-line disponvel em [http://pt.wikipedia.org/wiki/Regra_de_infer%C3%AAncia]. Acesso em: 06/08/2009.

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.