1. Which of the following sentences are propositions?

For those that

are, indicate the truth value.
a. 123 is a prime number.
b. 0 is an even number.
c. 𝑥2−4=0.
d. Multiply 5𝑥+2 by 3.
e. What an impossible question!
(ANS: a,b are PROPOSITIONS and others are not)

2.For statements 𝑝,𝑞 and 𝑟, use a truth table to verify that each of
the following pairs of statements is logically equivalent.

a. 𝑝⟹(𝑞∨𝑟) and (⌝𝑟)⟹(𝑝⟹𝑞). C) (c) ((Ꞁq) Vp) and ((Ꞁr) ⋁p)

(d) ( ‫(ך‬r⇔q)) and (p⇔ (‫ך‬q))
(e) (r V (p⇔q)) and ((q Vr)⇔(p⋀q))
(f) p⇒ (q ⇔r)) and ((p⇒r)⇔ (q⇒p))
(g) (q⋁(q⋀r)) and ((q /\p)⇔(p⋀r))
b. 𝑝⟹(𝑞∨𝑟) and ((‫))𝑞⟹)𝑝∧)𝑟ך‬.

3. Let F = ¬(¬p∧¬q ∧¬r)∧(¬p∨q ∨r) and G = q ∨r. Say which one of

the following properties hold: F |= G, G |= F, F ≡ G, F ∧ ¬G is a
tautology, F ∧ ¬G is a contradiction, ¬F ∨ G is a tautology, ¬F ∨ G is
a contradiction.
4. Is the following statement true? (provide a justification for your
answer). If F → G is satisfiable and F is satisfiable, then G is
satisfiable.
3.what are the truth values of the following compound statements
given thar P ≡ 2 devides 3 with out reminder,Q≡ 4≤-2, R≡ a non
positive intiger is negative.

a) P⋁(┐q⇒r) b) (p⋀‫ך‬r)⋁(p⋁q) c) Ꞁ[p⋀(Ꞁq⇒Ꞁr)] d)

(p⇒q)⇔(q⇒r)
e) [(r⋁ Ꞁq)⋀(Ꞁp⇔q)]⇒(Ꞁr⇒p).

e. (p⟹(q∧r))∨(‫ך‬p∧q).
f. (𝑝∧𝑞)⟹((𝑞∧‫))𝑞∧𝑟(⟹)𝑞ך‬.
f) ((((p ⇒q) ⇒(r ⇒q)) ⋀(‫ך‬p)) ⋁r) g) (Ꞁ(((Ꞁ(q V r)))⇔ (q ⋁p)))
4) Identify for the following compound statements as
tautology,contradiction or neither.
a) [(Ꞁp⋀(q⋁Ꞁr)]⇒(Ꞁq⇔p) b)
[(p⇒q)⋀(q⇒p)⇒(p⇒r)]
c) (𝑝∧‫ )𝑞∧𝑝(∧)𝑞ך‬d) ((A ⇔ ( ( ‫ך‬p) V r))⇒ ( (┐q) ⇔p))
e) ((pV (Ꞁ(r ⋀ C)))⇒ ((p⇔q) ⋁r))

5. Suppose the value of 𝑝⟹𝑞 is 𝑇; what can be said about the value
of ‫?𝑞∨𝑝⟺𝑞∧𝑝ך‬

6. a. Suppose the value of 𝑝⟺𝑞 is 𝑇; what can be said about the

values of ‫ 𝑞ך⟺𝑝ך‬and ‫?𝑞⋁𝑝ך‬

b. Suppose the value of 𝑝⟺𝑞 is 𝐹; what can be said about the values
of ‫ 𝑞⟺𝑝ך‬and 𝑝⟺‫?𝑞ך‬

6.For each of the following determine decide the truth valu for the
given information.
a) (𝑝∧𝑞)⟹(𝑝∨𝑠), where 𝑝=𝑇 and 𝑠=T b) ‫)𝑞ך∧𝑝ך(⟺)𝑞∨𝑝(ך‬, where
𝑝∨𝑞=F