Beruflich Dokumente
Kultur Dokumente
Semântica
Tiago Massoni
proposições são julgadas verdadeiras ou
falsas
T ou F
0 ou 1
V ou F
semântica da fórmula
depende das 2 proposições e o conectivo
l∧e
interpretação
j: programa escrito em Java
w: programa só executa em Windows
j∧¬w
uma interpretação
atribuição de valores para proposições
atômicas
Ex: j=T, W=F
Resultado?
Em geral, função definida como uma
tabela
p q p∧ q
interpretação i resultado
se T, i é um MODELO
semântica de p ∧ q
φ ψ φ∧ψ
T T T
T F F
F T F
F F F
ψ φ ∧conectivos
φ outros ψ φ ψ φ∨ψ
1 Propositional logic
T T T T T T
T F φ ψF φ ∧ ψ T φ Fψ φ ∨Tψ
T T T T T T
F T T FF F F T TF TT
F F F TF F F F FT TF
F F F F F F
ψ φφ →ψ ψφ → ψ φ φ¬φ¬φ ⊤
⊤ ⊥
⊥
T T TT T T TF F TT F F
F T FF F F FT T
F T T
T T
T F F T F
F T F F T
implicação...confuso?
F F F F F
φ ψ φ→ψ φ ¬φ
T T T T F
T F F F T
F T T
F F T
1700 1900
We are
Here!
Na sua obra "Mathematical Analysis of
Logic", publicada em 1847, a lógica foi
pela primeira vez de uma forma
consistente tratada como um calculo de
signos algébricos.
Boole
exercício
Allan Quaterman, em uma caverna, encontra
duas arcas, A e B. Cada uma pode ter um
tesouro ou uma armadilha mortal.
Na arca A: “Pelo menos uma destas arcas
contém o tesouro”
Na arca B: “Em A existe uma armadilha”
Allan sabe que ambas são verdadeiras ou
ambas são falsas. Qual arca deve ser aberta
para o tesouro?
exercício
a: arca A contém o tesouro
b: arca B contém o tesouro
Formalizando as escrituras:
a∨b
¬a
Fato: escrituras verdadeiras ou falsas em
conjunto
}
Merge
list merge(l1, l2)
{
if (isEmpty(l1) && isEmpty(l2))
return emptyList
}
Merge
list merge(l1, l2)
{
if (isEmpty(l1) && isEmpty(l2))
return emptyList
}
Merge
list merge(l1, l2)
{
if (isEmpty(l1) && isEmpty(l2))
return emptyList
import
Validade de um argumento
Em um argumento válido
premissas são provas evidentes da verdade
da conclusão
Se premissas=T, conclusão=T
Vinculação semântica
TABELA VERDADE DEVE MOSTRAR ESTE
RESULTADO!
Se premissas=T, conclusão=T
Exercício
p∧q⊨p
p∨q⊨p
¬q, p ∨ q ⊨ p
validade e
veracidade
Todo programador é nerd.
Nerds odeiam videogames.
Então todo programador
odeia videogame.
Equivalência
Equivalência
φ≡ψ
se, e somente se,
φ ⊧ ψ and ψ ⊧ φ
35
Lógica Proposicional
Semântica
Tiago Massoni