# lab solution

1) For each of the following compound statements, first identify the primitive statements p, q, r, etc. of which it is composed. Then express the statement symbolically. a. If n is an integer, then either n is even or n is odd. b. If an integer is prime and is greater than 2, then the integer is odd. c. If n is not negative and its square is less than 4, then either n is zero or n is positive and less than 2. d. If an integer is even and greater than 2, then it is not prime.
2) prove the following a) (pq)  ((~p)  q) b) (pq)  ((~q)  (~p)) c) ~(pq)  (~p)  (~q) d) ~(pq) ((p~q) (q~p))
3) construct truth table for (z'  x)  ((xy)z)  (z'y)  x  y explain the result
4) calculate TT for [p(qr)][(pq)  (pr)] and determine its type
5) Let p and q be the propositions p : I bought a lottery ticket this week. q : I won the million dollar jackpot on Friday. Expression each of these propositions as an English sentence. e) p ↔ q f) ¬p → ¬q
6). Let p, q, and r be the propositions p : Grizzly bears have been seen in the area. q : Hiking is safe on the trail. r : Berries are ripe along the trail. a) Berries are ripe along the trail, but grizzly bears have not been seen in the area. b) Grizzly bears have not been seen in the area and hiking on the trail is safe, but berries are ripe along the trail. c) If berries are ripe along the trail, hiking is safe if and only if grizzly bears have not been seen in the area. d) It is not safe to hike on the trail, but grizzly bears have not been seen in the area and the berries along the trail are ripe. e) For hiking on the trail to be safe, it is necessary but not sufficient that berries not be ripe along the trail and for grizzly bears not to have been seen in the area. f) Hiking is not safe on the trail whenever grizzly bears have been seen in the area and berries are ripe along the trail.
2
7). Determine whether these biconditionals are true or false. d) 0 1 if and only if 2 1.
8). State the converse, contrapositive, and inverse of each of these conditional statements. a) If it snows tonight, then I will stay at home. b) I go to the beach whenever it is a sunny summer day. c) When I stay up late, it is necessary that I sleep until noon.
9. Construct a truth table for each of these compound propositions. e) (p → q) ↔ (¬q → ¬p)
10). An ancient Sicilian legend says that the barber in a remote town who can be reached only by traveling a dangerous mountain road shaves those people, and only those people, who do not shave themselves. Can there be such a barber?
11). Even though we normally use "implies" and "if ..., then" to describe implication, other word orders and phrases often arise in practice, as in the example below. Let p, q, and r be the propositions: p = "the flag is set," q = "I=0," r = "subroutine S is completed." Translate each of the following propositions into symbols, using the letters p. q. r and logical connectives. a) If the flag is set, then I=0. b) The flag is set and I=0 if subroutine S is not completed. c) Subroutine S is completed if and only if I=0 and flag is set