lgebra das proposies

Propriedades da conjuno e da disjuno Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples cujos valores lgicos respectivos so V ou F. a) Idempotente: p p p Dem. Com efeito, so idnticas as tabelas-verdade das proposies p p e p, ou seja, a bicondicional p p p tautolgica. 1) Demonstre atravs da tabela-verdade essa propriedade:

Assim temos tambm : x 1 x 1 x 1 O mesmo serve para disjuno: a ) Idempotente: p p p b) Comutativa p q q p Dem. Com efeito, so idnticas as tabelas-verdade das proposies p p e q p, ou seja, a bicondicional p q q p tautolgica:

2) Demonstre atravs da tabela-verdade essa propriedade:

Assim temos tambm: x> 3 < 4 < 4 x> 3 O mesmo serve para disjuno: b) Comutativa: p q q p

c) Associativa: (p q) r p (q r) Dem. Com efeito, so idnticas as tabelas-verdade das proposies (p q) r e p (q r) . Observe que a bicondicional (p q) r p (q r) tautolgica. 3) Demonstre atravs da tabela-verdade essa propriedade:

O mesmo serve para disjuno: c) Associativa: (p q) r p (q r) d) Identidade: p t p e p c c

Dem. Com efeito, so idnticas as tabelas-verdade das proposies p t e p, p c e c, ou seja, as bicondicionais p t p e p c c so tautolgicas. 4) Demonstre atravs das tabelas-verdade essa propriedade:

Estas propriedades exprimem que t e c so respectivamente elemento neutro e elemento absorvente da conjuno. Assim temos tambm: x 1 |x| 0 x 1 O mesmo serve para disjuno: d) Identidade: p t t e p c p.

e) distributiva: p (q r) (p q) (p r) 5) Demonstre atravs das tabelas-verdade essa propriedade:

Dem. Com efeito, so idnticas as tabelas-verdade das proposies p (q r) e (p q) (p r) . A bicondicional p (q r) (p q) (p r) tautolgica. O mesmo serve para disjuno: e) distributiva: p (q r) (p q) (p r) Ateno: A conjuno distributiva em relao a disjuno. E a disjuno distributiva em relao a conjuno. e) distributiva: p (q r) (p q) (p r)

6) A proposio Carlos estuda e Jorge ouve msica ou l a) equivalente a proposio ................................................ em linguagem corrente. b) equivalente a proposio ................................................ em linguagem simblica.

7) A proposio Chove ou faz vento e frio. c) equivalente a proposio ................................................ em linguagem corrente. d) equivalente a proposio ................................................ em linguagem simblica.

f) absoro:

p (p q) p

Dem. Com efeito, so idnticas as tabelas-verdade das proposies p (p q) e p, ou seja a a bicondicional p (p q) p tautolgica. 8) Demonstre atravs da tabela-verdade essa propriedade:

O mesmo serve para disjuno: f) absoro: p (p q) p

REGRAS DE MORGAN a) ~( p q) ~ p ~q b) ~( p q) ~ p ~q
Dem. Com efeito, so idnticas as tabelas-verdade das proposies ~( p q) e ~ p ~q. ou seja a a bicondicional ~( p q) ~ p ~q tautolgica. 9) Demonstre atravs das tabelas-verdade essa propriedade:

As regras de Morgan podem exprimir-se ainda dizendo que a negao transforma a conjuno em disjuno e a disjuno em conjuno. 10) Demonstrar a seguinte regra de Morgan para trs componentes: a) ~(p q r) ~p ~q ~r

Negao da condicional Disjuno para

Como p q ~p q temos: conjuno!

~ (p q) ~ (~p

q) ~~p ~q

ou seja ~ (p q) p ~q. A tabela-verdade dessas proposies mostra que elas so idnticas.

Responda: 11) A condicional p q goza das propriedades comutativa e associativa? Por qu? idempotente,

Negao da bicondicional
Como p q (p q)

(q

p) temos:

p q (~p q) (~q p) e portanto ~ p q ~(~p q) ~(~q p) ~ p q (~~p ~q) (~~q ~p) Ou seja: ~ p q (p ~q) (~p q) 12) A bicondicional p q comutativa e associativa? goza da propriedade idempotente,

13) Demonstrar por tabela-verdade as equivalncias: a) p q r ( p q) (p r) b) p q r ( p q) (p r)

14) Dar a negao em linguagem corrente e em linguagem simblica da proposio: Rosas so vermelhas e violetas so azuis.