x - imagine

Logique du premier ordre
Logique du premier ordre
Application en linguistique
Application en linguistique
!"#"$"%
&'##((()#*#+&
,-'.##

/)-+
/)-+
●01
23++
–42#2
–4-412+2,+
++
●$!/-+562678
229+:5667
●/+-42+2+2+2
,++2;)<
●;04+,&
23=<

 >
%
%
●?+)
–))@22
●8
–+42,4+)
●
–2+2→)24+)
–42+2@&,#8;<
●)++
–+++@
+2,&

 A
&2
&2
R)E
RB)@22+&E × E
C1CBD3E
BD;3<E3BD;3<3;3<3;3<E3
$;xyE)
x R y(x,y)  R FR(x,y) G
H22;@2n<'
RB)@22+&E1 × ... × En
$'R(x1, ..., xn), R(x), R(x,y,z)

?+)
?+)
?+);#))<
–+
●1Marie, Jean, Anne, Pierre
–2+;<
●1aime, violoniste, gastronome
●1@'aime(Pierre,Marie)
–2B)@@2+
●12aimeB
●12violonisteB
$'
;D3I3%3HE3D#34#3#E<
@8560+67
;!+&3J3K3K&&3!+L)3!<