1.

Description: Ch 01 Sec 1 Ex 12

Let p, q, and r be the propositions
p: You have the flu.
q: You miss the final examination.
r: You pass the course.
Express each of these propositions as an English sentence.


a) rq





You pass the course if you miss the final examination.



If you do not pass the course, then you do not miss the final examination.



If you pass the course, then you miss the final examination.


If you do not pass the course, then you miss the final examination.



If you pass the course, then you do not miss the final examination.


b) qp





You do not miss the final examination if you have the flu.


You do not miss the final examination if and only if you have the flu.



You do not miss the final examination if and only if you do not have the flu.



You miss the final examination if and only if you do not have the flu.



You miss the final examination if you do not have the flu.


c) pqr





You have the flu, and miss the final exam, or pass the course.



You have the flu, or miss the final exam, and pass the course.


You have the flu, or miss the final exam, or pass the course.



You do not have the flu, or miss the final exam, or pass the course.



You have the flu, and miss the final exam, and pass the course.


d) (pr)(qr)





It is the case that if you have the flu and miss the final exam, then you do not pass the course.


It is either the case that if you have the flu then you do not pass the course or the case that if you
miss the final exam then you do not pass the course.



If you do not pass the course, then you have the flu and you missed the final exam.



It is the case that if you have the flu then you do not pass the course and the case that if you miss
the final exam then you do not pass the course.



It is the case that if you do not pass the course, then you have the flu or missed the final exam.


e) (pq)(qr)




You have either the flu or miss the final exam, or you do not miss the final exam or pass the course.



Either you have the flu or miss the final exam, or you do not miss the final exam and pass the
course.


Either you have the flu and miss the final exam, or you do not miss the final exam and pass the
course.



You have both the flu and miss the final exam, and do not miss the final exam and pass the course.



You have the flu or miss the final exam, and you do not miss the final exam or pass the course.

2.
Description: Ch 01 Sec 1 Ex 18

Determine whether each of these conditional statements is true or false.

a) If 9+9=17, then unicorns exist.





False because the first statement is true and the second statement is false.



False because the first statement is false and the second statement is true.



False because both statements are false.


True because both statements are false.



True because the first statement is true and the second statement is false.



True because the first statement is false and the second statement is true.


b) If 8+9=18, then dogs can fly.




True because both statements are false.



False because the first statement is false and the second statement is true.



True because the first statement is false and the second statement is true.



False because both statements are fase.



False because the first statement is true and the second statement is false.



True because the first statement is true and the second statement is false.


c) If 1+3=4, then dogs can fly.





False because the first statement is false and the second statement is true.



True because the first statement is true and the second statement is false.



True because both statements are false.



False because both statements are fase.


False because the first statement is true and the second statement is false.



True because the first statement is false and the second statement is true.


d) If 6+5=12, then 3+7=9.





False because the first statement is true and the second statement is false.


True because both statements are false.



False because the first statement is false and the second statement is true.



True because the first statement is true and the second statement is false.



False because both statements are false.



True because the first statement is false and the second statement is true.

3.
Description: Ch 01 Sec 1 Ex 27

State the converse, contrapositive, and inverse of each of these conditional statements.


a) If it snows tonight, then I will stay at home.

Converse: If I stay home, then it will snow tonight.
Contrapositive: If I do not stay at home, then it will not snow tonight.
Inverse: If it does not snow tonight, then I will not stay home.

b) I go to the beach whenever it is a sunny summer day.

Converse: Whenever I go to the beach, it is a sunny summer day.
Contrapositive: Whenever I do not go to the beach, it is not a sunny summer day.
Inverse: Whenever it is not a sunny day, I do not go to the beach.

c) When I stay up late, it is necessary that I sleep until noon.

Converse: If I sleep until noon, then I stayed up late.
Contrapositive: If I do not sleep until noon, then I did not stay up late.
Inverse: If I do not stay up late, then I do not sleep until noon.

Comment:

a) Converse: "If I stay home, then it will snow tonight."
Contrapositive: "If I do not stay at home, then it will not snow tonight."
Inverse: "If it does not snow tonight, then I will not stay home."

b) Converse: "Whenever I go to the beach, it is a sunny summer day."
Contrapositive: "Whenever I do not go to the beach, it is not a sunny summer day."
Inverse: "Whenever it is not a sunny day, I do not go to the beach."

