Logic
Logic
Tutorial 3: Logic
Question 1
Indicate which of the sentences are statements
(a) 9,024 is the smallest 4 digit number that is a perfect square.
(b) He is a Mathematics major.
(c) 128 = 2128 .
(d) y = 204 .
Question 2
Construct truth tables for the following statements:
(a) p ∧ ¬q.
(b) ¬(p ∨ ¬q) ∨ p.
(c) (p ∧ ¬r) ∨ (q ∨ r).
(d) (p ∧ q) → q.
(e) ¬(p ∧ ¬q) ⇐⇒ ¬p ∨ q.
(f) p → q.
(g) q → p.
(h) ¬p → ¬q.
Page 1 of 3
(i) ¬p → ¬q.
Question 3
Use truth table method to determine whether the following are logically equivalent:
(a) p → (q ∧ ¬q) and ¬p
(b) p ⇐⇒ q and (p → q) ∧ (q → p)
Question 4
Use truth table method to determine whether the following are tautology or contradiction:
(a) p ∧ ¬(p ∨ q)
(b) (p ∧ q) ∨ [(¬p) ∧ ¬q]
Question 5
Convert the following symbolic statements into words if
Question 6
Lets consider a propositional language where
Question 7
Negate the following statements:
(a) ∀ people p, if p is blond then p has blue eyes.
Question 8
Identify the hypothesis and conclusion of each conditional statement
(a) If you can see the stars then it night.
(b) x is divisible by 2 if x is an odd number.
Question 9
Write the conditional statement from each of the following
(a) Three non collinear points determine a plane.
(b) Congruent segment have equal measures.
Question 10
For each conditional statement, write the converse, inverse, transpose and a bi-conditional
statement.
(a) If the date is 6 July then it is independent day.
(b) If a figure has 10 sides then it is a decagon.
Page 3 of 3