Advertisements
Advertisements
प्रश्न
Prove p → (q → r) ≡ (p ∧ q) → r without using the truth table
उत्तर
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
संबंधित प्रश्न
Write the following sentences in symbolic form using statement variables p and q.
19 is a prime number or all the angles of a triangle are not equal
Write the following sentences in symbolic form using statement variables p and q.
19 is not a prime number
Which one of the following sentences is a proposition?
3n ≤ 81, n ∈ N
Which one of the following sentences is a proposition?
How tall this mountain is!
Write the converse, inverse, and contrapositive of the following implication.
If a quadrilateral is a square then it is a rectangle
Construct the truth table for the following statement.
¬P ∧ ¬q
Construct the truth table for the following statement.
¬(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 v q) ∧¬p) → q
Prove that q → p ≡ ¬p → ¬q
Show that p → q and q → p are not 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 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:
In the last column of the truth table for ¬(p v ¬q) the number of final outcomes of the truth value ‘F’ is
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
Choose the correct alternative:
The proposition p∧(¬p∨q)] is
