Advertisements
Advertisements
प्रश्न
Prove that q → p ≡ ¬p → ¬q
Advertisements
उत्तर
| p | q | q → p | ¬p | ¬q | ¬p → ¬q |
| T | T | T | F | F | T |
| T | F | T | F | T | T |
| F | T | F | T | F | F |
| F | F | T | T | T | T |
The entries in the columns corresponding to q → p and ¬p → ¬q are identical and hence they are equivalent.
∴ q → q = ¬p → ¬q
Hence proved.
APPEARS IN
संबंधित प्रश्न
Write the following sentences in symbolic form using statement variables p and q.
19 is not a prime number and all the angles of a triangle are equal
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 a prime number and all the angles of a triangle are equal
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?
3n ≤ 81, n ∈ N
Which one of the following sentences is a proposition?
Peacock is our national bird
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 → 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 v q) ∧¬p) → q
Show that p → q and q → p are not equivalent
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
Prove p → (q → r) ≡ (p ∧ q) → r without using the truth table
Prove that p → (¬q v r) ≡ ¬p v (¬q v r) using truth table
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 contrapositive of the statement (p v q) → r?
