Lógica CP: semântica

• Modelo
Uma interpretação que atribui o valor de verdade true a
uma fórmula

• Tautologia (fórmula válida)

Fórmula verdadeira para todas as interpretações

(P ∨ ¬P)

• Contradição (fórmula inconsistente)

Fórmula falsa para todas as interpretações

(P ∧ ¬P)

• Contingência
Fórmula verdadeira para umas interpretações e falsa
para outras.

(P ∨ Q)

Lógica: Equivalências Proposicionais  2000, Ernesto Costa

 Lógica Equivalências

• Duas proposições p e q dizem-se logicamente

equivalentes se p → q é uma tautologia.

Usa-se a notação: p ⇔ q

• Modo de provar: usando tabelas de verdade.

- como funciona?
- porque funciona?

Exemplo: (p → q) ⇔ (¬p ∨ q)

Lógica: Equivalências Proposicionais  2000, Ernesto Costa

 Lógica Equivalências

Equivalências Nome
p ∧T ⇔ p
Leis de Identidade
p∨F⇔ p

p ∨T ⇔ T
Leis de Dominância
p∧F⇔ F

p∨p⇔ p
p ∧ p⇔ p
Leis da Idempotência

¬(¬p) ⇔ p Lei da Dupla Negação

p ∨q ⇔ q∨ p
p ∧q ⇔ q ∧ p
Leis da Comutatividade

(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r)
Leis da Associatividade
(p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)

p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
Leis da Distributividade
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)

¬(p ∧ q) ⇔ ¬p ∨ ¬q
Leis de De Morgan
¬(p ∨ q) ⇔ ¬p ∧ ¬q

Lógica: Equivalências Proposicionais  2000, Ernesto Costa

 Lógica CP: Dualidade

• Princípio da Dualidade

Sejam F e G são duas FBFs equivalentes e

F’e G’ duas FBFs que se obtêm de F e de G,
trocando true por false e false por true
e ainda ∨ por Λ e Λ por ∨ .

Então F’ e G’ são equivalentes.

Lógica: Equivalências Proposicionais  2000, Ernesto Costa

 Lógica CP: Equivalência

Regra da Substituição

Qualquer sub-FBF de uma FBF pode ser substituida

por outra FBF equivalente, sem alterar o valor de
verdade da FBF original

• Aplicações

(a) provar equivalência entre FBFs sem recurso

a tabelas de verdade

(b) definir o estatuto de uma FBF (tautologia,

contradição, contingência) sem recurso a tabelas de
verdade.

Lógica: Equivalências Proposicionais  2000, Ernesto Costa

 Lógica CP: equivalência

• Exemplo (a)

A → (B → C) ⇔ B → ( A → C)

A → (B → C) ⇔ ¬A ∨ (¬B ∨ C) ⇔
(¬A ∨ ¬B) ∨ C ⇔ (¬B ∨ ¬A) ∨ C ⇔
¬B ∨ (¬A ∨ C) ⇔ ¬B ∨ (A → C) ⇔
B → (A → C)

Lógica: Equivalências Proposicionais  2000, Ernesto Costa

 Lógica CP: Equivalência

• Exemplo (b) - Método de Quine

((A ∧ B → C) ∧ (A ∧ B)) → (A → C)

• Visualização gráfica: árvore binária

P→Q∧P
P=true P=false
true → Q ∧ true false → Q ∧ false
true → Q false → false
Q true
Q=true Q=false

true false

Lógica: Equivalências Proposicionais  2000, Ernesto Costa

 Lógica CP:Formas Normais

• Literal

• Mintermo

• Forma Normal Disjuntiva (FND)

• Maxtermo (cláusula)

• Forma Normal Conjuntiva (FNC)

Lógica: Equivalências Proposicionais  2000, Ernesto Costa

 Lógica CP: FND

• Teorema: toda a FBF é equivalente a uma FND

• Algoritmo:

1) Eliminar equivalências
2) Eliminar implicações
3) Aproximar negações (criar literais)
4) Aplicar propriedade distributiva

• Exemplo

((P ∧ Q) → R) ∧ S ⇔
(¬(P ∧ Q) ∨ R) ∧ S ⇔
(¬P ∨ ¬Q ∨ R) ∧ S ⇔
(¬P ∧ S) ∨ (¬Q ∧ S) ∨ (R ∧ S)

Lógica: Equivalências Proposicionais  2000, Ernesto Costa

 Lógica CP: FNC

• Teorema: toda a FBF é equivalente a uma FNC

• Algoritmo:

1) Eliminar equivalências
2) Eliminar implicações
3) Aproximar negações (criar literais)
4) Aplicar propriedade distributiva

• Exemplo
((P ∨ Q) → R) ∨ S ⇔
(¬(P ∨ Q) ∨ R) ∨ S ⇔
((¬P ∧ ¬Q) ∨ R) ∨ S ⇔
((¬P ∨ R) ∧ (¬Q ∨ R)) ∨ S ⇔
(¬P ∨ R ∨ S) ∧ (¬Q ∨ R ∨ S)

Lógica: Equivalências Proposicionais  2000, Ernesto Costa

 CP: conjunto
Lógica completo

• Necessitamos dos 5 conectores lógicos?

- equivalência

- implicação

• necessitamos dos restantes ?

{¬,∨}
{¬,∧}

• Bastam dois?

- NAND

• Conjuntos funcionalmente completos!

Lógica: Equivalências Proposicionais  2000, Ernesto Costa