gggRACIOCNIO LGICO AULA N 04 CONTEDO: LGICA DAS PROPOSIES 10 - CONVERSO DE CONECTIVOS possvel transformar proposies ligadas pelos conectivos

s "Se...ento..." (CONDICIONAL), "Ou...Ou..." (DISJUNO EXCLUSIVA) e "...se e somente se..." (BICONDICIONAL) em proposies equivalentes que usam apenas os conectivos "e" (CONJUNO) e "ou" (DISJUNO). Estas transformaes so importantes principalmente nas negaes de proposies compostas pela condicional, pela disjuno exclusiva e pela bicondicional, bem como quando se trabalha com programas de planilhas como o Excel. - A CONDICIONAL Construindo as tabelas verdade da condicional p q e da disjuno ~p q, tem-se: p V V F F q V F V F p q V F V V p V V F F q V F V F ~p F F V V ~p q V F V V

Observe que as tabelas dos valores lgicos de p q e ~p q so iguais. Assim, pode-se concluir que as duas proposies se equivalem. Isto : "Se Maria estudiosa ento Maria aprovada" equivalente a "Maria no estudiosa ou Maria aprovada".

Isto ser aplicado nos itens posteriores. - A BICONDICIONAL Obs: o sinal significa "equivale a".

Conforme j visto anteriormente, a bicondicional uma conjuno de duas condicionais. Isto p q (p q) (q p). Levando em considerao o exposto na correspondncia da condicionais, pode-se escrever: p q (p q) (q p) (~p q) (~q p). Ser provado futuramente que p q (p q) (~p ~q) quando forem estudadas as propriedades dos conectivos e for definida a proposio "contradio".

13

- A DISJUNO EXCLUSIVA Revendo as tabelas da bicondicional e da disjuno exclusiva, tem-se:

p q V V V F F V

p p q q V F V F V F

F F F V Conforme se pode observar a disjuno exclusiva a negao da bicondicional. Pode-se ento escrever:

11 - NEGAO DE PROPOSIO COMPOSTA Negar proposies como, (1) Maria bonita ou Joo foi ao cinema, (2) ele bebe e no fica tonto, (3) se Joo no foi ao cinema ento Maria comprou o filme, primeira vista parece que basta negar cada proposio simples que compem a proposio composta. Porm no bem assim, como ser visto a seguir por meio de tabelas verdade. - NEGAO DA DISJUNO E DA CONJUNO Negar uma disjuno consiste em negar cada uma das proposies combinadas e trocar o conectivo "ou" pelo conectivo "e". Da mesma forma, negar uma conjuno consiste em negar cada uma das proposies e trocar o conectivo "e" pelo conectivo "ou". As tabelas a seguir mostram a validade dessas afirmaes. (1) Para a DISJUNO p q p ~(p ~p ~p ~q q q) ~q F F F V 4 F F V V 5 F V F V 6 F F F V 7 ~(p q) ~p ~q.

V V V V F V F V V F F F 1 2 3

Observando as colunas 4 e 7 da tabela v-se que

Exemplos: (I) a negao de "Maria bonita ou Maria estudiosa" "Maria no bonita e Maria no estudiosa". (II) a negao de "Maria no bonita ou Maria estudiosa" "Maria bonita e Maria no estudiosa".

14

(2) Para a CONJUNO

p q V V V F F V F F 1 2 Da tabela, colunas 4 e 7, resulta - NEGAO DA CONDICIONAL

p ~(p q) ~p ~q q V F F F 3 F V V V 4 F F V V 5 F V F V 6

~p ~q F V V V 7

~(p q) ~p ~q

Do exposto no item 10 anterior, a condicional p q, equivale a ~p q. Tem-se ento: ~(p q) ~(~p q). Aplicando o princpio da negao da disjuno resulta: ~(p q) ~(~p q) ~(~p) ~q p ~q. Portanto, ~(p q) p ~q. Assim, a negao da proposio "se chove ento faz frio" "chove e no faz frio". - NEGAO DA BICONDICIONAL Da equivalncia p q (~p q) (~q p), tira-se ~(p q) [ (~p q) (~q p)]. Usando a negao da conjuno: ~(p q) [ (~p q) (~q p)] (~p q) ~(~q p). Aplicando a negao da disjuno nos dois termos, resulta: ~(p q) (p ~q) (q ~p). Usando a distributividade da disjuno em relao conjuno: ~(p q) [(p ~q) q] [(p ~q) (~p)] Reaplicando a distributividade da disjuno em relao conjuno: ~(p q) [(p q) (~q q)] [(p ~p) (~q ~p) ]. Ora, (~q q) e (p ~p) so verdades absolutas. O julgamento de uma proposio qualquer ligada a uma verdade absoluta pelo conectivo "e", depende apenas da veracidade ou no de tal proposio. Deste modo, conclui-se que: ~(p q) ( p q) (~q ~p). Exemplo: a negao da proposio "Maria fica feliz se e somente se Pedro est presente" "Maria fica feliz ou Pedro est presente e Maria no fica feliz e Pedro no est presente". - A DISJUNO EXCLUSIVA Revendo as tabelas da bicondicional e da disjuno exclusiva, tem-se: p q V F V F

