Scribd
Upload
6 views

Unit 2_Logic_Tutorials

Uploaded by

jovialdarwin8
Copyright
© © All Rights Reserved
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
6 views

Unit 2_Logic_Tutorials

Uploaded by

jovialdarwin8
Copyright
© © All Rights Reserved
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 3

UNIT 2: Propositional Logic Tutorials

Tutorial 01:
1) Which of these sentences are propositions? Mention the truth values of those that are
propositions?
i) 2+3=5
ii) Miami is the capital of Florida
iii) Answer this question
2) What is the negation of each of these propositions?
i) Today is Thursday
ii) There is no pollution in New Jersey
iii) 2+1=3
p q
3) Let and be the propositions “Swimming at New Jersey shore is allowed” and
“Sharks have been spotted near the shore” respectively. Express each of these compound
propositions as an English sentence.
~p
a.
p∨ q
b.
~ p→ ~ q
c.
~ q∨( ~ p∧q )
d.
p q r
4) Let , and 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
Write these propositions using p , q , and r and logical connectives (including negations).
a. Berries are ripe along the trail but grizzly bears have not been seen in the area
b. 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.
c. 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 be seen in the area
5) Construct a truth table for each of these compound propositions.
p→ ( ~ q∨r )
a.
~ p→ ( q →r )
b.
( p→q )∨( ~ p→r )
c.
( p→q )∧( ~ p→r )
d.
( ~ p ↔ ~q ) ↔ ( q →r )
e.

Page | 1
UNIT 2: Propositional Logic Tutorials

Tutorial 02:

1) State the converse, inverse and contrapositive of the


following :
(i) If it is cold, then he wears a hat.
(ii) If an integer is a multiple of 2, then it is even.

2) Translate the following statement into symbolic form :


If the utility cost goes up or the request for additional funding is desired, then a new
company will be purchased if and only if we can show that the current computing
facilities are indeed not adequate.

3) Show that are logically equivalent

4) Show that are not logically equivalent

5) Show that is a tautology

6) Let n ∈ Z. Prove that if 5n + 3 is odd, then 7n + 4 is even

7) Let n ∈ Z. Prove that if 7n + 4 is even, then 3n − 5 is odd

8) The sum of a rational number and an irrational number is irrational.

9) Prove that 1+5 √ 2 is irrational

10) Prove that the product of an irrational number and a nonzero rational number is
Irrational

11) Using laws of logic prove that


i)
ii)

12) Show that: is a tautology

Page | 2
UNIT 2: Propositional Logic Tutorials

Tutorial 03: MATHEMATICAL INDUCTION

1) Prove

2) Show by mathematical induction

3) Prove

4) Prove the following using Mathematical induction, for any integer n

5) Prove

6) Show that is divisible by 3

7) Show that by induction

8) Show that is divisible by 3


9) Show by mathematical induction

Page | 3

You might also like