[go: up one dir, main page]
Scribd
Upload
61 views2 pages

Practice Assignment 2

The document is an assignment for a Theoretical Computer Science course at the German International University, focusing on translating logical statements into English and expressing various statements using predicates, quantifiers, and logical connectives. It includes exercises related to comedians, pets, tools, and love among people. Each exercise requires the application of logical reasoning and formal representation of statements.

Uploaded by

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

Practice Assignment 2

The document is an assignment for a Theoretical Computer Science course at the German International University, focusing on translating logical statements into English and expressing various statements using predicates, quantifiers, and logical connectives. It includes exercises related to comedians, pets, tools, and love among people. Each exercise requires the application of logical reasoning and formal representation of statements.

Uploaded by

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

German International University

Department of Computer Science


Assoc. Prof. Haythem O. Ismail

Theoretical Computer Science, Spring Term 2021


Assignment 2

Exercise 2-1
Translate these statements into English, where C(x) is “x is a comedian” and F (x) is “x is
funny” and the domain consists of all people.

a) ∀x[C(x) → F (x)]

b) ∀x[C(x) ∧ F (x)]

c) ∃x[C(x) → F (x)]

d) ∃x[C(x) ∧ F (x)]

Exercise 2-2
Let C(x) be the statement “x has a cat,” let D(x) be the statement “x has a dog,” and let
F (x) be the statement “x has a ferret.” Express each of these statements in terms of C(x),
D(x), F (x), quantifiers, and logical connectives. Let the domain consist of all students in your
class.

a) A student in your class has a cat, a dog, and a ferret.

b) All students in your class have a cat, a dog, or a ferret.

c) Some student in your class has a cat and a ferret, but not a dog.

d) No student in your class has a cat, a dog, and a ferret.

e) For each of the three animals, cats, dogs, and ferrets, there is a student in your class
who has this animal as a pet.

1
Exercise 2-3
Translate each of these statements into logical expressions using predicates, quantifiers, and
logical connectives.

a) Something is not in the correct place.

b) All tools are in the correct place and are in excellent condition.

c) Everything is in the correct place and in excellent condition.

d) Nothing is in the correct place and is in excellent condition.

e) One of your tools is not in the correct place, but it is in excellent condition.

Exercise 2-4
Let L(x, y) be the statement “x loves y,” where the domain for both x and y consists of all
people in the world. Use quantifiers to express each of these statements.

a) Everybody loves Jerry.

b) Everybody loves somebody.

c) There is somebody whom everybody loves.

d) There is somebody whom Lydia does not love.

e) There is somebody whom no one loves.

f) There is exactly one person whom everybody loves.

g) There are exactly two people whom Lynn loves.

h) Everyone loves himself or herself.

i) There is someone who loves no one besides himself or herself.

You might also like