a) Do not pass go.

Is NOT a proposition;
b) What time is it?
Is NOT a proposition;
c) There are no black flies in Maine.
Is a proposition; with the truth value False.

d) 4 + x = 5.
Is NOT a proposition; as its truth value Unknown.
e) The moon is made of green cheese.
Is a proposition; with the truth value False.

f ) 2 n ≥ 100.
Is NOT a proposition; as its truth value Unknown.

4)e negation of each of these propositions? (a) Jennifer

A) Jennifer and Teja are not friends.

B) There are not 13 items in a baker's dozen.
C) Abby did not send more than 100 text messages every day.
D) 121 is not a perfect square.

A. Smartphone B has the most RAM of these three smartphones. = true as smartphone
B is 288 Mb most of among three.
B. Smartphone C has lower ROM but a higher resolution camera than Smartphone B.
=True ( False OR True= True)
C. Smartphone B has more RAM, more ROM, and a higher resolution camera than
Smartphone A. = False since resolution of Smartphone A has more than Smartphone
B.
D. If Smartphone B has more RAM and more ROM than Smartphone C, then it also has
a higher resolution camera. = False because Camera of Smartphone c has more i.e.
5MP.
E. Smartphone A has more RAM than Smartphone B if and only if Smartphone B has
more RAM than Smartphone A.= False since smartphone B always have more RAM
than A . then it Smartphone B cant have less than smartphone A.

7)
1. Quixote Media had the largest annual revenue. Solution: This is a false proposition because Acme
Computer had the largest annual revenue.

2. Nadir Software had the lowest net profit and Acme Computer had the largest annual revenue.
Solution: Let p be the statement "Nadir Software had the lowest net profit" and q the statement "Acme
Computer had the largest annual revenue". By Table 1.2, p is true and q is true. So, p∧q is true.
Therefore, this is a true proposition.

3. Acme Computer had the largest net profit or Quixote Media had the largest net profit. Solution: Let p
be the statement "Acme Computer had the largest net profit" and q the 10 Chapter 1. The Foundations:
Logic and Proofs statement "Quixote Media had the largest net profit". By Table 1.2, p is false and q is
true. So, p∨q is true. Therefore, this is a true proposition.

4. If Quixote Media had the smallest net profit, then Acme Computer had the largest annual revenue.
Solution: Let p be the statement "Quixote Media had the smallest net profit" and q the statement
"Acme Computer had the largest annual revenue". By Table 1.2, p is false and q is true. So, p ⇒ q is true.
Therefore, this is a true proposition.

5. Nadir Software had the smallest net profit if and only if Acme Computer had the largest annual
revenue. Solution: Let p be the statement "Nadir Software had the smallest net profit" and q the
statement "Acme Computer had the largest annual revenue". By Table 1.2, p is true and q is true. So, p
⇔ q is true. Therefore, this is a true proposition.

8)

2
 RESULT

10)

1.1.10 Let p and q be the propositions “The election is decided” and “The votes have been counted,”
respectively. Express each of these compound propositions as English sentences.
a) ¬ p : The election is not (yet) decided.

b) p ∨ q : The election is decided or the votes have been counted.

c) ¬ p∧q : The votes have been counted but the election is not (yet) decided.

d) q → p : If the votes are counted then the election is decided.

e) ¬ q → ¬ p : The election is not decided unless the votes have been counted.

f) ¬ p → ¬ q : The votes have not been counted unless the election has been decided. This is equivalent
to proposition d).

g) p ↔ q : The election is decided if and only if the votes have been counted. h) ¬ q ∨ (¬ p ∧ q) : The
votes have not been counted, or th