Chapter 5: Logic MS0105/MS0151
Tutorial 5 – Answers
1. (a) Proposition, false (e) Proposition, true
(b) Non-proposition (f) Non-proposition
(c) Proposition, false (g) Proposition, false
(d) Proposition, true (h) Proposition, true
2. (a) T (b) F (c) T (d) F (e) F (f) F
3. (a,b)
p q ¬p ¬q p ∧ ¬q p∧q ¬p ∨ ( p ∧ q )
F F T T F F T
F T T F F F T
T F F T T F F
T T F F F T T
(c)
p q r p∧q ¬( p ∧ q ) r∧ p ¬( p ∧ q) ∨ ( r ∧ p )
F F F F T F T
F F T F T F T
F T F F T F T
F T T F T F T
T F F F T F T
T F T F T T T
T T F T F F F
T T T T F T T
4. (a) John is not good in mathematics.
(b) John is good in mathematics or programming.
(c) John is not good in mathematics, but good in programming.
(d) John is not good in mathematics and programming.
(e) John is good in mathematics and programming, but he is not happy.
(f) If John is good in mathematics and programming, then he is happy.
(g) John is happy if and only if he is good in mathematics and programming.
5. (a) p ∧ ¬q (b) q ⇒ r (c) r ⇒ q (d) ( p ⇒ q) ⇒ r or ( p ⇒ q ) ∧ ( q ⇒ r )
6. (a) T (b) F (c) F
School of Mathematics & Science 5 - 19
This study source was downloaded by 100000897697612 from CourseHero.com on 03-23-2025 11:14:40 GMT -05:00
https://www.coursehero.com/file/216206338/Logic-tut5-solpdf/
Chapter 5: Logic MS0105/MS0151
7. (a) Let p : it rains, q : I am not going to the beach.
p⇒q If it rains, then I am not going to the beach.
Converse If I am not going to the beach, then it rains.
Inverse If it does not rain, then I am going to the beach.
Contrapositive If I am going to the beach, then it does not rain.
(b) Let p : I score Distinction for this module, q : I treat the whole class.
p⇒q If I score Distinction for this module, then I treat the whole class.
Converse If I treat the whole class, then I score Distinction for this module.
Inverse If I do not score Distinction for this module, then I do not treat the whole class.
Contrapositive If I do not treat the whole class, then I do not score Distinction for this module.
(c) Let p : n is even, q : n 2 is even.
p⇒q If n is even, then n 2 is even.
Converse If n 2 is even, then n is even.
Inverse If n is odd, then n 2 is odd.
Contrapositive If n 2 is odd, then n is odd.
8. (a) P and Q are not logically equivalent.
P= p q Q = p∨q
F F F
F T T
T F T
T T T
(b) P and Q are not logically equivalent.
p q r ¬q ¬q ∨ r P = p ∧ ( ¬q ∨ r ) ¬r q ∧ ¬r Q = p ∨ ( q ∧ ¬r )
F F F T T F T F F
F F T T T F F F F
F T F F F F T T T
F T T F T F F F F
T F F T T T T F T
T F T T T T F F T
T T F F F F T T T
T T T F T T F F T
5 - 20 School of Mathematics & Science
This study source was downloaded by 100000897697612 from CourseHero.com on 03-23-2025 11:14:40 GMT -05:00
https://www.coursehero.com/file/216206338/Logic-tut5-solpdf/
Chapter 5: Logic MS0105/MS0151
(c) P and Q are logically equivalent. p ⇒ q ≡ ¬p ∨ q .
p q P= p⇒q ¬p Q = ¬p ∨ q
F F T T T
F T T T T
T F F F F
T T T F T
9. (a,b) p ¬p p ∨ ¬p p ∧ ¬p
F T T F
T F T F
(c) T
10. (a) × (b) × (c) × (d) × (e) × (f) × (g) × (h) √ (i) ×
School of Mathematics & Science 5 - 21
This study source was downloaded by 100000897697612 from CourseHero.com on 03-23-2025 11:14:40 GMT -05:00
https://www.coursehero.com/file/216206338/Logic-tut5-solpdf/
Powered by TCPDF (www.tcpdf.org)
