Professional Documents
Culture Documents
Proposicional
Semântica
Semântica
Existe uma diferença entre os objetos e
seu significado
Existe um mundo sintático e um mundo
semântico
Sintático – símbolos do alfabeto e fórmulas
(consideradas apenas como concatenções de
símbolos)
Semântico – significado dos símbolos e
fórmulas
Em Lógica, semântica é a associação
entre um objeto sintático e seu
significado, de forma a, num nível de
[Gaiarsa
Semântica
P (símbolo sintático) representa
“Está chovendo”
Q representa
“A rua está molhada”
H G HG I[G]=F
I[HG]=T se I[H]=F,
-----------------
T T T independente de G
T F F
Se está chovendo, então a
F T T
rua está molhada.
F F F
(P (P v Q))
Causalidade e Implicação
Não há relação entre causalidade e
implicação
Q = “o sol é redondo”
P = “Maluf é honesto”
I[PQ]=T, sem relação de causalidade, pois
I[Q]=T
R = “é possível 2 objetos ocuparem o
mesmo lugar no espaço”
S = “a lua é redonda”
I[RS]=T
Interpretação de uma
fórmula
Se temos a fórmula H=((¬P)v(¬Q))
R e a interpretação
I[P]=T,I[Q]=F,I[R]=T,I[S]=T
Qual a interpretação de H ?
Fazer tabela verdade (de uma linha
)
Interpretação de uma
fórmula (cont.)
Se E = =((¬P)^Q)(RvP) e
H=(falseP) e as interpretações I
eJ
I[P]=T,I[Q]=F,I[R]=T,I[P1]=F
J[P]=F,J[Q]=T,J[R]=F
I[H]=?
J[H]=?
I[P true]=?
J[P true]=?
Propriedades semânticas
básicas
Uma fórmula H é uma tautologia
(ou é válida) se e somente se para
toda interpretação I, I[H]=T
H é factível ou satisfazível se e
somente se existe uma
interpretação I tal que I[H]=T
H é contraditória se e somente se
para toda interpretação I, I[H]=F
Propriedades semânticas
básicas (cont.)
Dadas 2 fórmulas H e G,HG se e
somente se para toda
interpretação I, se I[H]=T então
I[G]=T
Dadas H e G,H↔ G se e somente
se para toda interpretação I,
I[H]=I[G]
Dados H e uma interpretação I, I
satisfaz H se e somente se I[H]=T
Propriedades semânticas
básicas (cont.)
Um conjunto de fórmulas β
={H1,H2,...Hn} é satisfazível se e
somente se existe uma interpretação I
tal que I[H1]= I[H2]= ... = I[Hn]= T
I satisfaz o conjunto de fórmulas β, ou I[β]
=T
Toda I satisfaz o conjunto de fórmulas
vazio
Exemplo de Tautologia
A fórmula H=Pv¬P é uma tautologia,
pois toda I[H]=T
I[H]=T I[Pv¬P]=T
I[P]=T e/ou I[¬P]=T
I[P]=T e/ou I[P]=F
( aqui quer dizer “o mesmo que, equivale a”)
Como I é uma função binária com
I[H]=T I[P^¬P]=T
I[P]=T e I[¬P]=T
I[P]=T e I[P]=F
H1=P1^P2^QQ
H2=P1^P2^Q¬Q
H3=(Pv¬P)(Q^¬Q)
Implicação
Se E=((P^Q)VQ) e E G?
H=(P^Q) e E H?
G=(PQ) H G?
H E?
G H?
Exercício
Prove que se temos as fórmulas
proposicionais H=(P^Q) e G=P,
então H G
Se H=F, G=?
Equivalência
Exemplo (Lei de Morgan)
H=(¬P^¬Q) e G=¬(PvQ)
Temos que demonstrar que, para
toda interpretação I, I[H]=I[G]
Casos I[H]=T e I[H]=F
(¬P^¬Q) ↔ ¬(PvQ) ?
Caso I[H]=T Caso I[H]=F
I[H]=T Exercício ou
I[¬P^¬Q]=T Olhar tabelas
I[¬P]=T e I[¬ verdade das 2
Q]=T fórmulas
I[P]=F e I[Q]=F
I[PvQ]=F
I[¬(PvQ)]=T
I[G]=T
I[H]=T
Exemplos de
Satisfatibilidade e
Insatisfatibilidade
Qual(is) conjunto(s) são
(in)satisfazíveis:
H1=P, H2=¬P e H3=Q
E=(P Q), H=(Q R) e G=(R P)
Relações entre as
Propriedades Semânticas
Validade e factibilidade
H é válida ¬H é contraditória
H é válida H é satisfazível
( quer dizer “se … então…”)
¬H não é satisfazível ¬H é
contraditória
Relações entre as
Propriedades Semânticas
(cont.)
Dadas 2 fórmulas H e G,
H implica G (H G) é tautologia
H equivale a G (H ↔ G) é tautologia
Provar que (H G) e (G H)
Transitividade da equivalência
E↔ HeH↔ G E↔ G
Relações entre as
Propriedades Semânticas
(cont.)
Satisfabilidade e factibilidade
Seja {H1,H2,...Hn} um conjunto de
fórmulas
{H1,H2,...Hn} é satisfatível
{H1^H2^...^Hn} é satisfatível
Equivalências
aqui quer dizer “o mesmo que,
equivale a” e quer dizer “se … então
…”
Cuidado: Há uma diferença entre eles:
H equivale a G
G equivale a H
{ G é tautologia H é tautologia} (5)
Portanto,
H equivale a G
{ H é tautologia G é tautologia} (2)
E prop2 prop1
Implicação e Validade
(cont.)
Se {H é tautologia G é
tautologia}(4) e{ G é tautologia H
é tautologia} (5) então
{ H é tautologia G é tautologia} (2)
E portanto,
H equivale a G
{ H é tautologia G é tautologia} (2)
Lema (implicação)
(A (B C)) equivale a ((A^B) C)
Olhar tabelas verdade
H equivale a G
{ H é tautologia G é tautologia}(4)
é exatamente deste tipo!
Portanto, (4) equivale a
{H implica G} e
{H é tautologia}
Para
{G é tautologia}
ser verdade, então
{G é tautologia} toda I[G]=T
Proposição 3 –
Implicação e Validade
(cont.)
{G é tautologia} toda I[G]=T
Mas se {H é tautologia}, toda
I[H]=T
Como {H implica G}, então toda
I[G]=T
{G é tautologia}
prop3 prop2
prop2 prop1