Escolar Documentos
Profissional Documentos
Cultura Documentos
Aula05 Rfon Logica Proposicional Metodos Deter Prop Sem
Aula05 Rfon Logica Proposicional Metodos Deter Prop Sem
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
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
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)
05
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
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:
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:
08
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
Estrutura de rvore
1
3
4
Ns - nmeros
Raiz 1
Folhas 2,6,7,8
09
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
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
T
T
12
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
13
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
14
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
15
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
16
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
17
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
18
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
19
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
20
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
21
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
22
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
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
24
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
25
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
26
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
27
Tb - Verdade
Arvore Semntica
Red.Absurdo
Definies
Lista
PVQ
QP
PQ
PQ
PQ
28