c) Converse: "If I sleep until noon, then I stayed up late."
Contrapositive: "If I do not sleep until noon, then I did not stay up late."
Inverse: "If I do not stay up late, then I do not sleep until noon."

4.
Description: Ch 01 Sec 1 Ex 30

How many rows appear in a truth table for each of these compound propositions?

a) (pq)(pq)

4 rows appear in the truth table.

b) (pt)(vs)

16 rows appear in the truth table.

c) (pr)(st)(uv)

64 rows appear in the truth table.

d) (prs)(qt)(rt)

32 rows appear in the truth table.

Comment:

A truth table will need 2n rows if there are n variables.
5.
Description: Ch 01 Sec 1 Ex 32

Complete the truth table for each of these compound propositions.

a) pp
p p pp
T F F
F T F


b) p(pq)
p q pq p(pq)
T T T F
T F F T
F T F F
F F F F


c) (pq)(pq)
p q pq pq (pq)(pq)
T T T T T
T F F T T
F T F T T
F F F F T


d) (qp)(pq)
p q p qp pq (qp)(pq)
T T
F
F T F
T F
F
T F F
F T
T
T F F
F F
T
T T T


e) (pq)(pq)
p q q pq pq (pq)(pq)
T T
F
T F T
T F
T
F T T
F T
F
F T T
F F
T
T F T

6.
Description: Ch 01 Sec 2 Ex 10

Are these system specifications consistent?

"Whenever the system software is being upgraded, users cannot access the file system. If users can
access the file system, then they can save new files. If users cannot save new files, then the system
software is not being upgraded."

Let the following statements be represented symbolically as shown:

u: "The software system is being upgraded."
a: "Users can access the file system."
s: "Users can save new files."

Write each system specification symbolically.

"Whenever the system software is being upgraded, users cannot access the file system."




au



ua



ua



ua


ua


"If users can access the file system, then they can save new files."




as


as



as



sa



as


"If users cannot save new files, then the system software is not being upgraded."




us



su



su


su



su


Is the system consistent?




No, this system is not consistent.



Yes, the conditional statements are always true.


Yes, for example making u false, a false, and s true makes it consistent.

7.
Description: Ch 01 Sec 3 Ex 10

Show that each of these conditional statements is a tautology by completing the truth tables.


a) [p(pq)]q

p q p pq p(pq) [p(pq)]q
T T
F

T
F T
T F

F

T
F T
F T
T

T
T T
F F

T

F
F T



b) [(pq)(qr)](pr)
p q r pq qr pr (pq)(qr) [(pq)(qr)](pr)
T T T T T T T T
T T F T F F F T
T F T F T T F T
T F F F T F F T
F T T T T T T T
F T F T F T F T
F F T T T T T T
F F F T T T T T



c) [p(pq)]q
p q pq p(pq) [p(pq)]q
T T T T T
T F F F T
F T T F T
F F T F T



d) [(pq)(pr)(qr)]r
p q r pq pr qr (pq)(pr)(qr) [(pq)(pr)(qr)]r
T T T

T
T T T T
T T F

T
F F F T
T F T

T
T T T T
T F F

T
F T F T
F T T

T
T T T T
F T F

T
T F F T
F F T

F
T T F T
F F F

F
T T F T

We conclude that each of these conditional statements is a tautology because the entries in the last
column contain all Ts .

8.
Description: Ch 01 Sec 3 Ex 14

When is the conditional statement (q(pq))pfalse?




Only when p and q and pq are all false.



Only when p is true and q and pq are false.


Only when p is false and q and pq are true.



Only when p and q and pq are all true.



Only when p is false and q and pq are true.


Is it possible that (q(pq))p is false?




Yes, this occurs when p is false and q is true.


No, there are no values for p and q which make the proposition false.


Is the original statement a tautology?

(q(pq))p is a tautology

9.
Description: Ch 01 Sec 3 Ex 17

Show that (pq) and pq are logically equivalent by completing the truth table.

p q q pq (pq) pq
T T

F
T F F
T F

T
F T T
F T

F
F T T
F F

T
T F F

(pq) and pq are logically equivalent because the last two columns in the truth table are
identical .

10.
Description: Ch 01 Sec 3 Ex 40

Find a compound proposition involving the propositional variables p, q, and r that is true when p and q are
true and r is false, but is false otherwise.

p and q and not r