Vous êtes sur la page 1sur 6

EQUIVALNCIAS LGICAS

Definio: diz-se que duas proposies so equivalentes quando em suas respectivas tabelas-verdade, a ltima coluna (direita) possuem valores lgicos iguais. As proposies ~~p e p so equivalentes, assim ~~p p. smbolo Essa a chamada regra da dupla negao. Portanto a dupla negao equivalnci equivale a afirmao. a a) Propriedades Comutativas A B B A A B B A

b) Propriedades Associativas (A B) C A (B C) (A B) C A (B C)

c) Propriedades Distributivas A (B C) (A B ) (A C) A (B C) (A B ) (A C)

Ateno! Os smbolos e so distintos. O primeiro de operao lgica (bi implicao) enquanto que o segundo de relao (equivalncia).

As condicionais p p q e p q tem tabelas verdades idnticas, logo so equivalentes: Assim: p p q

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

p p q p q

p V V F F

V F V V

V F V V

Mostre que as proposies a seguir so equivalentes: a) p q ~p q ( uma condicional e uma disjuno)

p V V F F 1

q V F V F 1

~p F F V V 1

p q V F V V 3 32

~p q V F V V 2

b) p q (p q) (q p) (uma bicondicional e uma conjuno)

p V V F F 1

q V F V F 1

p q V F F V 2

p q v F V V 2

q p V V F V 2

(p q) (q p) V F F V 3 23

c) p q (p q) (~p ~q) (uma bicondicional e uma disjuno) p q p q ~p ~q (p q) (~p ~q) (p q) (~p ~q)

V V F F 1

V F V F 1

V F F V 2

F F V v 2

F V F v 2

V F F F 3 24

f F F V 3

V F F V 4

EQUIVALNCIAS TAUTOLGICAS
Definio: diz-se que duas proposies so equivalentes tautolgicas quando em suas respectivas tabelas-verdade, a ltima coluna (direita) de cada tabela-verdade possuem valores lgicos iguais e o valor lgico da bicondicional entre elas sempre verdade. a) p q ~p q ( uma condicional e uma disjuno) so equivalentes. p V V F F q V F V F ~p p q

V F V V

~p q

V F V V

// so equivalentes b) p q (p q) (q p) (uma bicondicional e uma conjuno) so equivalentes. p V V F F q V F V F p q V F F V p q v F V V q p V V F V (p q) (q p) V F F V

Teorema: A proposio P equivalente a proposio Q, isto P Q, se e somente se a bicondicional P Q tautolgica.


a) p q ~p q ( uma condicional e uma disjuno) p V V F F q V F V F ~p F F V V p q

V F V V

V V V V

~p q

V F V V

b) p q (p q) (q p) (uma bicondicional e uma conjuno) p V V q V F p q V F V V p q v F q p V V (p q) (q p) V F

F F

V F

F V

V V

V V

F V

F V

A toda equivalncia lgica corresponde uma bicondicional tautolgica?


Vejamos: a) (p q r) (p ( q r))

(p V V V V F F F F 1

V V F F F F F F 2

Q V V F F V V F F 1

V F V V V V V V 3

r) V F V F V F V F 1

V V V V V V V V 4

(p V V V V F F F F 1

V F V V V V V V 3

(q V V F F V V F F 1

V F V V V F V V 2

r)) V F V F V F V F 1

b) Verifique se a proposio (x = 1 x 3) e ~(x = 3 x = 1) so equivalentes. Considere x =1 e x=3 equivalentes a p e q. Construa a bicondicional entre elas. (x = 1 V V F F 1 V V F V 2 x 3) F V F V 1 F V F V 4

~
F V V V 3

(x = 3 V F V F 1

V F F F 2

x = 1) V V F F 1

No so equivalentes, pois a bicondicional entre elas no tautolgica!

IMPLICAES LGICAS ()
Definio: Diz que uma proposio p implica logicamente uma proposio q, se q verdadeira (v) toda vez que p verdadeira (v). Em outros termos, uma proposio P implica logicamente uma proposio Q quando, em suas tabelas-verdade, no ocorre V F nesta ordem (V na ultima coluna de P e F na ultima coluna de Q, com V e F na mesma linha). Exemplos:

As tabelas verdades das proposies p q, p q, q p so:


1 2 3 4 p V V F F q V F V F pq V F F V p q V F V V q p V V F V

A proposio p q verdadeira (v) nas linhas 1 e 4 e, nestas linhas, as proposies p q e q p tambm so verdadeiras. Logo, a primeira proposio implica cada uma das outras duas proposies, isto :

a) p q p q

b) p q

q p

As tabela-verdades da proposies (p q) ~q e ~p so:


1 2 3 4 p V V F F q V F V F p q V F V V ~q F V F V (p q) ~q F F F V ~p F F V V

A proposio (p q) ~q verdadeira (v) somente na linha 4, e nesta linha, a proposio ~p tambm verdadeira (v). Logo, subsiste a implicao lgica. (p q) ~q ~p

Tautologia e implicao lgica Teorema: A proposio P implica a proposio Q isto : p q se e somente se a condicional: p q tautolgica. A condicional p ~p q tautolgica, pois a ultima coluna da sua tabela verdade encerra somente a letra V. p 1 2 3 4 V V F F q V F V F ~p F F V V p ~p F F F F p ~p q V V V V

Logo, subsiste a implicao lgica p ~p q.

Vous aimerez peut-être aussi