Escolar Documentos
Profissional Documentos
Cultura Documentos
Álgebra de proposições
Álgebra de proposições
Para isso, temos que fazer analogias entre os conectivos lógicos e as operações
matemáticas.
1) Comutativa
a+b=b+a ex: 3 + 7 = 7 + 3
a.b=b.a ex: 2 . 6 = 6 . 2
2) Associativa
(a + b) + c = a + (b + c) ex: (4 + 3) + 5 = 4 + (3 + 5)
(a . b) . c = a . (b . c) ex: (5 . 3) . 2 = 5 . (3 . 2)
3) Elemento neutro
4) Distributiva
Lembrete:
www.focusconcursos.com.br | 1
RLM | Felipe Loureiro
Álgebra de proposições
Relações importantes
1) Conectivo “E”
p∧q=q∧p p ∧ tautologia = p
Associativa Distributiva
(p ∧ q) ∧ r = p ∧ (q ∧ r) p ∧ (q v r) = (p ∧ q) v (p ∧ r)
2) Conectivo “ou”
pvq=qvp p v contradição = p
Associativa Distributiva
(p v q) v r = p ∧ (q v r) p v (q ∧ r) = (p v q) ∧ (p v r)
Outras propriedades
www.focusconcursos.com.br | 2
RLM | Felipe Loureiro
Álgebra de proposições
Idempotentes
p∧p=p
pvp=p
Absorção
p v (p ∧ q) = p
p ∧ (p v q) = p
Exemplo
p v (p ∧ r) é equivalente a:
Exemplo
p ∧ (q v r) é equivalente a:
Exemplo
(p ∧ q) v (p ∧ r) é equivalente a:
Exemplo
q v (r ∧ ¬ r) é equivalente a:
Exemplo
q ∧ (r v ¬ r) é equivalente a:
Atenção
(q v ¬ q) v r é equivalente a:
Curiosidade
(q v ¬ q) v (r v ¬ r) é equivalente a:
www.focusconcursos.com.br | 3
RLM | Felipe Loureiro
Álgebra de proposições
a) ¬p
b) ¬q
c) ¬ (p v q)
d) ¬ (p ∧ q)
e) Uma contradição
a) (p∧¬q)∧(p∧¬r)
b) (p∨¬q)∧(p∨¬r)
c) (p∧¬q)∨(p∧¬r)
d) (¬p∨q)∧(¬p∨r)
e) (¬p∧q)∨(¬p∧r)
a) r v s
b) ~r ∧ ~s
c) ~r v s
d) r v ~s
e) r ∧ s
www.focusconcursos.com.br | 4
RLM | Felipe Loureiro
Álgebra de proposições
a) p∨(q∨∼p)
b) (q→p)→(p→q)
c) p→(p→q∧¬q)
d) p∨∼q→(p→∼q)
e) p∨q→p∧q
( ) Certo
( ) Errado
A) (p ∧ ¬q) ∧ (p ∧ ¬r)
B) (p ∨ ¬q) ∧ (p ∨ ¬r)
C) (p ∧ ¬q) ∨ (p ∧ ¬r)
D) (¬ p ∨ q) ∧ ( ¬ p ∨ r)
E) ( ¬ p ∧ q) ∨ ( ¬ p ∧ r)
b) Se Sueli é professora, então ela não pratica ginástica e não pratica corrida.
www.focusconcursos.com.br | 5
RLM | Felipe Loureiro
Álgebra de proposições
d) Se Sueli não pratica ginástica ou não pratica corrida, então ela é professora.
E(p,q,r): r ∧ (p → q)
A) (r → p) → [ (~r) v (~q) ]
C) (r v (~p)) ∧ (r v q)
D) (r → p) → (r ∧ q)
E) (r ∧ q) → (r → p)
www.focusconcursos.com.br | 6