Upload
eric9r
View
219
Download
0
Embed Size (px)
Citation preview
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 1/66
Aula 2
Semantica e Gramatica Gerativa
Aula 2
Marcelo [email protected]
Universidade de Sao Paulo
USP, 22 de Agosto de 2012
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 2/66
Aula 2
Semantica e Gramatica Gerativa
Aula 2
Marcelo [email protected]
Universidade de Sao Paulo
USP, 22 de Agosto de 2012
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 3/66
Aula 2
De Conjuntos para Funcoes
Na aula passada: verbos intransitivos denotavam conjuntos.
trabalha = {x: x trabalha}
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 4/66
Aula 2
De Conjuntos para Funcoes
Na aula passada: verbos intransitivos denotavam conjuntos.
trabalha = {x: x trabalha}
A partir de hoje: verbos intransitivos (e varios outros tipos deconstituintes sintaticos) denotarao funcoes.
Conforme veremos, lidar com funcoes nos trara um poder degeneralizacao imenso.
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 5/66
Aula 2
Funcoes
Funcoes: dispositivos que mapeiam elementos de um conjunto(domınio) em elementos de um outro conjunto(contra-domınio)
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 6/66
Aula 2
Funcao Sucessor
Mapeia numeros naturais em numeros naturais.
Para todo n ∈ N, S (n) = n + 1
S(0) = 1, S(1) = 2, ...
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
A l 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 7/66
Aula 2
Funcoes Caracterısticas
O domınio e um conjunto qualquer (p. ex N) e ocontradomınio e o conjunto {0,1}
f (x ) =
1 se x e par
0 se x e impar
Essa funcao caracteriza o conjunto dos numeros pares.
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
A l 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 8/66
Aula 2
Notacao Lambda - λ
Funcao Sucessorλx : x ∈ N . x + 1 A domınio valor
ou, se o contexto deixar claro o domınio da funcao
λx . x + 1
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 9/66
Aula 2
Notacao Lambda - λ
Funcao Caracterısticaλx : x ∈ N . x e par A domınio retorna o valor 1 sse
ou, se o contexto deixar claro o domınio da funcao
λx . x e par
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 10/66
Aula 2
Verbos Intransitivos
S
NP
Pedro
VP
fuma
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 11/66
Aula 2
Verbos Intransitivos
S
NP
Pedro
VP
fuma
S = 1 sse Pedro fumaPedro = pedro
fuma = ???
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 12/66
Aula 2
Verbos Intransitivos
1 sse Pedro fuma
pedro
Pedro
???
fuma
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 13/66
Verbos Intransitivos
1 sse Pedro fuma
pedro
Pedro
???
fuma
Se a extensao de fuma for uma funcao, ela deve levarindivıduos em valores de verdade, de modo que um indivıduox seja mapeado no valor 1 se x fuma, e no valor 0 se x nao
fuma.
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 14/66
Verbos Intransitivos
1 sse Pedro fuma
pedro
Pedro
???
fuma
Se a extensao de fuma for uma funcao, ela deve levarindivıduos em valores de verdade, de modo que um indivıduox seja mapeado no valor 1 se x fuma, e no valor 0 se x nao
fuma. fuma = λx . x fuma
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 15/66
Verbos Intransitivos
1 sse Pedro fuma
pedro
Pedro
λx . x fuma
fuma
S = fuma(Pedro)
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 16/66
Predicacao como Aplicacao Funcional
Aplicacao Funcional
Seja α um no ramificado, cujos constituintes imediatos sao β e γ .Se β e uma funcao e γ pertence ao domınio de β , entao α= β (γ ).
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 17/66
Verbos Transitivos
S
NP
Pedro
VP
V
ama
NP
Maria
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 18/66
Verbos Transitivos
S
NP
Pedro
VP
V
ama
NP
Maria
S = 1 sse Pedro ama MariaPedro = pedro
Maria = mariaama = ???VP = ???
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 19/66
Verbos Transitivos
1 sse Pedro ama Maria
pedro
Pedro
???
???
ama
maria
Maria
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 20/66
Verbos Transitivos
1 sse Pedro ama Maria
pedro
Pedro
???
???
ama
maria
Maria
Se a extensao de ama Maria for uma funcao, ela deve levarindivıduos em valores de verdade, de modo que um indivıduo
y seja mapeado no valor 1 se y ama Maria, e no valor 0 se y nao ama Maria.
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 21/66
Verbos Transitivos
1 sse Pedro ama Maria
pedro
Pedro
???
???
ama
maria
Maria
Se a extensao de ama Maria for uma funcao, ela deve levarindivıduos em valores de verdade, de modo que um indivıduo
y seja mapeado no valor 1 se y ama Maria, e no valor 0 se y nao ama Maria.
ama Maria = λy . y ama Maria
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 22/66
Verbos Transitivos
1 sse Pedro ama Maria
pedro
Pedro
λy . y ama Maria
???
ama
maria
Maria
S = ama Maria(Pedro) (Aplic. Func.)
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 23/66
Verbos Transitivos
1 sse Pedro ama Maria
pedro
Pedro
λy . y ama Maria
???
ama
maria
Maria
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 24/66
Verbos Transitivos
1 sse Pedro ama Maria
pedro
Pedro
λy . y ama Maria
???
ama
maria
Maria
Se a extensao de ama for uma funcao, ela deve levarindivıduos em funcoes, de modo que um indivıduo x seja
mapeado em uma funcao f , a qual mapeia um indivıduo y novalor 1 se y ama x e no valor 0 se y nao ama x .
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 25/66
Verbos Transitivos
1 sse Pedro ama Maria
pedro
Pedro
λy . y ama Maria
???
ama
maria
Maria
Se a extensao de ama for uma funcao, ela deve levarindivıduos em funcoes, de modo que um indivıduo x seja
mapeado em uma funcao f , a qual mapeia um indivıduo y novalor 1 se y ama x e no valor 0 se y nao ama x .
ama = λx . [λy . y ama x ]
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 26/66
Verbos Transitivos
1 sse Pedro ama Maria
pedro
Pedro
λy . y ama Maria
λx . [λy . y ama x ]
ama
maria
Maria
S = ama Maria(Pedro) (Aplic. Func.) ama maria = ama(Maria) (Aplic. Func.)
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 27/66
Verbos Bitransitivos
S
NPsu
Pedro
VP
V’
V
apresentou
NPod
Joao
PP
P
pra
NPoi
Maria
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 28/66
Verbos Bitransitivos
1 sse Pedro apresentou Joao pra Maria
pedro
Pedroapresentou Joao pra Maria
apresentou Joao pra Maria = ???
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 29/66
Verbos Bitransitivos
1 sse Pedro apresentou Joao pra Maria
pedro
Pedro
λz . z apresentou Joao pra Maria
apresentou Joao pra Maria
apresentou Joao pra Maria = λz . z apresentou Joao pra Maria
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 30/66
Verbos Bitransitivos
λz . z apresentou Joao pra Maria.
apresentou
joao
Joao
maria
vacuo
pra
maria
Maria
apresentou Joao = ???
Marcelo Ferreira Universidade de Sao PauloSemantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 31/66
Verbos Bitransitivos
λz . z apresentou Joao pra Maria.
λy . [λz . z apresentou Joao pra y ]
apresentou
joao
Joao
maria
vacuo
pra
maria
Maria
apresentou Joao = λy . [λz . z apresentou Joao pra y ]
Marcelo Ferreira Universidade de Sao PauloSemantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 32/66
Verbos Bitransitivos
λz . z apresentou Joao pra Maria.
λy . [λz . z apresentou Joao pra y ]
apresentou
joao
Joao
maria
vacuo
pra
maria
Maria
apresentou = ???
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 33/66
Verbos Bitransitivos
λz . z apresentou Joao pra Maria.
λy . [λz . z apresentou Joao pra y ]
λx . [λy . [λz . z apresentou x pra y ]]
apresentou
joao
Joao
maria
vacuo
pra
maria
Maria
apresentou = λx . [λy . [λz . z apresentou x pra y ]]
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 34/66
Domınios Semanticos
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 35/66
Domınios Semanticos
De : conjunto dos indivıduos
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 36/66
Domınios Semanticos
De : conjunto dos indivıduosDt : conjunto dos valores de verdade ({0,1})
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 37/66
Domınios Semanticos
De : conjunto dos indivıduosDt : conjunto dos valores de verdade ({0,1})Dσ,τ : conjunto das funcoes de Dσ em Dτ .
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 38/66
Domınios Semanticos
De : conjunto dos indivıduosDt : conjunto dos valores de verdade ({0,1})Dσ,τ : conjunto das funcoes de Dσ em Dτ .
A denotacao de um nome proprio pertence a De
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 39/66
Domınios Semanticos
De : conjunto dos indivıduosDt : conjunto dos valores de verdade ({0,1})Dσ,τ : conjunto das funcoes de Dσ em Dτ .
A denotacao de um nome proprio pertence a De
A denotacao de uma sentenca pertence a Dt
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 40/66
Domınios Semanticos
De : conjunto dos indivıduosDt : conjunto dos valores de verdade ({0,1})Dσ,τ : conjunto das funcoes de Dσ em Dτ .
A denotacao de um nome proprio pertence a De
A denotacao de uma sentenca pertence a Dt
A denotacao de um verbo intransitivo pertence a De ,t
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 41/66
Domınios Semanticos
De : conjunto dos indivıduosDt : conjunto dos valores de verdade ({0,1})Dσ,τ : conjunto das funcoes de Dσ em Dτ .
A denotacao de um nome proprio pertence a De
A denotacao de uma sentenca pertence a Dt
A denotacao de um verbo intransitivo pertence a De ,t
A denotacao de um verbo transitivo pertence a De ,e ,t
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 42/66
Domınios Semanticos
De : conjunto dos indivıduosDt : conjunto dos valores de verdade ({0,1})Dσ,τ : conjunto das funcoes de Dσ em Dτ .
A denotacao de um nome proprio pertence a De
A denotacao de uma sentenca pertence a Dt
A denotacao de um verbo intransitivo pertence a De ,t
A denotacao de um verbo transitivo pertence a De ,e ,t A denotacao de um verbo transitivo pertence a
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 43/66
Domınios Semanticos
De : conjunto dos indivıduosDt : conjunto dos valores de verdade ({0,1})Dσ,τ : conjunto das funcoes de Dσ em Dτ .
A denotacao de um nome proprio pertence a De
A denotacao de uma sentenca pertence a Dt
A denotacao de um verbo intransitivo pertence a De ,t
A denotacao de um verbo transitivo pertence a De ,e ,t A denotacao de um verbo transitivo pertence a De ,e ,e ,t
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 44/66
Tipos Semanticos
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 45/66
Tipos Semanticos
e e t sao tipos semanticos;
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 46/66
Tipos Semanticos
e e t sao tipos semanticos;Se σ e τ sao tipos semanticos, entao σ, τ e um tipo semantico;
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 47/66
Tipos Semanticos
e e t sao tipos semanticos;Se σ e τ sao tipos semanticos, entao σ, τ e um tipo semantico;Nada mais e um tipo semantico.
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
S ˆ
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 48/66
Tipos Semanticos
e e t sao tipos semanticos;Se σ e τ sao tipos semanticos, entao σ, τ e um tipo semantico;Nada mais e um tipo semantico.
Se uma denotacao pertence a Dα, essa denotacao e de tipo α
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Ti S ˆ i
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 49/66
Tipos Semanticos
e e t sao tipos semanticos;Se σ e τ sao tipos semanticos, entao σ, τ e um tipo semantico;Nada mais e um tipo semantico.
Se uma denotacao pertence a Dα, essa denotacao e de tipo αA denotacao de um nome proprio e de tipo e
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Ti S ˆ i
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 50/66
Tipos Semanticos
e e t sao tipos semanticos;Se σ e τ sao tipos semanticos, entao σ, τ e um tipo semantico;Nada mais e um tipo semantico.
Se uma denotacao pertence a Dα, essa denotacao e de tipo αA denotacao de um nome proprio e de tipo e
A denotacao de uma sentenca e de tipo t
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Ti S ˆ ti
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 51/66
Tipos Semanticos
e e t sao tipos semanticos;Se σ e τ sao tipos semanticos, entao σ, τ e um tipo semantico;Nada mais e um tipo semantico.
Se uma denotacao pertence a Dα, essa denotacao e de tipo αA denotacao de um nome proprio e de tipo e
A denotacao de uma sentenca e de tipo t
A denotacao de um verbo intransitivo e de tipo e , t
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Ti S ˆ ti
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 52/66
Tipos Semanticos
e e t sao tipos semanticos;Se σ e τ sao tipos semanticos, entao σ, τ e um tipo semantico;Nada mais e um tipo semantico.
Se uma denotacao pertence a Dα, essa denotacao e de tipo αA denotacao de um nome proprio e de tipo e
A denotacao de uma sentenca e de tipo t
A denotacao de um verbo intransitivo e de tipo e , t . . .
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
P edicados Nao Ve bais
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 53/66
Predicados Nao-Verbais
S
NP
Maria
VP
V
e
NP
pianista
S
NP
Pedro
VP
V
e
AP
feliz
Vamos tratar o verbo ser como sendo semanticamente vacuo.
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Nomes Comuns
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 54/66
Nomes Comuns
S
NP
Maria
VP
V
e
NP
pianista
S = 1 sse Maria e pianistaVP = NP = pianistapianista = λx . x e pianista
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Nomes Comuns
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 55/66
Nomes Comuns
1 sse Maria e pianista
maria
Maria
λx . x e pianista
vacuo
e
λx . x e pianista
pianista
S = e pianista(Maria) (AF)
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Adjetivos
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 56/66
Adjetivos
S
NP
Pedro
VP
V
e
AP
feliz
S = 1 sse Pedro e felizVP = AP = feliz
feliz = λx . x e feliz
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Adjetivos
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 57/66
Adjetivos
1 sse Pedro e feliz
pedro
Pedro
λx . x e feliz
vacuo
e
λx . x e feliz
pianista
S = e feliz(Pedro) (AF)
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Negacao
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 58/66
Negacao
S
NP
Pedro
VP1
NEG
nao
VP2
trabalha
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Negacao
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 59/66
Negacao
S
NP
Pedro
VP1
NEG
nao
VP2
trabalha
S = 1 sse Pedro nao trabalhaPedro = pedro
trabalha = λx . x trabalhanao = ???
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Negacao
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 60/66
Negacao
1 sse Pedro nao trabalha
pedro
Pedro
???
???
nao
λx . x trabalha
trabalha
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Negacao
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 61/66
Negacao
1 sse Pedro nao trabalha
pedro
Pedro
???
???
nao
λx . x trabalha
trabalha
nao trabalha = λx . x nao trabalha
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Negacao
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 62/66
Negacao
1 sse Pedro nao trabalha
pedro
Pedro
???
???
nao
λx . x trabalha
trabalha
nao trabalha = λx . x nao trabalha
nao trabalha = λx . trabalha(x ) = 0
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Negacao
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 63/66
g ¸
1 sse Pedro nao trabalha
pedro
Pedro
???
???
nao
λx . x trabalha
trabalha
nao trabalha = λx . x nao trabalha
nao trabalha = λx . trabalha(x ) = 0nao =
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Negacao
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 64/66
g ¸
1 sse Pedro nao trabalha
pedro
Pedro
???
???
nao
λx . x trabalha
trabalha
nao trabalha = λx . x nao trabalha
nao trabalha = λx . trabalha(x ) = 0nao =λf . [λx . f (x ) = 0]
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Negacao
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 65/66
g ¸
1 sse Pedro nao trabalha
pedro
Pedro
λx . x nao trabalha
λf . [λx . f (x ) = 0]
nao
λx . x trabalha
trabalha
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
Aula 2
Negacao
7/23/2019 aula2-2012
http://slidepdf.com/reader/full/aula2-2012 66/66
g ¸
1 sse Pedro nao trabalha
pedro
Pedro
λx . x nao trabalha
λf . [λx . f (x ) = 0]
nao
λx . x trabalha
trabalha
S = nao trabalha(Pedro) (AF)nao trabalha = nao(trabalha) (AF)Pedro nao trabalha = (nao(trabalha))(Pedro) (AF 2x)
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal