Ouvrir le menu
Publier un document
Alternate Text
clear
fr
Ouvrir le menu
First-Order Logic
3 pages
Français

First-Order Logic

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
3 pages
Français
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Description

First-Order Logic

Informations

Publié par
Nombre de lectures 95
Langue Français

Extrait

A
r
t
i
fi
c
i
a
l
I
n
t
e
l
l
i
g
e
n
c
e
P
r
o
g
r
a
m
m
i
n
g
F
i
r
s
t
-
O
r
d
e
r
L
o
g
i
c
C
h
r
i
s
B
r
o
o
k
s
D
e
p
a
r
t
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
U
n
i
v
e
r
s
i
t
y
o
f
S
a
n
F
r
a
n
c
i
s
c
o
D
e
p
a
r
t
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
—
U
n
i
v
e
r
s
i
t
y
o
f
S
a
n
F
r
a
n
c
i
s
c
o
–
p
.
1
/
?
?
9
-
0
:
R
e
p
r
e
s
e
n
t
a
t
i
o
n
P
r
o
p
o
s
i
t
i
o
n
a
l
L
o
g
i
c
h
a
s
s
e
v
e
r
a
l
n
i
c
e
f
e
a
t
u
r
e
s
L
e
t
s
u
s
e
a
s
i
l
y
e
x
p
r
e
s
s
d
i
s
j
u
n
c
t
i
o
n
a
n
d
n
e
g
a
t
i
o
n
“
T
h
e
r
e
i
s
a
p
i
t
i
n
(
1
,
1
)
o
r
i
n
(
2
,
2
)
”
“
T
h
e
r
e
i
s
n
o
t
a
p
i
t
i
n
(
1
,
1
)
”
T
h
i
s
i
s
h
a
r
d
t
o
d
o
i
n
C
/
J
a
v
a
/
P
y
t
h
o
n
-
v
a
r
i
a
b
l
e
s
c
a
n
o
n
l
y
t
a
k
e
o
n
a
s
i
n
g
l
e
v
a
l
u
e
.
S
e
p
a
r
a
t
e
s
d
e
c
l
a
r
a
t
i
v
e
k
n
o
w
l
e
d
g
e
f
r
o
m
i
n
f
e
r
e
n
c
e
p
r
o
c
e
d
u
r
e
s
C
o
m
p
o
s
i
t
i
o
n
a
l
T
h
e
m
e
a
n
i
n
g
o
f
a
s
e
n
t
e
n
c
e
i
s
a
f
u
n
c
t
i
o
n
o
f
t
h
e
m
e
a
n
i
n
g
o
f
i
t
s
p
a
r
t
s
.
D
e
p
a
r
t
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
—
U
n
i
v
e
r
s
i
t
y
o
f
S
a
n
F
r
a
n
c
i
s
c
o
–
p
.
2
/
?
?
9
-
1
:
R
e
v
i
e
w
o
f
P
r
o
p
o
s
i
t
i
o
n
a
l
L
o
g
i
c
S
e
n
t
e
n
c
e
s
a
r
e
c
o
m
p
o
s
e
d
o
f
a
t
o
m
i
c
t
e
r
m
s
c
o
n
j
o
i
n
e
d
b
y
o
p
e
r
a
t
o
r
s
P
1
,
1
∧
B
1
,
2
¬
B
2
,
2
∨
¬
P
1
,
2
T
e
r
m
s
a
r
e
e
i
t
h
e
r
t
r
u
e
o
r
f
a
l
s
e
.
A
m
o
d
e
l
i
s
a
n
a
s
s
i
g
n
m
e
n
t
o
f
v
a
l
u
e
s
t
o
t
e
r
m
s
.
T
h
e
s
e
t
o
f
p
o
s
s
i
b
l
e
w
o
r
l
d
s
t
h
a
t
m
a
k
e
a
s
e
n
t
e
n
c
e
t
r
u
e
A
m
o
d
e
l
s
a
t
i
s
fi
e
s
a
s
e
n
t
e
n
c
e
i
f
t
h
e
s
e
n
t
e
n
c
e
i
s
t
r
u
e
g
i
v
e
n
t
h
e
a
s
s
i
g
n
m
e
n
t
s
i
n
t
h
e
m
o
d
e
l
.
D
e
p
a
r
t
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
—
U
n
i
v
e
r
s
i
t
y
o
f
S
a
n
F
r
a
n
c
i
s
c
o
–
p
.
3
/
?
?
9
-
2
:
I
n
f
e
r
e
n
c
e
i
n
P
r
o
p
o
s
i
t
i
o
n
a
l
L
o
g
i
c
I
n
f
e
r
e
n
c
e
c
a
n
b
e
d
o
n
e
u
s
i
n
g
D
e
M
o
r
g
a
n
’
s
,
M
o
d
u
s
P
o
n
e
n
s
,
A
n
d
-
e
l
i
m
i
n
a
t
i
o
n
,
e
t
c
O
r
,
w
e
c
a
n
c
o
n
v
e
r
t
s
e
n
t
e
n
c
e
s
t
o
C
o
n
j
u
n
c
t
i
v
e
N
o
r
m
a
l
F
o
r
m
(
a
∨
b
∨
¬
c
)
∧
(
d
∨
e
)
∧
(
f
∨
¬
g
)
W
e
c
a
n
t
h
e
n
u
s
e
r
e
s
o
l
u
t
i
o
n
t
o
d
e
r
i
v
e
n
e
w
s
e
n
t
e
n
c
e
s
.
R
e
s
o
l
u
t
i
o
n
i
s
s
o
u
n
d
a
n
d
c
o
m
p
l
e
t
e
.
D
e
p
a
r
t
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
—
U
n
i
v
e
r
s
i
t
y
o
f
S
a
n
F
r
a
n
c
i
s
c
o
–
p
.
4
/
?
?
9
-
3
:
W
e
a
k
n
e
s
s
e
s
o
f
P
r
o
p
o
s
i
t
i
o
n
a
l
L
o
g
i
c
T
h
e
r
e
a
r
e
s
e
v
e
r
a
l
p
r
o
b
l
e
m
s
w
i
t
h
p
r
o
p
o
s
i
t
i
o
n
a
l
l
o
g
i
c
:
L
a
c
k
o
f
c
o
n
c
i
s
e
n
e
s
s
.
(
H
o
w
t
o
s
a
y
“
T
h
e
r
e
i
s
a
p
i
t
i
n
e
v
e
r
y
s
q
u
a
r
e
”
?
)
L
a
c
k
o
f
a
b
i
l
i
t
y
t
o
q
u
a
n
t
i
f
y
(
H
o
w
t
o
s
a
y
“
T
h
e
r
e
i
s
a
s
q
u
a
r
e
t
h
a
t
h
a
s
a
p
i
t
”
?
)
L
a
c
k
o
f
a
b
i
l
i
t
y
t
o
d
e
a
l
w
i
t
h
l
a
r
g
e
d
o
m
a
i
n
s
.
W
h
a
t
i
f
t
h
e
r
e
w
e
r
e
a
n
i
n
fi
n
i
t
e
n
u
m
b
e
r
o
f
r
o
o
m
s
?
W
h
a
t
i
s
w
e
w
a
n
t
e
d
t
o
w
r
i
t
e
s
e
n
t
e
n
c
e
s
a
b
o
u
t
t
h
e
i
n
t
e
g
e
r
s
?
T
h
e
p
r
o
b
l
e
m
s
t
e
m
s
f
r
o
m
t
h
e
f
a
c
t
t
h
a
t
p
r
o
p
o
s
i
t
i
o
n
a
l
l
o
g
i
c
d
e
a
l
s
w
i
t
h
f
a
c
t
s
t
h
a
t
a
r
e
e
i
t
h
e
r
t
r
u
e
o
r
f
a
l
s
e
.
N
o
w
a
y
t
o
i
n
d
i
c
a
t
e
t
h
a
t
t
e
r
m
s
i
n
d
i
f
f
e
r
e
n
t
s
e
n
t
e
n
c
e
s
r
e
f
e
r
t
o
t
h
e
s
a
m
e
o
b
j
e
c
t
.
N
o
w
a
y
t
o
t
a
l
k
a
b
o
u
t
r
e
l
a
t
i
o
n
s
b
e
t
w
e
e
n
o
b
j
e
c
t
s
.
D
e
p
a
r
t
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
—
U
n
i
v
e
r
s
i
t
y
o
f
S
a
n
F
r
a
n
c
i
s
c
o
–
p
.
5
/
?
?
9
-
4
:
E
x
p
r
e
s
s
i
v
i
t
y
W
e
w
o
u
l
d
l
i
k
e
t
h
e
s
o
r
t
s
o
f
s
t
r
u
c
t
u
r
e
s
t
h
a
t
a
r
e
u
s
e
f
u
l
i
n
p
r
o
g
r
a
m
m
i
n
g
l
a
n
g
u
a
g
e
s
.
I
n
p
a
r
t
i
c
u
l
a
r
,
w
e
w
o
u
l
d
l
i
k
e
t
o
h
a
v
e
:
O
b
j
e
c
t
s
:
W
u
m
p
i
,
p
i
t
s
,
g
o
l
d
,
v
a
c
u
u
m
c
l
e
a
n
e
r
s
,
e
t
c
.
R
e
l
a
t
i
o
n
s
:
T
h
e
s
e
c
a
n
i
n
c
l
u
d
e
:
U
n
a
r
y
r
e
l
a
t
i
o
n
s
(
o
r
p
r
o
p
e
r
t
i
e
s
)
:
s
m
e
l
l
y
(
w
u
m
p
u
s
)
,
s
h
i
n
y
(
g
o
l
d
)
,
s
l
e
e
p
y
(
s
t
u
d
e
n
t
)
,
e
t
c
.
B
i
n
a
r
y
r
e
l
a
t
i
o
n
s
:
b
r
o
t
h
e
r
-
o
f
(
b
a
r
t
,
l
i
s
a
)
,
h
o
l
d
i
n
g
(
a
g
e
n
t
,
g
o
l
d
)
,
a
f
t
e
r
(
T
u
e
s
d
a
y
,
M
o
n
d
a
y
)
n
-
a
r
y
r
e
l
a
t
i
o
n
s
:
s
i
m
p
s
o
n
s
(
h
o
m
e
r
,
m
a
r
g
e
,
b
a
r
t
,
l
i
s
a
,
m
a
g
g
i
e
)
T
h
e
s
e
a
r
e
s
o
m
e
t
i
m
e
s
c
a
l
l
e
d
p
r
e
d
i
c
a
t
e
s
F
u
n
c
t
i
o
n
s
:
f
a
t
h
e
r
-
o
f
(
b
a
r
t
)
=
h
o
m
e
r
,
f
a
l
l
-
c
l
a
s
s
e
s
(
s
t
u
d
e
n
t
)
=
A
I
,
e
t
c
.
F
i
r
s
t
-
o
r
d
e
r
l
o
g
i
c
g
i
v
e
s
u
s
a
l
l
o
f
t
h
i
s
.
D
e
p
a
r
t
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
—
U
n
i
v
e
r
s
i
t
y
o
f
S
a
n
F
r
a
n
c
i
s
c
o
–
p
.
6
/
?
?
9
-
5
:
M
o
d
e
l
s
i
n
fi
r
s
t
-
o
r
d
e
r
l
o
g
i
c
R
e
c
a
l
l
t
h
a
t
a
m
o
d
e
l
i
s
t
h
e
s
e
t
o
f
“
p
o
s
s
i
b
l
e
w
o
r
l
d
s
”
f
o
r
a
c
o
l
l
e
c
t
i
o
n
o
f
s
e
n
t
e
n
c
e
s
.
I
n
p
r
o
p
o
s
i
t
i
o
n
a
l
l
o
g
i
c
,
t
h
i
s
m
e
a
n
t
t
r
u
t
h
a
s
s
i
g
n
m
e
n
t
s
t
o
f
a
c
t
s
.
I
n
F
O
L
,
m
o
d
e
l
s
h
a
v
e
o
b
j
e
c
t
s
i
n
t
h
e
m
.
T
h
e
d
o
m
a
i
n
o
f
a
m
o
d
e
l
i
s
t
h
e
s
e
t
o
f
o
b
j
e
c
t
s
i
n
t
h
a
t
w
o
r
l
d
.
F
o
r
e
x
a
m
p
l
e
,
t
h
e
S
i
m
p
s
o
n
s
m
o
d
e
l
m
i
g
h
t
h
a
v
e
t
h
e
d
o
m
a
i
n
{
M
a
r
g
e
,
H
o
m
e
r
,
L
i
s
a
,
B
a
r
t
,
M
a
g
g
i
e
}
W
e
c
a
n
t
h
e
n
s
p
e
c
i
f
y
r
e
l
a
t
i
o
n
s
a
n
d
f
u
n
c
t
i
o
n
s
b
e
t
w
e
e
n
t
h
e
s
e
o
b
j
e
c
t
s
m
a
r
r
i
e
d
-
t
o
(
m
a
r
g
e
,
h
o
m
e
r
)
,
b
a
b
y
(
m
a
g
g
i
e
)
,
f
a
t
h
e
r
(
b
a
r
t
)
=
h
o
m
e
r
D
e
p
a
r
t
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
—
U
n
i
v
e
r
s
i
t
y
o
f
S
a
n
F
r
a
n
c
i
s
c
o
–
p
.
7
/
?
?
9
-
6
:
T
e
r
m
s
a
n
d
s
e
n
t
e
n
c
e
s
A
t
e
r
m
i
s
a
n
e
x
p
r
e
s
s
i
o
n
t
h
a
t
r
e
f
e
r
s
t
o
a
s
i
n
g
l
e
o
b
j
e
c
t
.
B
a
r
t
,
L
i
s
a
,
H
o
m
e
r
W
e
c
a
n
a
l
s
o
u
s
e
f
u
n
c
t
i
o
n
s
a
s
t
e
r
m
s
-
S
a
x
o
p
h
o
n
e
(
L
i
s
a
)
r
e
f
e
r
s
t
o
t
h
e
o
b
j
e
c
t
t
h
a
t
i
s
L
i
s
a
’
s
s
a
x
o
p
h
o
n
e
A
n
a
t
o
m
i
c
s
e
n
t
e
n
c
e
c
o
n
s
i
s
t
s
o
f
a
p
r
e
d
i
c
a
t
e
a
p
p
l
i
e
d
t
o
t
e
r
m
s
B
r
o
t
h
e
r
-
o
f
(
L
i
s
a
,
B
a
r
t
)
,
M
a
r
r
i
e
d
(
H
o
m
e
r
,
M
a
r
g
e
)
,
M
a
r
r
i
e
d
(
M
o
t
h
e
r
(
L
i
s
a
)
,
F
a
t
h
e
r
(
B
a
r
t
)
)
D
e
p
a
r
t
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
—
U
n
i
v
e
r
s
i
t
y
o
f
S
a
n
F
r
a
n
c
i
s
c
o
–
p
.
8
/
?
?
9
-
7
:
T
e
r
m
s
a
n
d
s
e
n
t
e
n
c
e
s
A
C
o
m
p
l
e
x
s
e
n
t
e
n
c
e
u
s
e
s
l
o
g
i
c
a
l
c
o
n
n
e
c
t
i
v
e
s
¬
,
∨
,
∧
,
⇒
,
⇔
t
o
j
o
i
n
a
t
o
m
i
c
s
e
n
t
e
n
c
e
s
.
¬
B
r
o
t
h
e
r
O
f
(
H
o
m
e
r
,
B
a
r
t
)
,
M
o
t
h
e
r
O
f
(
L
i
s
a
,
M
a
r
g
e
)
⇒
M
o
t
h
e
r
O
f
(
B
a
r
t
,
M
a
r
g
e
)
O
l
d
e
s
t
(
B
a
r
t
)
∨
O
l
d
e
s
t
(
L
i
s
a
)
W
e
c
a
n
a
l
s
o
u
s
e
e
q
u
a
l
i
t
y
t
o
r
e
l
a
t
e
o
b
j
e
c
t
s
:
h
o
m
e
r
=
f
a
t
h
e
r
(
B
a
r
t
)
D
e
p
a
r
t
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
—
U
n
i
v
e
r
s
i
t
y
o
f
S
a
n
F
r
a
n
c
i
s
c
o
–
p
.
9
/
?
?
9
-
8
:
Q
u
a
n
t
i
fi
e
r
s
a
n
d
v
a
r
i
a
b
l
e
s
O
f
t
e
n
,
i
t
’
s
n
o
t
e
n
o
u
g
h
t
o
m
a
k
e
a
s
t
a
t
e
m
e
n
t
a
b
o
u
t
p
a
r
t
i
c
u
l
a
r
o
b
j
e
c
t
s
.
I
n
s
t
e
a
d
,
w
e
w
a
n
t
t
o
m
a
k
e
a
s
t
a
t
e
m
e
n
t
a
b
o
u
t
s
o
m
e
o
r
a
l
l
o
b
j
e
c
t
s
.
“
A
l
l
o
f
t
h
e
S
i
m
p
s
o
n
s
a
r
e
y
e
l
l
o
w
.
”
“
A
t
l
e
a
s
t
o
n
e
o
f
t
h
e
S
i
m
p
s
o
n
s
i
s
a
b
a
b
y
.
”
Q
u
a
n
t
i
fi
e
r
s
a
l
l
o
w
u
s
t
o
d
o
t
h
i
s
.
∀
i
s
t
h
e
s
y
m
b
o
l
f
o
r
u
n
i
v
e
r
s
a
l
q
u
a
n
t
i
fi
c
a
t
i
o
n
I
t
m
e
a
n
s
t
h
a
t
a
s
e
n
t
e
n
c
e
h
o
l
d
s
f
o
r
e
v
e
r
y
o
b
j
e
c
t
i
n
t
h
e
d
o
m
a
i
n
.
∀
x
S
i
m
p
s
o
n
(
x
)
⇒
y
e
l
l
o
w
(
x
)
D
e
p
a
r
t
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
—
U
n
i
v
e
r
s
i
t
y
o
f
S
a
n
F
r
a
n
c
i
s
c
o
–
p
.
1
0
/
?
?
9
-
9
:
Q
u
a
n
t
i
fi
e
r
s
a
n
d
v
a
r
i
a
b
l
e
s
∃
i
s
t
h
e
s
y
m
b
o
l
f
o
r
e
x
i
s
t
e
n
t
i
a
l
q
u
a
n
t
i
fi
c
a
t
i
o
n
I
t
m
e
a
n
s
t
h
a
t
t
h
e
s
e
n
t
e
n
c
e
i
s
t
r
u
e
f
o
r
a
t
l
e
a
s
t
o
n
e
e
l
e
m
e
n
t
i
n
t
h
e
d
o
m
a
i
n
.
∃
x
f
e
m
a
l
e
(
x
)
∧
p
l
a
y
s
S
a
x
o
p
h
o
n
e
(
x
)
W
h
a
t
w
o
u
l
d
h
a
p
p
e
n
i
f
I
s
a
i
d
∃
x
f
e
m
a
l
e
(
x
)
⇒
p
l
a
y
s
S
a
x
o
p
h
o
n
e
(
x
)
?
D
e
p
a
r
t
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
—
U
n
i
v
e
r
s
i
t
y
o
f
S
a
n
F
r
a
n
c
i
s
c
o
–
p
.
1
1
/
?
?
9
-
1
0
:
Q
u
a
n
t
i
fi
e
r
s
I
n
g
e
n
e
r
a
l
,
⇒
m
a
k
e
s
s
e
n
s
e
w
i
t
h
∀
(
∧
i
s
u
s
u
a
l
l
y
t
o
o
s
t
r
o
n
g
)
.
∧
m
a
k
e
s
s
e
n
s
e
w
i
t
h
∃
(
⇒
i
s
g
e
n
e
r
a
l
l
y
t
o
o
w
e
a
k
.
)
S
o
m
e
e
x
a
m
p
l
e
s
:
O
n
e
o
f
t
h
e
S
i
m
p
s
o
n
s
w
o
r
k
s
a
t
a
n
u
c
l
e
a
r
p
l
a
n
t
.
A
l
l
o
f
t
h
e
S
i
m
p
s
o
n
s
a
r
e
c
a
r
t
o
o
n
c
h
a
r
a
c
t
e
r
s
.
T
h
e
r
e
i
s
a
S
i
m
p
s
o
n
w
i
t
h
b
l
u
e
h
a
i
r
a
n
d
a
g
r
e
e
n
d
r
e
s
s
.
T
h
e
r
e
i
s
a
S
i
m
p
s
o
n
w
h
o
d
o
e
s
n
’
t
h
a
v
e
h
a
i
r
.
D
e
p
a
r
t
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
—
U
n
i
v
e
r
s
i
t
y
o
f
S
a
n
F
r
a
n
c
i
s
c
o
–
p
.
1
2
/
?
?
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents
Signaler un problème
playstore
appstore
facebook twitter instagram youtube

YouScribe

Le catalogue

Le service

Les conditions

© 2010-2024 YouScribe
Livre audio en ligne - Développement personnel Livre en ligne Tout le catalogue Tous les Intérêts