Syntax Edy Nami Que

7/23/2019 Syntax Edy Nami Que

1/23

Jean

De

Dt

e, t

e, e, t

regarder y De[x De.x regarde y] De,e,t

donner z De[yDe[x De.x donne z y]] De,t


2/23

t

e

e, t

e, e, t

e

e, e, t

e


3/23


4/23

0 P Q

0 1 R (P Q) R (P Q

0 1 Q 0 1 0 P

[]


5/23

[]

?T y(e t)

1?T y(t)

T ns(PAST)

1?T y(e t) 1 F o(Upset), T y(e (e t)), [] 1

0

0

?T y(e)

PremisseConclusion


6/23

{...?T y(Y)...}

{...?T y(Y), ? 0 T y(X), ? 1 T y(XY),...}

{{T n(n), ..., ? 0 , ? 1 , }}

T n(n), ..., ? 0 , ? 1

0 T n(n), ?, 1 T n(n), ?

{?T y(t), }

{...?T y(t), ? 0 T y(e), ? 1 T y(e t), }

{{T n(0), ? 0

T y(e), ? 1

T y(e t), }}

T n(0), ? 0 T y(e), ? 1 T y(e t)

0 T n(0), ?T y(e), 1 T n(0), ?T y(e t)

?T y(t), ? 0 T y(e), ? 1 T y(e t),

?T y(t), ? 0 T y(e), ? 1 T y(e t)

?T y(e), ?T y(e t)


7/23

?T y(t), ? 0 T y(e), ? 1 T y(e t)

T y(e), F o(Hilary)[],

?T y(e t)

?T y(t), ? 0 T y(e), 0 T y(e), ? 1 T y(e t),

T y(e), F o(Hilary), [] ?T y(e t)

?T y(t), 0 T y(e), ? 1 T y(e t),


?T y(t), ? 1 T y(e t)

T y(e), F o(Hilary), [] ?T y(e t),

T ns(PAST), ?T y(t), ? 1 T y(e t)


?T y(e), T y(e (e t))

F o(Upset), []


T y(e), []

F o(Hilary) ?T y(e t)

T y(e), []

F o(Joan), T y(e (e t)) F o(Upset), []


T y(e), []

F o(Hilary) ?T y(e t), 0 T y(e),

T y(e), []F o(Joan)

T y(e (e t)) F o(Upset), []


8/23


T y(e), [] F o(Hilary)

?T y(e t), T y(e t), 0 T y(e), F o(Upset

(Joan))

T y(e), []

F o(Joan)T y(e (e t)) F o(Upset), []

T ns(PAST), ?T y(t), ? 1 T y(e t), 1 T y(e t),

T y(e), []F o(Hilary)

T y(e t)F o(Upset(Joan))

T y(e), []

F o(Joan)

T y(e (e t))

F o(Upset), []

T ns(PAST), ?T y(t), 1 T y(e t),



T y(e), []F o(Joan)


T ns(PAST), ?T y(t), T y(t), F o(Upset(Joan))(Hilary),



T y(e), [] F o(Joan)


T ns(PAST), T y(t), F o(Upset(Joan))(Hilary),



T y(e), [] F o(Joan)



9/23

{{T n(a),...?T y(t), }}

{{T n(a), ..., ?T y(t)}, { T n(a), ?xT n(x), ?T y(e), }}

?T y(t), T n(a), ?T y(t)

T n(a), ?T y(e), ?x.Tn(x),

T n(0), ?T y(t)

T n(0), ?T y(e), ?x.Tn(x), T y(e), F o(Joan), [],

?T y(e)

T n(0), ?T y(t)

T n(0), ?x.Tn(x)

T y(e), F o(Joan)T n(00), T y(e)

F o(Hilary) T n(01), ?T y(e t)

T n(010)

?T y(e), T y(e (e t))

F o(Upset), T n(011)

T n(0), ?T y(t)

T n(00), T y(e)

F o(Hilary) T n(01), ?T y(e t)

T n(010), ?T y(e), T n(0)

?x.Tn(x), T y(e), F o(Joan), T y(e (e t))

F o(Upset), T n(011)


10/23

T n(0), ?T y(t)

T n(00), T y(e) F o(Hilary)

T n(01), ?T y(e t)

T n(010), ?T y(e), ,

T n(0), ?x.Tn(x) T y(e), F o(Joan)

T y(e (e t)) F o(Upset), T n(011)

T n(0), ?T y(t)

T n(00), T y(e) F o(Hilary)

T n(01), ?T y(e t)

T n(010), ?T y(e),

T n(0), ?x.Tn(x) T y(e), F o(Joan)

T y(e (e t))

F o(Upset

), T n(011)

?T y(e)

T y(e), F o(UMale), ?x.Fo(x),

? (T y(t) y.Tns(y)), []


11/23

?T y(t)

T y(e), F o(UMale)

x.Fo(x), ?T y(e t)

?T y(t)

F o(John) ?T y(e t),

T ns(PAST), ?T y(t)

F o(John) ?T y(e t)

?T y(e), F o(Upset)

T ns(PAST), ?T y(t)

F o(John) ?T y(e t)

F o(VFemale, T y(e) x.Fo(x),

F o(Upset)

T ns(PAST), ?T y(t)

F o(John

) ?T y(e t)F o(Mary), F o(Upset)

0 0 0 1 0 0 1 1 0 0

1 0


12/23

F o(U), T y(e)

0

1 0

F o

(

)

() F o()

?T y(e)

0?T y(t)

0 1 0 F o()

T y(e), F o(); []

?T y(t)

?T y(t)

T ns(PAST)

1 1 ?T y(e t) Chonaic 1 1

F o(Chon), T y(e (e t)), [] 1 0 0 ?T y(e) 0 1 0 0 ?T y(e)


13/23

?T y(t)

T ns(PRES)

1 1 ?T y(e t) Ksero 1 1

F o(Kser), T y(e (e t)), [] 1 0 0 ?T y(e) 0 1 0 0

?T y(e), F o(USpeaker), x.Fo(x)

F o(USpeaker)

F o(Nico)

L

{...{T n(a), F o(), ?T y(e), }}

{...{T n(a), F o(), ?T y(e)}, {L1 T n(a), ?T y(t), ? F o(), }}


14/23

T n(0), ?T y(t)

0 T n(0), F o(John)

?T y(e t)

L1 0 T n(0), ?T y(t), ? F o(John),

T n(0), ?T y(t)

0 T n(0), F o(John)

?T y(e t)

L1 0 T n(0), ?T y(t), ? F o(John)

?T y(e), ?x.Tn(x), L1 0 T n(0),

?T y(e), ?x.Tn(x), L

1 F o(y)

whorel

F o(y), T y(e), []

F o(y)


15/23

T n(0), ?T y(t)

0 T n(0), F o(John)

?T y(e t)

L1 0 T n(0), ?T y(t), ? F o(John)

?T y(e), ?x.Tn(x), L1 T n(0),

T y(e), F o(John), [],

T n(0), ?T y(t)

0 T n(0),F o(John)

?T y(e t)

L1 0 T n(0),?T y(t), ? F o(John

)

T y(e)F o(I)

?T y(e t)

?T y(e), ,

T n(0), ?x.Tn(x),T y(e), F o(John)

T y(e (e t))

F o(Like)

T n(0), F o(Smoke(John) (Like(John))(I))

0 T n(0),F o(John)

F o(Smoke)

L1 0 T n(0),T y(t), F o((Like(John))(I))

F o(I) F o(Like(John))

F o(John

) F o(Like

)


16/23

1 1 1

1 1 1

?T y(t)

T y(e), F o(UMale)

x.Fo(x),

T n(0), ?x.Tn(x),T y(e), F o(John)

?T y(e t)

0 1 0 F o()

F o(John) U

F o(U), T y(e)

0 1 0 F o()

()

F o()

1 1 1

F o(Mother(John))


17/23

T y(e)

T y(cn)

T y(e)

T y(e cn)

T y(cn e)

Universel, T y(cn e) (tau)

Existentiel, T y(cn e) (epsilon)

T y(cn e) (iota)

?T y(e) 1 1 F o(P(, P)), T y(cn e)

1 0 0 ?T y(cn)

?T y(cn)

0 0 F o(x), T y(e) 0 1 1

F o(X(X,Man(X))), T y(e cn) 1 0


18/23

?T y(e)

?T y(cn)

F o(x), T y(e),

F o(X,Man(X)), T y(e cn)

F o(P., P), T y(cn e)

T y(e)

?T y(e)

?T y(cn)

F o(x), T y(e) F o(X,Man(X)), T y(e cn)

L1 X, ?T y(t), ? F o(x),


F o(x)

?T y(e),

F o((x,Man(x))(Like(x))(Sue))

F o(x) F o(X,Man(X))

F o((Like(x))(Sue))

F o(Sue) F o(Like(x))

F o(x) F o(Like)

F o(P., P)


19/23

?T y(e) T y(e), F o(UMale),

?x.Fo(x), ? (T y(t) y.Tns(y)), []


20/23

?T y(e)

?T y(cn)

F o(x), T y(e) F o(X, P rof essor(X)), T y(e cn)

L1 X, ?T y(t), ? F o(x),


?T y(e)

?T y(cn)

F o(x),T y(e)

F o(X, P rofessor(X)), T y(e cn)

L1 X, ?T y(t), ? F o(x)

T y(e)

F o(John) ?T y(e t)

T y(e), F o(UMale), [],

T n(0), ?x.Tn(x),T y(e), F o(x)

F o(Like)

F o(P., P)


21/23

F o( ), T y(e), []illi L L ?T y(t), ? D (F o( ), T y(e))

F o(U) F o(x)

D

? F o()

? D F o()


22/23

? D (F o()) ? (F o())

? D F o(x)

T y(t)


23/23

L1

?T y(e)

?T y(t)

?T y(t) ?T y(e)

{{T n(0), ?T y(t), }}

{{T n(0), ?T y(t)}, {L T n(0), ?T y(e), }}

L T n(0), ?T y(e), T n(0), ?T y(t)

Syntax Edy Nami Que

Documents

Transcript of Syntax Edy Nami Que