Álgebra das Proposições

Apresentação em tema: "Álgebra das Proposições"— Transcrição da apresentação:

1 Álgebra das Proposições
Ciência da Computação Lógica Matemática Álgebra das Proposições

2 Álgebra das Proposições
LÓGICA MATEMÁTICA - CONTEÚDO Álgebra das Proposições Propriedades da Conjunção Propriedades da Disjunção Propriedades da Conjunção e Disjunção Negação da Condicional Negação da Bicondicional

3 Propriedade IDEMPOTENTE:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROPRIEDADES DA CONJUNÇÃO Sejam p, q, r proposições simples. Sejam t, c proposições simples e V(t) = V e V(c) = F. Propriedade IDEMPOTENTE: p ^ p  p Assim, temos: X < 0 ^ X < 0  X < 0

4 Propriedade COMUTATIVA:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROPRIEDADES DA CONJUNÇÃO Sejam p, q, r proposições simples. Sejam t, c proposições simples e V(t) = V e V(c) = F. Propriedade COMUTATIVA: p ^ q  q ^ p Assim, temos: X < 0 ^ X  1  X  1 ^ X < 0

5 Propriedade ASSOCIATIVA:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROPRIEDADES DA CONJUNÇÃO Sejam p, q, r proposições simples. Sejam t, c proposições simples e V(t) = V e V(c) = F. Propriedade ASSOCIATIVA: (p ^ q) ^ r  p ^ (q ^ r) Assim, temos: (a>=b ^ bc) ^ (c<d)  (a>=b)^ (b  c ^ c < d)

6 Propriedade IDENTIDADE:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROPRIEDADES DA CONJUNÇÃO Sejam p, q, r proposições simples. Sejam t, c proposições simples e V(t) = V e V(c) = F. Propriedade IDENTIDADE: p ^ t  p e p ^ c  c Assim, temos: (x 1)^|x|>=0  (x 1) e (x1)^|x|<0  |x|<0

7 Propriedade IDENTIDADE:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROPRIEDADES DA CONJUNÇÃO Propriedade IDENTIDADE: p ^ t  p e p ^ c  c p t c p ^ t p ^ c p^t <-> c p^c <-> c V V F V F V V F V F F F V V

8 Propriedade IDEMPOTENTE:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROPRIEDADES DA DISJUNÇÃO Sejam p, q, r proposições simples. Sejam t, c proposições simples e V(t) = V e V(c) = F. Propriedade IDEMPOTENTE: p v p  p Assim, temos: X < 0 v X < 0  X < 0

9 Propriedade COMUTATIVA:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROPRIEDADES DA DISJUNÇÃO Sejam p, q, r proposições simples. Sejam t, c proposições simples e V(t) = V e V(c) = F. Propriedade COMUTATIVA: p v q  q v p Assim, temos: X < 0 v X  1  X  1 v X < 0

10 Propriedade ASSOCIATIVA:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROPRIEDADES DA DISJUNÇÃO Sejam p, q, r proposições simples. Sejam t, c proposições simples e V(t) = V e V(c) = F. Propriedade ASSOCIATIVA: (p v q) v r  p v (q v r) Assim, temos: (a>=b v bc) v (c<d)  (a>=b) v (b  c v c < d)

11 Propriedade IDENTIDADE:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROPRIEDADES DA DISJUNÇÃO Sejam p, q, r proposições simples. Sejam t, c proposições simples e V(t) = V e V(c) = F. Propriedade IDENTIDADE: p v t  t e p v c  p Assim, temos: (x 1)v|x|>=0  (x 1) e (x1)v|x|<0  |x|<0

12 Propriedade IDENTIDADE:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROPRIEDADES DA DISJUNÇÃO Propriedade IDENTIDADE: p v t  t e p v c  p p t c p v t p v c pvt <-> t pvc <-> p V V F V V V V F V F V F V V

13 Propriedade DISTRIBUTIVA:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROP.DA CONJUNÇÃO E DA DISJUNÇÃO Sejam p, q, r proposições simples. Propriedade DISTRIBUTIVA: p ^ (q v r)  (p ^ q) v (p ^ r) p v (q ^ r)  (p v q) ^ (p v r)

14 Propriedade DISTRIBUTIVA:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROP. DA CONJUNÇÃO E DA DISJUNÇÃO Propriedade DISTRIBUTIVA: p ^ (q v r)  (p ^ q) v (p ^ r) p q r q v r p^(q v r) p ^ q p ^ r (p^q)v(p^r) V V V V V V V V V V F V V V F V V F V V V F V V V F F F F F F F F V V V F F F F F V F V F F F F F F V V F F F F F F F F F F F F

15 Propriedade DISTRIBUTIVA:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROP.DA CONJUNÇÃO E DA DISJUNÇÃO Propriedade DISTRIBUTIVA: Por exemplo: “Carlos estuda e Jorge ouve música ou lê”. É EQUIVALENTE A: “Carlos estuda e Jorge ouve música ou Carlos estuda e Jorge lê”.

16 Propriedade ABSORÇÃO:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROP.DA CONJUNÇÃO E DA DISJUNÇÃO Sejam p, q, r proposições simples. Propriedade ABSORÇÃO: p ^ (p v q)  p p v (p ^ q)  p

17 Propriedade ABSORÇÃO:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROP. DA CONJUNÇÃO E DA DISJUNÇÃO Propriedade ABSORÇÃO: p ^ (p v q)  p p q p v q p^(p v q) p^ (p v q) <-> p V V V V V V F V V V F V V F V F F F F V

18 Propriedade REGRAS DE MORGAN:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROP.DA CONJUNÇÃO E DA DISJUNÇÃO Sejam p, q, r proposições simples. Propriedade REGRAS DE MORGAN: ~ (p ^ q)  ~ p v ~ q ~ (p v q)  ~ p ^ ~q

19 Propriedade REGRAS DE MORGAN:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROP. DA CONJUNÇÃO E DA DISJUNÇÃO Propriedade REGRAS DE MORGAN: ~ (p ^ q)  ~ p v ~ q p q p ^ q ~ (p^q) ~p ~q ~p v ~q V V V F F F F V F F V F V V F V F V V F V F F F V V V V

20 Exemplo REGRAS DE MORGAN :
LÓGICA MATEMÁTICA – Álgebra das Proposições PROP.DA CONJUNÇÃO E DA DISJUNÇÃO Exemplo REGRAS DE MORGAN : “É inteligente e estuda”, por Morgan: “Não é inteligente ou não estuda”. “É médico ou professor”, por Morgan: “Não é médico e não é professor”.

21 Mostram como é possível definir a disjunção a partir da conjunção e
LÓGICA MATEMÁTICA – Álgebra das Proposições PROP.DA CONJUNÇÃO E DA DISJUNÇÃO As REGRAS DE MORGAN: Mostram como é possível definir a disjunção a partir da conjunção e da negação,ou a conjunção a partir da disjunção e da negação: p v q  ~ (~p ^ ~ q) p ^ q  ~(~ p v ~q)

22 Como p -> q  ~ p v q, temos:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROP.DA NEGAÇÃO DA CONDICIONAL Como p -> q  ~ p v q, temos: ~ (p -> q)  ~ (~p v q)  ~~p ^ ~q Ou seja: ~ (p -> q)  p ^ ~q p q p -> q ~ (p->q) ~q p^ ~q V V V F F F V F F V V V F V V F F F F F V F V F

23 A condicional p -> q NÃO tem as propriedades IDEMPOTENTE,
LÓGICA MATEMÁTICA – Álgebra das Proposições PROPRIEDADES DA CONDICIONAL A condicional p -> q NÃO tem as propriedades IDEMPOTENTE, COMUTATIVA E ASSOCIATIVA. As tabelas-verdade das proposições: p -> p e p, p -> q e q->p, (p -> q) -> r e p-> (q -> r) não são idênticas.

24 Como p <-> q  (p->q) ^(q->p), temos:
LÓGICA MATEMÁTICA – Álgebra das Proposições PROP.DA NEGAÇÃO DA BICONDICIONAL Como p <-> q  (p->q) ^(q->p), temos: p <-> q  (~p v q) ^ (~q v p) Portanto, ~(p <-> q)  ~(~p v q) v ~(~q v p) Daí: ~(p <-> q)(~~p ^ ~q) v (~~q ^ ~p) Por fim: ~(p <-> q)  (p ^ ~q) v (q ^ ~p)

25 A bicondicional p <-> q NÃO tem a propriedade IDEMPOTENTE.
LÓGICA MATEMÁTICA – Álgebra das Proposições PROPRIEDADES DA BICONDICIONAL A bicondicional p <-> q NÃO tem a propriedade IDEMPOTENTE. As tabelas-verdade das proposições: p -> p e p. A bicondicional tem as propriedades COMUTATIVA e ASSOCIATIVA.