Scribd
Upload
27 views3 pages

Logic Tut5 Sol PDF

Chapter 5 covers various aspects of logic, including propositions, truth values, logical equivalences, and implications. It provides answers to tutorial questions, demonstrating the evaluation of logical statements and their relationships. The chapter also explores the concepts of converse, inverse, and contrapositive in logical reasoning.

Uploaded by

Hans Teng
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
27 views3 pages

Logic Tut5 Sol PDF

Chapter 5 covers various aspects of logic, including propositions, truth values, logical equivalences, and implications. It provides answers to tutorial questions, demonstrating the evaluation of logical statements and their relationships. The chapter also explores the concepts of converse, inverse, and contrapositive in logical reasoning.

Uploaded by

Hans Teng
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

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)

You might also like