Advertisements
Advertisements
Question
Prove p → (q → r) ≡ (p ∧ q) → r without using the truth table
Advertisements
Solution
P → (q → r)
≡ P → (¬q v r) ......[∵ implication law]
≡ ¬p v (¬q v r) .......[∵ implication law]
≡ (¬p v ¬q) v r ......[∵ Associative law]
≡ ¬(p ∧ p) v r ......[∵ DeMorgan’s law]
≡ (p ∧ q) → r ≡ T ......[∵ implication law]
Hence Proved.
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 ∧ ¬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 v 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
Determine the truth value of the following statement.
China is in Europe dr `sqrt(3)` is art integer
Which one of the following sentences is a proposition?
4 + 7 = 12
Which one of the following sentences is a proposition?
What are you doing?
Which one of the following sentences is a proposition?
How tall this mountain is!
Construct the truth table for the following statement.
(p v q) v ¬q
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 v q) ∧¬p) → q
Verify whether the following compound propositions are tautologies or contradictions or contingency.
(p → q) ↔ (¬p → q)
Show that ¬(p ↔ q) ≡ p ↔ ¬q
Using the truth table check whether the statements ¬(p v q) v (¬p ∧ q) and ¬p are logically equivalent
Choose the correct alternative:
The operation * defined by a * b = `"ab"/7` is not a binary operation on
Choose the correct alternative:
Which one is the inverse of the statement (p v q) → (p ∧ q)?
Choose the correct alternative:
The proposition p∧(¬p∨q)] is
Choose the correct alternative:
Determine the truth value of each of the following statements:
(a) 4 + 2 = 5 and 6 + 3 = 9
(b) 3 + 2 = 5 and 6 + 1 = 7
(c) 4 + 5 = 9 and 1 + 2 = 4
(d) 3 + 2 = 5 and 4 + 7 = 11
