Documente Academic
Documente Profesional
Documente Cultură
16 de Agosto de 2010
www.rgnegri.com/matdiscreta/Aula5.RelacoesLogicas.pdf
1 / 18
Resumo da aula anterior...
2 / 18
Resumo da aula anterior...
p q r p∧q p∧q →r
V V V V V
V V F V V
V F V F F
V F F F V
F V V F F
F V F F V
F F V F F
F F F F V
3 / 18
Relações Lógicas
Tautologias
Definição: Tautologia é toda expressão lógica cujo valor é
sempre verdadeiro, independentemente dos valores lógicos das
proposições simples que a compõe.
6 / 18
Relações Lógicas
Exercícios
Verifique se as expressões a seguir são tautologias, contradições ou
contingências. Justifique.
1 p → (q → p)
2 p → (q → (p ∨ q))
3 ¬p ∨ (p ∧ q)
4 ¬(p ∧ ¬p)
7 / 18
Relações Lógicas
Relação de implicação
Definição: Uma expressão p é uma implicação em q se, e somente se, p → q é
uma tautologia;
A relação de implicação é denotada por: p ⇒ q
Exemplo: (p ∧ q) → (p ∨ q)
Tabela Verdade: (p ∧ q) → (p ∨ q)
p q p ∧ q p ∨ q (p ∧ q) →p ∨q
V V V V V
V F F V V
F V F V V
F F F F V
8 / 18
Relações Lógicas
Relação de equivalência
Definição: De forma análoga a relação de implicação, p equivale a outra
proposição q se, e somente se, p ↔ q é uma tautologia;
A relação de implicação é denotada por: p ⇔ q
Exemplo: ¬(p → q) ↔ (p ∧ ¬q)
Como a relação ¬(p → q) ↔ (p ∧ ¬q) acima é uma tautologia, podemos dizer então
que ¬(p → q) ⇔ (p ∧ ¬q).
9 / 18
Relações Lógicas
Exercícios
Verifique se a expressões a seguir são implicações, equivalências ou
nenhum dos casos. Justifique.
1 ¬(p ∨ ¬q) ⇒ ¬p ∧ q
2 p ∧ ¬q ⇔ ¬(p → q)
3 (p → q) ∧ ¬p ⇒ ¬q
4 p ↔ ¬q ⇔ q → p
10 / 18
Relações Lógicas
Consequências diretas das relações de equivalência
As relações de equivalência podem ser comparadas com a
igualdade (=);
Exemplo:
Já foi verificado que: ¬(p → q) ⇔ (p ∧ ¬q)
Dada a expressão: r ↔ ¬(p → q)
Pode-se dizer que o seu significado é o mesmo que: r ↔ (p ∧ ¬q)
13 / 18
Relações Lógicas
∴ (p ∧ q) → r ⇔ p → (q → r )
L4: Associatividade na conjunção / L11: Dupla negação / L12: Lei da passagem
14 / 18
Relações Lógicas
∴ p → q ⇔ ¬p ∨ q
L9: Lei de De Morgan para conjunção / L11: Dupla negação / L12: Lei da passagem
∴ p ∧ (¬p ∨ q) ⇔ p ∧ q
L9: Distributividade com relação a conjunção / f : proposição falsa
15 / 18
Relações Lógicas
Verifique que (¬p ∧ q) ⇒ ¬p.
Verificar esta implicação equivale a provar que (¬p ∧ q) → ¬p ⇔ v
(pela definição de implicação).
L12 L11 L2
(¬p ∧ q) → ¬p ⇔ ¬((¬p ∧ q) ∧ ¬(¬p)) ⇔ ¬(¬p ∧ q ∧ p) ⇔
¬(¬p ∧ p ∧ q) ⇔ ¬(f ∧ q) ⇔ ¬f ⇔ v
∴ (¬p ∧ q) ⇒ ¬p
L2: Comutatividade na conjunção / L11: Dupla negação / L12: Lei da passagem / f proposição
falsa / v proposição verdadeira
Simplificar (p ∨ q) ∧ ¬p
L2 L8 L13 L16
(p∨q)∧¬p ⇔ ¬p∧(p∨q) ⇔ (¬p∧p)∨(¬p∨q) ⇔ f ∨(¬p∨q) ⇔ ¬p∨q
∴ (p ∨ q) ∧ ¬p é simplificado para ¬p ∨ q
L2: Comutatividade na conjunção / L8: Distributividade com relação a conjunção / f proposição
falsa
16 / 18
Relações Lógicas
Exercícios
Mostre as seguintes equivalências utilizando as Leis do Cálculo
Proposicional
1 (¬(p ∨ ¬q)) ⇔ ¬p ∧ q
2 ¬((p ∨ q) ∧ q) ⇔ ¬(p ∧ r ) ∧ (¬q ∨ ¬r )
3 p → (q → r ) ⇔ q → (p → r )
4 p → (q → r ) ⇔ ¬r → (p → ¬q)
Simplifique, se possível:
1 p ∨ (p ∧ q)
2 p ∧ (p ∨ q)
3 (¬p ∧ ¬q) ∨ ¬(p ∨ ¬q)
4 ¬(¬p ∨ ¬(¬p ∨ q))
17 / 18
Relações Lógicas
Exercícios
Sabendo que p ↔ q ⇔ (p → q) ∧ (q → p), prove que:
1 ¬(p ↔ q) ⇔ p ↔ ¬q
2 ¬p ↔ q ⇔ p ↔ ¬q
3 ¬(¬p ↔ q) ⇔ p ↔ q
4 ¬(p ↔ q) ⇔ (¬p ∧ q) ∨ (p ∧ ¬q)
Exercícios
Provar que p ⇒ q equivale a provar que p → q ⇔ v , sendo v uma
proposição Verdadeira.
Com base neste argumento, prove as seguintes implicações:
1 p ⇒ (p ∨ q)
2 ((p ∧ q) → r ) ⇒ (p → (q → r ))
3 p → (r ∧ ¬r ) ⇒ ¬p
4 (p → q) ⇒ ((q → s) → (p → s))
18 / 18