McMaster University
Department of Computing and Software
Dr. W. Kahl
COMP SCI 1FC3
Sheet 5
COMP SCI 1FC3 — Mathematics for Computing
2 February 2012
Exercise 5.1
Translate the following English statements into predicate logic.
(a)
n
is greater than 23.
(b) The integer
n
is greater than 23.
(c)
x
is smaller than
y
, unless the square of
x
is greater than
w
.
(d)
p
is a natural number, and smaller than
x
.
(e) The natural number
p
is smaller than
x
.
(f) If
p
and
q
are negative, their product is positive.
(g) Value
f
.
j
is
j
+
i
greater than
f
.
i
.
(h)
x
is a solution of the equation
f
.
x
=
x
+ 1.
(i)
y
is a solution of the equation
f
.
x
=
x
+ 1.
(j) The real number
x
is a solution of the equation
f
.
x
=
x
+ 1.
(k) If
x
is a solution of the equation
f
.
x
=
x
+ 1, then it is smaller then
u
.
Exercise 5.2
Translate the following English statements into predicate logic, introducing types, constant symbols, and pred
icate symbols as appropriate.
Example:
•
Igor called Alice, and Alice called Bob.
Solution:
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
This is the end of the preview.
Sign up
to
access the rest of the document.
 Spring '11
 KahlWolfram
 Englishlanguage films, Alice, Propositional calculus, following English statements, COMP SCI 1FC3

Click to edit the document details