Você está na página 1de 14

Lgica proposicional

Relaes semnticas entre conectivos

Formas normais

Disjuntiva
Conjuntiva

Conjunto de conectivos completo

Conjunto de conectivos: (, , , , )

Definio (conjunto de conectivos completo): Seja um conjunto


de conectivos. um conjunto completo se as condies a seguir
so satisfeitas. Dada uma frmula H do tipo (P), (PQ), (PQ),
(PQ) ou (PQ), ento possvel determinar uma outra frmula
G, equivalente a H tal que G contm apenas conectivos do
conjunto e os smbolos P e Q presentes em H.

Exemplo de conjunto de conectivos completo


{,}

As frmulas com conectivos {,,} so trocadas por


equivalncias com {,}

Equivalncia entre e {, }

(P Q) (P Q) uma tautologia

Equivalncia entre e {, }

(PQ) (P Q) uma tautologia

Equivalncia entre e {, }?

Equivalncia entre e {,v}

(P Q) ((P Q)(Q P))

Substituindo por seu equivalente

(P Q) ((P Q)(Q P))

Substituindo por seu equivalente

(P Q) ((P Q) (Q P))

Est provada a completude de {,}

O conjunto {,}
O conjunto {,} completo?

possvel encontrar frmulas equivalentes para (PQ), (PQ) e


(PQ) usando o conjunto {,} ?

Qual seria uma possvel redefinio da Linguagem da Lgica


Proposicional?

Redefinio

Alfabeto

Smbolos de pontuao: ( , )
Smbolos de verdade: false.
Smbolos proposicionais: P,Q,R,S,P1,Q1,R1,S1,Q2...
Conectivos proposicionais: ,

O conjunto {,} tambm completo

Formas normais
Uma frmula H est na forma normal disjuntiva (fnd) se uma
disjuno de conjunes de literais

Uma frmula H est na forma normal conjuntiva (fnc) se uma


conjuno de disjunes de literais

Forma normal disjuntiva


Uma frmula est na forma normal disjuntiva (fnd ou DNF,
em ingls) se uma disjuno de conjunes de literais
F da forma F F ... F , onde
1
2
n
F uma conjuno (da forma A A ... A ) e
i
1
2
n
A um literal
i

Ex: H=(P Q) (R Q P) (P S)

Forma normal conjuntiva


Uma frmula est na forma normal conjuntiva (fnc ou CNF,
em ingls) se uma conjuno de disjunes de literais
F da forma F F ... F , onde
1
2
n
F uma disjuno (da forma A A ... A ) e
i
1
2
n
A um literal
i

Ex: G=(P Q) (R Q P) (P S)

Obteno de formas normais


Observe que H e G so parecidos

H=(P Q) (R Q P) (P S), DNF

G=(P Q) (R Q P) (P S), CNF

Para obt-las a partir de frmulas quaisquer usam-se


algoritmos duais

Os mesmos, trocando-se T por F

Algoritmo

Obteno de fnd e fnc para a frmula H

Passo 1: obteno da tabela verdade associada a H


Passo 2: Extraia da tabela verdade as linhas que interpretam a
frmula H como T (para fnd) e como F(para fnc)
Passo 3:

(fnd) Se a interpretao do literal A F ento A


Se a interpretao do literal A T ento A
(fnc) Se a interpretao do literal A F ento A
Se a interpretao do literal A T ento A

Passo 4: Obtenha a conjuno/disjuno dos literais

Exemplo fnd (disjuno de conjunes)


H=(PQ) R

Linhas em que H=T


PQR H
T T T T L1
F T T T L5
F F T T L7

L1 = P Q R

L5 = P Q R

L7 = P Q R

H = L1 L5 L7, FND

H = (P Q R) (P Q R) (P Q R)

PQR
TTT
TTF
TFT
TFF
FTT
FTF
FFT
FFF

H
T
F
F
F
T
F
T
F

L1
L2
L3
L4
L5
L6
L7
L8

Exemplo - fnc
PQR H
H=(PQ) R
T T T T L1
Linhas em que H=F
T T F F L2
PQR H
T F T F L3
T T F F L2
T F F F L4
T F T F L3
F T T T L5
T F F F L4
F T F F L6
F T F F L6
F F T T L7
F F F F L8
L2= P Q R
F F F F L8
L3=P Q R
...
H=L2 L3 L4 L6 L8, FNC
H=(P Q R) (P Q R) (P Q R) (P Q R) (P
Q R)

Exerccios
Obter FND e FNC de (P Q) R
As frmulas H e G so equivalentes?
H = (PQ)(R S)
G = ((PQ) (Q P)) ( RS)