Scribd
Upload
2K views3 pages

Homework 2

This document contains the solutions to a mathematics homework assignment on logic. It includes: 1) Writing logical propositions using p, q, and r representing various scenarios involving getting grades. 2) Stating the converse, contrapositive, and inverse of the conditional statement "If it snows today, I will ski tomorrow." 3) Constructing truth tables for the compound propositions (p∧q) ∨ ¬r and (p → q) ∧ (¬p → r). 4) Using the truth tables to verify the distributive laws. 5) Determining whether ¬(p → q) → p is a tautology.

Uploaded by

Fuji Goh
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOC, PDF, TXT or read online on Scribd
2K views3 pages

Homework 2

This document contains the solutions to a mathematics homework assignment on logic. It includes: 1) Writing logical propositions using p, q, and r representing various scenarios involving getting grades. 2) Stating the converse, contrapositive, and inverse of the conditional statement "If it snows today, I will ski tomorrow." 3) Constructing truth tables for the compound propositions (p∧q) ∨ ¬r and (p → q) ∧ (¬p → r). 4) Using the truth tables to verify the distributive laws. 5) Determining whether ¬(p → q) → p is a tautology.

Uploaded by

Fuji Goh
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOC, PDF, TXT or read online on Scribd
You are on page 1/ 3

GOH MING HOCK (G6458711R)

DITEM1022A

Mathematics for Computing


Homework 2-Logic
1) Let p, q, and r be the propositions
p : You get an A on the final exam
q : You do every exercise in this book
r : You get an A in the class.
Write these propositions using p, q, and r and logical connectives
a) You get an A in the class, but you do not do every exercise in this book.
p Ù¬q

b) You get an A on the final, you do every exercise in this book, and you get
an A in the class.
pÙqÙr

c) To get an A in the class, it is necessary for you to get an A on the final.


r  p

d) You get an A on the final, but you don’t do every exercise in this book;
nevertheless, you get an A in this class.
p Ù¬q Ù r

2) State the converse, contra positive, and inverse of the following conditional
statement.
“If it snows today, I will Ski tomorrow”
P= If it snows today
Q= I will Ski tomorrow
Converse = q ==> p (I will ski tomorrow if it snows today)
Contra positive = ¬ q ==> ¬ p (I will not ski tomorrow if it does not snow
today)
Inverse = ¬ p ==> ¬ q (If it does not snow today, I will not ski tomorrow)
GOH MING HOCK (G6458711R)
DITEM1022A

3) Construct a truth table for each of these compound propositions


a) (pÙq) Ú ¬r

p q r ¬r pÙq (pÙq) Ú ¬r

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

b) (p  q) Ù ( ¬ p  r)

p q r ¬p pq ¬pr (p  q) Ù ( ¬ p  r)
T T T F T T T
T T F F T T T
T F T F F T F
T F F F F T F
F T T T T T T
F T F T T F F
F F T T T T T
F F F T T F F

4) Use the truth table to verify the distributive laws.


GOH MING HOCK (G6458711R)
DITEM1022A

5) Determine whether ¬(p  q )  p is a tautology.

You might also like