Scribd
Upload
27 views4 pages

Propositional Logic-Exercise

The document is an exercise sheet for a course on Discrete Structures, focusing on propositional logic. It includes questions on identifying propositions, constructing truth tables, and writing statements in symbolic notation. The answers provided demonstrate the application of logical concepts and operations.

Uploaded by

cokianryle
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 views4 pages

Propositional Logic-Exercise

The document is an exercise sheet for a course on Discrete Structures, focusing on propositional logic. It includes questions on identifying propositions, constructing truth tables, and writing statements in symbolic notation. The answers provided demonstrate the application of logical concepts and operations.

Uploaded by

cokianryle
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/ 4

OPEN UNIVERSITY SYTEM

INSTITUTE OF OPEN AND DISTANCE EDUCATION


COMP 004 – DISCRETE STRUCTURES 1 PROPOSITIONAL
LOGIC

NAME: KIAN RYLE R. CO COURSE YR. & SEC.BSITOUMN 1-4 DATE:30/25/25

INSTRUCTIONS. Write your answer in the space provided after the


question.

EXERCISE I

1. Which of the following are propositions?


Ans: B,C,D and E.
a. Study Hard!
b. The Apple Macintosh is a 16-bit computer.
c. 1 is an even number.
d. Why are we here?
e. 8 + 7 = 13
f. All of the above
g. Letters b,c, d, e

2. p is "x < 50"; q is "x > 40".


Write as simply as you can:
Ans:
a. ¬p = "x ≥ 50"
b. ¬q = "x ≤ 40"
c. p ∧ q = "40 < x < 50"
d. p ∨ q = "x < 50 OR x > 40" (true)
e. ¬p ∧ q = "x ≥ 50 AND x > 40" (simplifies to x ≥ 50)
f. ¬p ∧ ¬q = "x ≥ 50 AND x ≤ 40" (false this is an impossible case)

3. What is the formula of this sentence type: "Conjunction"?


Ans: B
a.¬(P&Q)
b.¬P&Q
c.P
d.P∨(Q→R)

4. What is the formula of this sentence type: "Disjunction"?


Ans: D
a.¬(P&Q)
b.¬P&Q
c.P
d.P∨(Q→R)

5. What is the formula of this sentence type: "Simple"?


Ans: C
a.¬(P&Q)
b.¬P&Q
c.P
d.P∨(Q→R)

EXERCISE II

1. Construct the truth table for P Λ (Q ∨ R)


Ans:
P Q R QVR P^( Q ∨ R)
T T T T T
T T F T T
T F T T T
T F F F F
F T T T F
F T F T F
F F T T F
F F F F F

2. Construct the truth table for (P Λ Q) ∨ R

Ans:
P Q R P^Q (P^ Q )∨ R
T T T T T
T T F T T
T F T F T
T F F F F
F T T F T
F T F F F
F F T F T
F F F F F

3. Construct the truth table for (P ∧ ¬Q) ∨ ¬P

Ans:
P Q ¬ P^¬Q ¬ (P^ ¬Q )∨ ¬P
Q P
T T F F F F
T F T T F T
F T F F T T
F F T F T T

4. Construct the truth table for P ⇒ (Q ∨ ¬R)

Ans:
P Q R ¬ Q ∨ ¬R P ⇒ (Q ∨ ¬R)
R
T T T F T T
T T F T T T
T F T F F F
T F F T T T
F T T F T T
F T F T T T
F F T F F T
F F F T T T

5. Construct the truth table for ¬((¬P ⇒ Q) ∨ (P ⇒R)


Ans:

P Q R ¬ ¬ P Q ∨ ¬R P ⇒ (Q ∨ ¬R)
P P ⇒
⇒ R
Q
T T T F T T T F
T T F F T F T F
T F T F F T T F
T F F F F F F T
F T T T T T T F
F T F T T F T F
F F T T F T T F
F F F T F F F T

EXERCISE III

Write Each Statement in Symbolic Notation.


C: Critical thinker
D: Dota Player
S: Studying well

1. Von is a Dota Player.


Ans: D

2. If Miguel is a Critical Thinker and not Studying Well, then he is a Dota Player.
Ans: (C ∧ ¬S) → D

3. Sae is Studying Well and a Dota Player.


Ans: S ∧ D

4. What Is the negation of the statement that All cows eat grass?
a. All cows eat grass
b. Not all cows eat grass
c. Cats and Birds are Cows
d. Neither the Cows nor the grass is yellow
Ans: B

5. Suppose p = You tell everyone to just support the government and q = You are blinded by
your privilege, what symbolic notation is correct for "If you tell everyone to just support the
government then you are blinded by your privilege"?
a. p→q
b. ¬p q
c. q↔p
d. None of the above
Ans: A

You might also like