Mathematics in the Modern World 1 st Semester AY 2020-2021

Module 2: Formative Assessment Logic Statements and Truth Tables

INSTRUCTIONS. Answers can either be a.) Typewritten and saved as a pdf file or b.)
Handwritten on a piece of paper and take a picture of it and save as an image file.

I. Write the negation of the following statement. (5 points)

(a) The Queen Mary 2 is the world’s largest cruise ship.

The Queen Mary 2 is not the world’s largest cruise ship.

(b) The fire engine is not red.

The fire engine is red.
(c) The Giants lost the game.
The Giants did not lose the game
(d) The lunch was served at noon.
The lunch was not served at noon.
(e) The game did not go into overtime.
The game went into overtime.

II. Consider the following simple statements:

p: Today is Friday.
q: It is raining.
r: I am going to a movie.
s: I am not going to the basketball game.
Write the following compound statements in symbolic form. (5 points)
(a) Today is not a Friday and I am going to a movie.
~p ᴧ r
(b) I am going to the basketball game and I am not going to a movie.
~s ᴧ ~r
(c) I am going to the movie if and only if it is not raining.
 r ↔ ~q
(d) If today is Friday, then I am not going to a movie.
p → ~r
(e) Today is not Friday and it is raining.
~p ᴧ q

III. Consider the following statements:

e: The tour goes to Italy.
a: The hotel fees are included.
t: We will go to Florence.
g: The meals are not included.
Translate the symbolic statements in words. (10 points)
(a) e ∨ ∼ t
The tour goes to Italy or we will not go to Florence.
(b) ∼ a ∧ g

The hotel fees are not included and the meals are not included.

(c) e → t

If the tour goes to Italy, then we will go to Florence.

(d) t ↔ ( g ∧ ∼ a)
We will go to Florence if and only if the meals are not included and the hotel fees
are not included.
(e) e ∧ t → ( a v ∼ g)
If the tour goes to Italy and we will go to Florence, then the hotel fees are included
and the meals are included.
 IV. Construct the truth table for the statement: (p ∧ q) ∨ [∼ (p ∧ ∼ q) ∨ q]
(10 points)

p q (p ᴧ q) ∼q (p ᴧ ∼ q) ∼ (p ᴧ ∼ q) [∼ (p ∧ ∼ q) ∨ q] (p ∧ q) ∨ [∼ (p ∧ ∼ q) ∨ q]

T T T F F T T T
T F F T T F F F
F T F F F T T T
F F F T F T T T

V. Determine the truth value of the following logical tests, given the variable
values. Answers should be (True or False). Show your solution (20 points).

A= 40 B= 29 C=110 D=10 F=125

True 1. ANS= (B >A) ᴠ (B+10<=50)

False 2. ANS= (C+300 <= A*D+10) ᴧ (D/2< >15)
True 3. ANS= F+C < 2*(F+25) ᴠ (~ [ B+20 <= 50])
False 4. ANS= F<>C ᴧ [ ~ (C*2 >=150)]
False 5. ANS= A+D < > 2*(F/5)
False 6. ANS= ~ (A+15*D/5 = C)
False 7. ANS= F+A > C*B-F
True 8. ANS= ~ (C/D < A-B)
True 9. ANS= (A*D < > (F/25) +395) ᴠ (A+50=90)
False 10. ANS= F > (A+B) *2 - 12

Solutions:

1.

(B > A) ᴠ (B+10< 50) (B+10 = 50) (B > A) ᴠ (B+10 ≤ 50)

29 > 40 39+10 < 50 39+10 = 50 29 > 40 ᴠ (39+10 ≤ 50)
29 > 40 49 < 50 49 < 50 29 > 40 ᴠ (49 ≤ 50)
T ᴠ T F T

(C+300 < A*D+10) (C+300 = A*D+10) ᴧ (D/2 ≠ 15) (C+300 ≤ A*D+10) ᴧ (D/2 ≠ 15)
110+300 < 40*10 +10 110+300 = 40*10 +11 10/2 ≠ 15 110+300 ≤ 40*10 +10 ᴧ 10/2 ≠ 15
410 < 400 + 10 411 = 400 + 10 5 ≠ 15 410 ≤ 400 +10 ᴧ 5 ≠ 15
2. 410 < 410 411 = 410 5≠ 15 410 ≤ 410 ᴧ 5 ≠ 15
F T ᴧ T F
3. F+C < 2 * (F + 25) ᴠ ~ (B + 20 < 50) ~ (B + 20 = 50)
125 + 110 < 2 * (125 + 25) ~ (29 + 20 < 50) ~ (29 + 20 = 50)
235 < 2* 150 ~ (49 < 50) ~ (49 = 50)
235 < 300 ~ (T) ~ (F)
T ᴠ F T
F+C < 2*(F+25) ᴠ (~ [ B+20 ≤ 50])
125+100 < 2*(125+25) ᴠ (~ [29 + 20 ≤ 50)
235 < 2*150 ᴠ (~ [49 ≤ 50])
235 < 300 ᴠ (~ [49 ≤ 50])
T

4. F≠C ᴧ [~ (C*2 > 150)] [~ (C*2 = 150)] F ≠ C ᴧ [~ (C*2 ≥ 150)]

125 ≠ 110 [~ (110*2>150)] [~ (110*2=150)] 125 ≠ 110 ᴧ [~ (110*2 ≥ 150)]
[~ (220>150)] [~ (220=150)] 125 ≠ 110 ᴧ [~ (220 ≥ 150)]
[~(T)] [~(F)]
T ᴧ F T F

5. A+D ≠ 2*(F/5)
40+10 ≠ 2*(125/5)
50 ≠ 2*(25)
50 ≠ 50
F

6. ~ (A+15*D/5 = C)
~ (40+15*10/5 = 110)
~ (55*2 = 110)
~ (110 = 110)
~ (T)
F

7. F+A > C*B-F

125+40 110*29 - 125
165 3190 - 125
165 > 3,065
F

8. ~( C/D < A-B )

~(110/10 < 40-29 )
~( 11 < 11 )
~(F)
T
9. (A*D ≠ (F/25) + 395) ᴠ (A+50=90) ( A*D ≠ (F/25)+395 ) ᴠ ( A+50=90)
(40*10 ≠ (125/25) + 395) (40+50=90) ( 40*10 ≠ (125/25)+395 ) ᴠ ( 40+50=90)
(400 ≠ 5 + 395) (90=90) ( 400 ≠ 5+395 ) ᴠ ( 90=90)
(400 ≠ 400) ( 400 ≠ 400 ) ᴠ ( 90=90)
F ᴠ T T

10. F > (A+B)*2 - 12

125 > (40+29)*2 - 12
125 > (69)*2 - 12
125 > 138 - 12
125 > 126
F