Pamantasan ng Cabuyao

(UNIVERSITY OF CABUYAO)
College of Computing and Engineering

Name: Mark Andrew Mariquit

Section: 1BSIE-B

Midterm - Assessment Task

I. Which of the following sentences are propositions? What are the truth values of
those that are propositions?

1. France is a country.

 Its Declarative Sentence

 Does France is a country / Yes
 Proposition / Yes
 Truth Value / True

2. 2020 will be a leap year.

 Proposition / Yes
 Truth Value / False

3. Sun rises in the west.

 Proposition / Yes
 Truth Value /

False 4. P(x) : x + 6 = 7

 Proposition / No
 Truth Value /

False 5. P (5): 5 + 6 = 2

 Proposition / Yes
 Truth Value / False

6. Apples are oranges

 Proposition / Yes
 Truth Value / False

7. Grapes are black.

 Proposition / Yes
 Truth Value / False

8. Two and two makes 4.

 Proposition / Yes
 Truth Value / True
 9. x > 10 10.

 Proposition / No
 Truth Value / False

10. Open the door

 Imperative Sentence
 Proposition / No
 Truth Value / (Not Answerable by True/False)

II. Write the following English sentences in symbolic form:

1. If it rains, then I will stay at home.

 p = it rains
 q = I will stay at home
 Symbolic Form: p ⟶ q

2. If I will go to Australia, then I will earn more

money.

 p = I will go to Australia
 q = I will earn money
 Symbolic Form: p ⟶ q

3. He is poor but honest.

 p = He is poor
 q = Honest
 Symbolic Form: p ˄ q

4. If a = b and b = c then a = c.

 p = a=b
 q = b=c
 r = a=c
 Symbolic Form: ( p ˄ q)⟶r

5. Neither it is hot nor cold today.

 p = it is hot
 q = cold today
 Symbolic Form: ⌝ p ˄⌝ q

6. He goes to play a match if and only if it does not

rain.

 p = He goes to play a match

 q = it does not rain
  Symbolic Form: p ⟷ q

7. Birds fly if and only if sky is clear.

  p = Birds fly
 q = sky is clear
 Symbolic Form: p ⟷ q

8. I will go only if he stays.

 p = I will go only
 q = he stays
 Symbolic Form: p ⟶ q

9. I will go if he stays.

 p = I will go
 q = he stays
 Symbolic Form: p ⟷ q

10. Presence of cycle in a multi instance RAG is a necessary but not sufficient
condition for deadlock

 p = Presence of cycle in a multi instance RAG is a necessary

 q = sufficient condition for deadlock
 Symbolic Form: p ⟷ ~q

III. Express each statement symbolically, and then states the truth value of each

statement Let A represent "We go to school on Memorial Day."

Let B represent "Memorial Day is a
holiday." Let C represent "We work on
Memorial Day."

1. We work on Memorial Day or Memorial Day is a holiday

 C = We work on Memorial day

 B = Memorial Day is a holiday
 Symbolic Form: C ˅ B

2. Memorial Day is a holiday and we do not work on Memorial Day.

 B = Memorial day is a holiday

 C = We work on Memorial Day
 Symbolic Form: B ˄ ~C

3. We do not go to school on Memorial Day implies that we work on Memorial Day.

 A = We go to school on Memorial Day

 C = We work on Memorial Day
 Symbolic Form: ~A ⟶ C

4. We work on Memorial Day if and only if we go to school on Memorial Day

 C = We work on Memorial Day

 A = We go to school on Memorial Day
 Symbolic Form: C ⟷ A