WOLFRAM
|
DEMONSTRATIONS PROJECT
Typical Predicate Calculus Statements
T
h
i
s
D
e
m
o
n
s
t
r
a
t
i
o
n
p
r
o
v
i
d
e
s
a
n
e
x
e
r
c
i
s
e
w
i
t
h
t
y
p
i
c
a
l
f
i
r
s
t
-
o
r
d
e
r
l
o
g
i
c
s
t
a
t
e
m
e
n
t
s
t
h
a
t
c
o
n
t
a
i
n
q
u
a
n
t
i
f
i
e
r
s
a
n
d
p
r
o
p
o
s
i
t
i
o
n
a
l
c
o
n
n
e
c
t
i
v
e
s
.