Académique Documents
Professionnel Documents
Culture Documents
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).
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
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
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
V F V V
V V V V
~p q
V F V V
F F
V F
F V
V V
V V
F V
F V
(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
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:
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
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