Mtodos para determinao de

propriedades semnticas de
frmulas da Lgica
Proposicional(Captulo 4)
LGICA APLICADA A COMPUTAO
Professor: Rosalvo Ferreira de Oliveira Neto

Estrutura
1.
2.
3.
4.
5.

Tabela-Verdade
rvore Semntica
Mtodo da Negao, ou Reduo ao Absurdo
Definies
Lista

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

As propriedades semnticas bsicas da Lgica Proposicional

Tautologia
Satisfatvel
Contingncia
Contraditria

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

04

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Tabela-Verdade
O mtodo mais simples para determinar estas propriedades.
Exemplo: Leis de De Morgan
(P Q) ( P V Q)
(P V Q) ( P Q)

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

05

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Verificao das leis de De Morgan atravs do mtodo da TabelaVerdade

As duas frmulas so tautologias !

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

06

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Limitao da tabela-verdade
O mtodo da tabela-verdade mais adequado a frmulas que
contm um pequeno nmero de smbolos proposicionais.
Considere a frmula:

H = P1 ((P2 P3) (P4 P5)) ((P6 P7) P8))

A tabela verdade associada a esta frmula possui quantas linhas?

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

07

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Limitao da tabela-verdade
O mtodo da tabela-verdade mais adequado a frmulas que
contm um pequeno nmero de smbolos proposicionais.
Considere a frmula:

H = P1 ((P2 P3) (P4 P5)) ((P6 P7) P8))

A tabela verdade associada a esta frmula possui quantas linhas?
256
Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

08

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Estrutura de rvore
1

3
4

Ns - nmeros
Raiz 1
Folhas 2,6,7,8

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

09

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Determinar se a frmula abaixo uma tautologia utilizando o

mtodo da rvore semntica
H=(P Q)(QP)

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

10

Tb - Verdade

Arvore Semntica

N 2:
H=(PQ) ((Q)(P))
T
T
T
FT

Red.Absurdo

Definies

Lista

I[P]=T
2

I[P]=F
3

N 3:
H=(PQ) ((Q)(P))
FT
T
T TF
Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

11

Tb - Verdade

Arvore Semntica

N 4:
H=(PQ) ((Q)(P))
T T T T FT T FT
N 5:
H=(PQ) ((Q)(P))
TF F T TF T FT

Red.Absurdo

Definies

Lista

I[P]=T

I[P]=F

I[Q]=T

I[Q]=F

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

T
T

12

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Acabamos de provar a lei da contradio

(PQ) (QP)

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

13

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Interpretaes do resultado das rvores semnticas

Observe que se as folhas da rvore semntica resultante estiverem
todas rotuladas com F, ento a frmula objeto da anlise
contraditria. Se pelo menos uma folha estiver rotulada com T,
ento a frmula satisfatvel, se houver rtulos T e F, a frmula
uma contingncia.

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

14

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Mtodo da Negao, ou Reduo ao Absurdo

Objetivo
negada a afirmao que desejamos demonstrar.
Aps um conjunto de dedues,
caso obtenhamos um absurdo,
ento a afirmao inicial verdadeira.

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

15

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Aplicao do mtodo s frmulas com conectivo

Exemplo:
H = (( P Q ) ( Q R )) ( P R )
A frmula H uma tautologia?

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

16

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Aplicao do mtodo s frmulas com conectivo

Exemplo:
H = (( P Q ) ( Q R )) ( P R )
A frmula H uma tautologia?
1 negamos o que pretendemos verificar, ou seja, assumimos que H
no uma tautologia, ou seja existe uma interpretao em que H
falsa
2 verificamos se existe absurdo.
Para a frmula acima existe absurdo, por isso H uma tautologia
Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

17

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Aplicao do mtodo s frmulas com conectivo

Exemplo:
H = ( ( P Q ) ( Q R )) ( P R )
A frmula H contraditria?

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

18

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Aplicao do mtodo s frmulas com conectivo

Exemplo:
H = ( ( P Q ) ( Q R )) ( P R )
A frmula H contraditria?
1 negamos o que pretendemos verificar, ou seja, assumimos que H
no uma contradio, ou seja, existe uma interpretao em que H
verdadeira.
2 verificamos se existe absurdo.
Para a frmula acima existe absurdo, por isso ela contraditria
Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

19

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Aplicao do mtodo s frmulas com conectivo

Exemplo:
H = (( P Q ) ( Q R )) ( P R )
A frmula H uma tautologia?

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

20

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Aplicao do mtodo s frmulas com conectivo

Exemplo:
H = (( P Q ) ( Q R )) ( P R )
A frmula H uma tautologia?
1 negamos o que pretendemos verificar, ou seja, assumimos que H
no uma tautologia.
2 verificamos se existe absurdo.
Para a frmula acima existe absurdo, por isso H uma tautologia
Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

21

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Aplicao do mtodo s frmulas com conectivo

Exemplo:
H = ( P Q ) ( P Q )
A frmula H uma tautologia?

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

22

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Aplicao do mtodo s frmulas com conectivo

Exemplo:
H = ( P Q ) ( P Q )
A frmula H uma tautologia?
1 negamos o que pretendemos verificar, ou seja, assumimos que H
no uma tautologia.
2 verificamos se existe absurdo.
Para a frmula acima no existe absurdo, no se pode concluir que H
tautologia

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

23

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Exerccio
Por rvore semntica e por negao determine se a frmula
abaixo uma tautologia.
(H) H

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

24

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

A decidibilidade do conjunto das tautologias

Os mtodos apresentados neste captulo constituem algoritmos
que decidem se um dada frmula H , ou no, uma tautologia.

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

25

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

Os mtodos apresentados so corretos e completos

Eles so corretos porque, dada uma frmula H, que no
uma tautologia, tais mtodos nunca respondero o contrrio,
que H uma tautologia. As respostas dadas pelos mtodos so
corretas.
Eles so completos. Isso significa que, dada uma
tautologia H; possvel construir uma tabela verdade, uma rvore
semntica ou uma prova por negao, que prove que H
realmente uma tautologia.

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

26

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

1- Determine as propriedades semnticas da frmula abaixo

utilizando o mtodo da rvore semntica.
H = ((P Q) V R V S) V (P1 Q1)

Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

27

Tb - Verdade

Arvore Semntica

Red.Absurdo

Definies

Lista

2- Considere G uma das frmulas indicadas a seguir:

a)
b)
c)
d)
e)

PVQ
QP
PQ
PQ
PQ

Determine utilizando o mtodo da reduo ao absurdo

I) P Q
G
II) P Q G
III) P V Q G
IV) P Q G
Univasf Engenharia de Computao - LGICA APLICADA A COMPUTAO - Prof.: Rosalvo Neto

28