Advertisements
Advertisements
Question
Check whether the statement p → (q → p) is a tautology or a contradiction without using the truth table
Advertisements
Solution
P → (q → p)
≡ P → (¬q v p) ......[∵ implication law]
≡ ¬p v (¬q v p) ......[∵ implication law]
≡ ¬p v (p v ¬q) .......[∵ Commutative law]
≡ (¬p V p) v (¬p v ¬q) ......[∵ Distribution law]
≡ T v ¬(p ∧ q) ≡ T ......[Tautology]
Hence p → (q → p) is a Tautology.
APPEARS IN
RELATED QUESTIONS
Let p : Jupiter is a planet and q : India is an island be any two simple statements. Give verbal sentence describing the following statement.
¬ P
Let p : Jupiter is a planet and q : India is an island be any two simple statements. Give verbal sentence describing the following statement.
p → ¬q
Let p : Jupiter is a planet and q : India is an island be any two simple statements. Give verbal sentence describing the following statement.
p ↔ q
Which one of the following sentences is a proposition?
What are you doing?
Write the converse, inverse, and contrapositive of the following implication.
If x and y are numbers such that x = y, then x2 = y2
Construct the truth table for the following statement
(¬p → r) ∧ (p ↔ q)
Verify whether the following compound propositions are tautologies or contradictions or contingency.
(p ∧ q) ∧¬ (p v q)
Verify whether the following compound propositions are tautologies or contradictions or contingency.
((p → q) ∧ (q → r)) → (p → r)
Prove that q → p ≡ ¬p → ¬q
Show that ¬(p ↔ q) ≡ p ↔ ¬q
Choose the correct alternative:
The operation * defined by a * b = `"ab"/7` is not a binary operation on
Choose the correct alternative:
Which one of the following statements has the truth value T?
Choose the correct alternative:
Which one is the inverse of the statement (p v q) → (p ∧ q)?
Choose the correct alternative:
The truth table for (p ∧ q) v ¬q is given below
| p | q | (p ∧ q) v ¬q |
| T | T | (a) |
| T | F | (b) |
| F | T | (c) |
| F | F | (d) |
Which one of the following is true?
Choose the correct alternative:
Which one of the following is incorrect? For any two propositions p and q, we have
Choose the correct alternative:
| p | q | (p ∧ q) → ¬p |
| T | T | (a) |
| T | F | (b) |
| F | T | (c) |
| F | F | (d) |
Which one of the following is correct for the truth value of (p ∧ q) → ¬p