p q V V V F F V F F

p q F V F V

Da tabela conclui-se que: a negao do "se e somente" se a "disjuno exclusiva".

15

~(p q) p q. Neste caso, a negao de "Maria fica feliz se e somente se Pedro est presente" tambm "ou Maria fica feliz ou Pedro est presente".

12 - TAUTOLOGIA, CONTRADIO E CONTINGNCIA (1) (2) (3) (4) Construindo as tabelas verdades das seguintes proposies P(p, q) = (p q) (q p), P(p, q) = ~(p q) (p q), P(p, q) = ~p (p ~q), P(p, q) = ~(p q) (p q), tem-se: p V V F F q V F V F p

q q p (p q) (q p)
V F F F V F F F V V V V

p V V F F

q V F V F p

p ~(p p q q) q V V V F ~(p F V V F F F F V p q V F F V V F F V

~(p

q) (p q)
V V V V

p V V F F

q ~p
V F V F F F V V

~q F V F F

p ~q F V F F

~p (p ~q)
F F F F

p V V F F

q V F V F

q)
q F F V V

~(p q) (p q) F F F F

Como se pode perceber independente dos valores lgicos das proposies p e q, o valor lgico das proposies compostas (1) e (2) sempre verdadeiro e o valor lgico das compostas (3) e (4) sempre falso. Toda proposio composta cujo nico valor lgico verdadeiro denomina-se TAUTOLOGIA enquanto que as proposies que apresentam apenas o valor lgico falso so chamadas de CONTRADIO. Quando no julgamento de uma proposio apresentarem os valores falso e verdadeiro, a mesma denominada CONTINGNCIA. Definem-se ento: (1) TAUTOLOGIA a proposio composta cujo nico valor lgico VERDADEIRO. (2) CONTRADIO a proposio composta cujo nico valor lgico FALSO. (3) Proposies compostas que apresentam valores lgicos FALSO e VERDADEIRO so denominadas CONTINGNCIAS.

16

EXERCCIOS
01 - Negue as proposies: a) Maria bonita e Maria estudiosa. b) Maria bonita ou Maria estudiosa. c) Maria no bonita e Maria no estudiosa. d) Maria no bonita ou Maria no estudiosa. e) Maria no bonita ou Maria estudiosa. f) Maria bonita e Maria no estudiosa. g) Maria bonita ou Maria no estudiosa. h) Se cabea de bagre dura ento eu pesquei um bagre. i) Se eu no for aula ento meu pai ir me por de castigo. j) Joo casar com Maria, se e somente se Maria bonita. 02 - (Fiscal Trabalho/98) A negao da afirmao condicional "se estiver chovendo, eu levo o guarda-chuva" : a) se no estiver chovendo, eu levo o guarda-chuva. b) no est chovendo e eu levo o guarda-chuva. c) no est chovendo e eu no levo o guarda-chuva. d) se estiver chovendo, eu no levo o guarda-chuva. e) est chovendo e eu no levo o guarda-chuva. 03. (MPOG/2001) Dizer que Andr artista ou Bernardo no engenheiro logicamente equivalente a dizer que: a) Andr artista se e somente se Bernardo no engenheiro. b) Se Andr artista, ento Bernardo no engenheiro. c) Se Andr no artista, ento Bernardo engenheiro d) Se Bernardo engenheiro, ento Andr artista. e) Andr no artista e Bernardo engenheiro. 04 - (ESAF-AFC-2002) Dizer que no verdade que Pedro pobre e Alberto alto, logicamente equivalente a dizer que verdade que: a) Pedro no pobre ou Alberto no alto. b) Pedro no pobre e Alberto no alto. c) Pedro pobre ou Alberto no alto. d) se Pedro no pobre, ento Alberto alto. e) se Pedro no pobre, ento Alberto no alto. 05 - Dizer que "Amrico no mdico ou Lucas dentista" o mesmo que dizer: A) se Amrico mdico, ento Lucas dentista. B) se Amrico mdico no mdico, ento Lucas dentista. C) se Lucas dentista, ento Amrico mdico. D) se Amrico mdico, ento Lucas no dentista. E) se Amrico no medico, ento Paulo no dentista. 06 - No verdade que "se eu morrer ento eu vou para o cu" ento: A) eu vou morrer ou no vou para o cu. B) eu no vou morrer e vou para o cu. C) eu vou morrer ou eu vou para o cu. D) eu no vou morrer ou eu no vou para o cu. E) eu vou morrer e no vou para o cu. 07 - Mostre que: a) p q p q c) p q p e) (p q) (q p) b) p q q p d) p q q f) ~(p ~q) ~p q.

08 - Dadas as proposies abaixo, verifique quais so tautologias, quais so contradies e quais so contingncias. a) (p q) ((p q) (q r)) b) ((p q) p) q c) (p q) (p ~q) d) p (p q) r

17

e) ~(~p q) (p q) g) (p q) ~(p q) i) (p q) ((p r) (q r))

f) p (q (q p) h) (q p) (p q)

18