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)