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: It is given in the question that:

g: "You can graduate."

m: "You owe money to the college."

So,

¬m: "You do not owe money to the college."

r: "You have completed the requirements of your major."

b: "You have an overdue book."

So,

¬b: "You do not have an overdue book.

"Propositional logic",

g ↔ [r ʌ (¬ m) ʌ (¬ b )]

Statements (You can graduate) and (you have completed the requirements of your major, you do not
owe money to the college, and you do not have an overdue book) are equivalent, because there is "only
if" condition between them; and result is true if both statements are true, or both statements are false.

2. Show that   are logically equivalent.

Answer:

¬ p → (q → r) ≡ q → (p v r)
¬ p → (q → r) = ¬ p → ( q → r)

≡¬p→(¬q→r)

≡¬(¬p)v(¬qvr)

≡pv(¬qvr)

≡¬qv(pvr)

≡q→(pvr)

3. Show, by the use of the truth table (truth matrix), that the   is a
contradiction. 

p q p∨q ¬p ¬q (¬p)∧ (¬q) (p ∨ q) ∨

(¬p) ∧ (¬q)

FALSE FALSE FALSE TRUE TRUE TRUE TRUE

FALSE TRUE TRUE TRUE FALSE FALSE TRUE

TRUE FALSE TRUE FALSE TRUE FALSE TRUE

TRUE TRUE TRUE FALSE FALSE FALSE TRUE

I think this proposition (p ∨ q) ∨ [(¬p) ∧ (¬q)] is a tautology.

I think the right proposition for contradiction would be (p ∨ q) ∧ [(¬p) ∧ (¬q)]

p q p∨q ¬p ¬q (¬p) ∧ (¬q) (p ∨ q) ∧

(¬p) ∧ (¬q)

FALSE FALSE FALSE TRUE TRUE TRUE FALSE

FALSE TRUE TRUE TRUE FALSE FALSE FALSE

TRUE FALSE TRUE FALSE TRUE FALSE FALSE

TRUE TRUE TRUE FALSE FALSE FALSE FALSE