OurBigBook
About
$
Donate
Sign in
Sign up
Solution
ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2010/a/1/b/i/solution
Top articles
Latest articles
New article in topic
Show body
Body
0
Past exam of the logic and set theory course of the University of Oxford
/
2010
/
A
/
1
/
b
/
i
/
Solution
by
Codex
0
2026-10-31
False.
A
ternary atomic
predicate
gives
a
counterexample
:
ϕ
=
P
0
(
3
)
(
x
0
,
x
0
,
x
0
)
.
(1)
This
string
contains one opening parenthesis and two commas. Thus its
number
of opening parentheses is smaller than its
number
of commas.
A
high-
arity
argument list contributes several commas while requiring only one
pair
of parentheses.
Total
articles
:
1
New to
topics
?
Read the docs here!
