Scribd
Upload
11 views2 pages

CSC510 Tutorial 4

The document provides a series of exercises focused on translating statements into predicate logic, covering various scenarios involving students, clubs, and mathematical properties. It includes tasks for expressing relationships between students, their activities, and characteristics using defined predicates. Additionally, it explores different domains of discourse to illustrate the application of predicate logic in diverse contexts.

Uploaded by

sereinco23
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
11 views2 pages

CSC510 Tutorial 4

The document provides a series of exercises focused on translating statements into predicate logic, covering various scenarios involving students, clubs, and mathematical properties. It includes tasks for expressing relationships between students, their activities, and characteristics using defined predicates. Additionally, it explores different domains of discourse to illustrate the application of predicate logic in diverse contexts.

Uploaded by

sereinco23
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 2

Tutorial 4

1. Translate each of the following statements into predicate logic. Assume the predicate
brother (x,y): x is the brother of y
friend (x,y): x and y are good friends
Domain of discourse is students in a school.
i. Salwa has few brothers in the school
ii. Ahmad has no brother in the school
iii. Every student has one good friend in the school
iv. Some students have brothers in the school, and their brothers are good friends.

2. Express the statement “ Some 3rd year student in UiTM takes CSC510 ” using suitable predicate
symbols for each of the following domain of discourse.
i. All 3rd year students in UiTM.
ii. All students in UiTM.
iii. All students.

3. Express the statement “Exam is on some weekdays in the month of July” using suitable
predicate symbols for each of the following domain of discourse.
i. Weekdays in the month of July.
ii. Days in the month of July.
iii. Days in the year.

4. The predicate p and q are defined as follows. The domain of discourse is all students in a class.
P(x, y) : x replies email from y
Q(x, y) x saves the email from y

i. Maria does not reply any email from Zaini


ii. Maria saves the emails from anyone who replies to her email.
iii. Maria only saves the emails that she replies.
iv. Maria replies some emails but she saves all of them.

5. The predicate p, q, r and s are defined as follows. The domain of discourse is the set of integers.
p(x): x is greater than zero
q(x): x is even
r(x): x is divisible by 2
s(x) x is divisible by 3

Convert the following statements to predicate:


i. Even numbers are divisible by 2
ii. Half of positive numbers are even
iii. There are even numbers that are not divisible by 3

6. Consider a school where students are either in the Math Club, the Computer Club, or
neither. Let the domain of discourse be the set of all students in the school. Use the
following predicates:

M (x): x is in the Math Club


S(x ): x is in the Computer Club
L(x ): x loves algebra
H (x ): x hates experiments

Represent the following statements using predicate logic:


a) Every student in the Math Club loves algebra.
b) Some students are in both the Math Club and the Computer Club.
c) No student in the Computer Club hates experiments.
d) Some students in Computer Club don’t love algebra.

You might also like