Lógica e Fundamentos para

Computação
Prof. Luan Soares Oliveira
luan@cefetmg.br
 Propriedades - Conjunção
• Sejam p, q e r proposições simples quaisquer e
sejam t e c proposições também simples,
cujos valores lógicos respectivos são V
(verdade) e F (falsidade):
• Idempotente: p ∧ p ⇔ p
– p ∧ p ↔ p é tautologia
 Propriedades
• Comutativa : p ∧ q ⇔ q ∧ p
 Propriedades
• Associativa: (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)
 Propriedades
• Identidade: p ∧ T ⇔ p; p ∧ C = C
 Propriedades - Disjunção
• Idempotente p v p ⇔ p

• Comutativa: p v q ⇔ q v p
 Propriedades
• Associativa: (p v q) v r ⇔ p v (q v r)
 Propriedades
• Identidade: p v T ⇔ T; p v C ⇔ p
Propriedades – Conjunção e disjunção
– Distributiva: p ∧ (q v r) ⇔ (p ∧ q) v (p ∧ r)

Lembre-se da matemática: 2.(X+Y) = 2.X+2.Y

Propriedades – Conjunção e disjunção
• Distributiva: p ∧ (q v r) ⇔ (p ∧ q) v (p ∧ r)
• Inverte-se o conectivo principal
• “Carlos estuda e Jorge ouve música ou lê”
– P ∧ (Q v R)
• (P ∧ Q) v (P ∧ R)
– “Carlos estuda e Jorge ouve música ou Carlos
estudo e Jorge lê”

Lembre-se da matemática: 2.(X+Y) = 2.X+2.Y

Propriedades – Conjunção e disjunção
• Distributiva: p v (q ∧ r) ⇔ (p v q) ∧ (p v r)
Propriedades – Conjunção e disjunção
• Absorção: p ∧ (p v q) ⇔ p
Propriedades – Conjunção e disjunção
• Absorção: p v (p ∧ q) ⇔ p
 Propriedades – Conjunção e disjunção
• De Morgan: ~(p ∧ q) ⇔ ~p v ~q
• “Não é verdade que a rua está molhada e
também suja” equivale a dizermos que “A rua
não está molhada ou não está suja.”

A negação da proposição "Pedro é inteligente e

estuda.“ é a proposição: "Pedro não é inteligente ou
Pedro não estuda."
 Propriedades – Conjunção e disjunção
• De Morgan: ~(p v q) ⇔ ~p ∧ ~q
– “Não é verdade que eu tirei mais de 5 na prova ou
que eu tirei menos de 3 na prova”. Equivale dizer
que “eu não tirei mais de 5 na prova e também
não tirei menos que 3 na prova”

A negação da proposição "Rafael é médico ou

professor.“ é a proposição: "Rafael não é médico e
Rafael não é professor".
Propriedades – Conjunção e disjunção
• De Morgan:
– ~(p ∧ q) ⇔ ~p v ~q
– ~(p v q) ⇔ ~p ∧ ~q
• Negar que duas preposições são ao mesmo
tempo verdadeiras equivale a afirmar que
uma pelo menos é falsa.
• Negar que pelo menos uma de duas
preposições é verdadeira equivale a afirmar
que ambas são falsas.
 Negação da condicional
• p → q ⇔ ~p v q
– “Se choveu então a rua está molhada” ⇔ “Não
choveu ou a rua está molhada.”
• ~(p → q) ⇔ ~(~p v q)
– ⇔ ~(~p) ∧ ~q
– ⇔ p ∧ ~q
 Negação da bicondicional
• p ↔ q ⇔ (p → q) ∧ (q → p)
– (p ↔ q) ⇔ (~p v q) ∧ (~q v p)
• ~(p ↔ q) ⇔ ~((~p v q) ∧ (~q v p))
– ⇔ ~(~p v q) v ~(~q v p)
– ⇔ (~(~p) ∧ ~q) v (~(~q) ∧ ~p)
– ⇔ (p ∧ ~q) v (q ∧ ~p)
 Negação da bicondicional
• ~(p ↔ q) ⇔ ~p ↔ q ⇔ p ↔ ~q

• p ↔ q ⇔ q ↔ p (Comutativa)
• (p ↔ q) ↔ r ⇔ p ↔ (q ↔ r) (Associativa)
 Outras equivalências
• p ↔ q ⇔ (p ∧ q) v (~p ∧ ~q) (Bicondicional)

• p → q ⇔ ~q → ~p (Contraposição)

• (p ∧ q) → r ⇔ p → (q → r) (Exportação/
Importação)
 Exercícios
1. Demonstre as propriedades comutativa e associativa
da bicondicional
2. Demonstre por tabela verdade as seguintes
equivalências:
a) p → q ∧ r ⇔ (p → q) ∧ (p → r)
b) p → q v r ⇔ (p → q) v (p → r)
3. Escreva em linguagem natural a negação de:
a) O céu é azul e as nuvens são brancas.
b) É falso que não está frio ou chovendo.
c) Não é verdade que Maria faz informática, e não medicina.
4. Demonstrar as seguintes regras de De Morgan:
a) ~(p ∧ q ∧ r) ⇔ ~p v ~q v ~r
b) ~(p v q v r) ⇔ ~p ∧ ~q ∧ ~r