Scribd
Upload
306 views

Some Exercises On Propositional Logic: Suhail Q. Mir

The document presents 6 exercises on propositional logic. Each exercise asks the reader to construct a truth table for a given proposition. The truth tables are included and show the evaluation of each proposition based on the possible truth values of its variables. Additional exercises are provided without solutions for practice. The document provides examples of how to represent and evaluate propositions using truth tables as a way to learn propositional logic.

Uploaded by

Suhail Qadir
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
306 views

Some Exercises On Propositional Logic: Suhail Q. Mir

The document presents 6 exercises on propositional logic. Each exercise asks the reader to construct a truth table for a given proposition. The truth tables are included and show the evaluation of each proposition based on the possible truth values of its variables. Additional exercises are provided without solutions for practice. The document provides examples of how to represent and evaluate propositions using truth tables as a way to learn propositional logic.

Uploaded by

Suhail Qadir
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 14

Some Exercises on Propositional Logic

SUHAIL Q. MIR
MSc. IT
Directorate of Information Technology & Support Systems
University of Kashmir
Exercise 1

Construct a Truth Table

→
p ¬p p → (¬p)
T
F
Exercise 1

The Truth Table

→
p ¬p p → (¬p)
T F F
F T T
Exercise 2

Construct a Truth Table

→
p q ¬q p ∨ ¬q (p ∨ ¬q) → q
T T
T F
F T
F F
Exercise 2

Any compound proposition can be evaluated by a truth table

→
p q ¬q p ∨ ¬q (p ∨ ¬q) → q
T T F T T
T F T T F
F T F F T
F F T T F
Exercise 3

Construct a Truth Table

(p → q) → (q → p)
p q p→q q→p (p → q) → (q → p)
T T
T F
F T
F F
Exercise 3

Construct a Truth Table

(p → q) → (q → p)
p q p→q q→p (p → q) → (q → p)
T T T T T
T F F T T
F T T F F
F F T T T
Exercise 4

Construct a Truth Table

(p q) → (q p)
p q p∧q q∨p (p ∧ q) → (q ∨ p)
T T
T F
F T
F F
Exercise 4

Construct a Truth Table

(p q) → (q p)
p q p∧q q∨p (p ∧ q) → (q ∨ p)
T T T T T
T F F T T
F T F T T
F F F F T
Exercise 5

Construct a Truth Table

(p ↔ q) → (q p)
p q p↔q q∨p (p ↔ q) → (q ∨ p)
T T
T F
F T
F F
Exercise 5

Construct a Truth Table

(p ↔ q) → (q p)
p q p↔q q∨p (p ↔ q) → (q ∨ p)
T T T T T
T F F T T
F T F T T
F F T F F
Exercise 6

Construct a Truth Table

(p ↔ q) (q ↔ p)
p q p↔q q↔p (p ↔q) ⊕ (q ↔ p)
T T
T F
F T
F F
Exercise 6

Construct a Truth Table

(p ↔ q) (q ↔ p)
p q p↔q q↔p (p ↔ q) ⊕ (q ↔ p)
T T T T F
T F F F F
F T F F F
F F T T F
Some more Exercises
a) p → (¬ q ∨ r) a) p → ¬ q
b) ¬ p → (q → r) b) ¬ p ↔ q
c) (p → q) ∨ (¬ p → r) c) (p → q) ∨ (¬ p → q)
d) (p → q) ∧ (¬ p → q)
d) (p → q) ∧ (¬ p → r) e) (p ↔ q) ∨ (¬ p ↔ q)
e) (p ↔ q) ∨ (¬ q ↔ r) f ) (¬ p ↔ ¬ q) ↔ (p ↔ q)
f ) (¬ p ↔ ¬ q) ↔ (q ↔ r)
a)p ⊕ p
b)p ⊕ ¬ p
c) p ⊕ ¬ q
d) ¬ p ⊕ ¬ q
e) (p ⊕ q) ∨ (p ⊕ ¬ q)
f ) (p ⊕ q) ∧ (p ⊕ ¬ q)

You might also like