You are on page 1of 2

JOREEN MAY M.

MARASIGAN

Perform the following items. Upload photos of your answer sheets showing your name
and solution. (40 points)
1. Given the following:
 g: "You can graduate."
 m: "You owe money to the college."
 r: "You have completed the requirements of your major."
 b: "You have an overdue book."
Translate  "You can graduate only if you have completed the requirements of your
major, you do not owe money to the college, and you do not have an overdue book."
into a propositional logic.

Answer: g ↔ (r ^ !m ^ !b)

2. Show that   are logically equivalent. (15 points)


p q r !p q→r !p → (q → r)
1 1 1 0 1 1
1 1 0 0 0 1
1 0 1 0 1 1
1 0 0 0 1 1
0 1 1 1 1 1
0 1 0 1 0 0
0 0 1 1 1 1
0 0 0 1 1 1

p q r pvr q → (p v r)
1 1 1 1 1
1 1 0 1 1
1 0 1 1 1
1 0 0 1 1
0 1 1 1 1
0 1 0 0 0
0 0 1 1 1
0 0 0 0 1

By the table presented above it shows that the last column are identical, so thus
are logically equivalent.
3. Show, by the use of the truth table (truth matrix), that the   is a
contradiction. (15 points)
p q !p !q (pvq) (!p) ^ (1q) (pvq) v
[(!p) ^ (!q)]
1 1 0 0 1 0 0
1 0 0 1 1 0 0
0 1 1 0 1 0 0
0 0 1 1 0 1 0

It shows from the table above that the compound formula is always false, so thus (pvq) v [(!p) ^ (!q)] is a
contradiction.

You might also like