Scribd
Upload
28 views

Ls 2 - Propositional Logic - Worksheet 1

Uploaded by

Mandadi Jyoshna
Copyright
© © All Rights Reserved
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
28 views

Ls 2 - Propositional Logic - Worksheet 1

Uploaded by

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

Ls - 2

Propositional Logic
Worksheet 1

1) If (~P ⇒ Q) then write its :


(i) Inverse
(ii) Converse

2) The statements are given as:


If p : Jitendra Kumar is a computer teacher.
q : Rahul is a student.
Write these statements in symbolic form:
(a) Jitendra Kumar is a computer teacher and Rahul is a student.
(b) Jitendra Kumar is a computer teacher and Rahul is not a student.
(c) Jitendra Kumar is not a computer teacher and Rahul is a student.
(d) Neither Jitendra Kumar is a computer teacher nor Rahul is a
student.
(e) Either Jitendra Kumar is a computer teacher or Rahul is a student.

3) Show that X v ~ (Y ^ X) is a tautology.

4) State whether the following expression is a Tautology, Contradiction or


the Contingency with help of the truth table.
(X→Z) v ~[(X→Y) ^ (Y→Z)]

5) The statements are given as:


If p : Today is a holiday.
q : I will go to attend a birthday party.
Express each of the following statement in words:
(a) p v ~ q
(b) ~q
(c) (~p) ^ q
(d) ~(p v q)
(e) ~((~p) ^ q)
(f) (~p) . ~q
6) Consider the statements:
If p : You work hard.
q : You will succeed in your life.
Translate each of following symbolic expressions in meaningful
(a) p ⇒ q
sentences:

(b) q ⇒ p
(c) (~p) ⇒ (~q)
(d) (~q) ⇒ (~p)

(a) (p ⇒ q) ^ (q ⇒ p)
7) Construct the truth tables for the following:

(b) q ⇒ [(~p) v q]
8) Verify the following proposition with help of the truth table:
P v (~P ^ Q) = P v Q
9) Write converse, inverse and contrapositive of each statement:
(a) If it rains, then you will not play.
(b) If you work hard, then you will pass.
(c) If I run fast, then I will win the race.

(a) [(p ⇒ q) ^ (q ⇒ r)] ⇒ (p ⇒ r)


10) Show that the given statements are tautologies:

b) [(p ⇒ q) ^ p] ⇒ q

You might also like