Advertisements
Advertisements
Question
Prove that q → p ≡ ¬p → ¬q
Advertisements
Solution
| 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
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
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
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?
Construct the truth table for the following statement.
¬(P ∧ ¬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) ∧ (q → r)) → (p → r)
Show that (p ∧ q) ≡ ¬p v ¬q
Using the truth table check whether the statements ¬(p v q) v (¬p ∧ q) and ¬p are logically equivalent
Choose the correct alternative:
If a compound statement involves 3 simple statements, then the number of rows in the truth table is
Choose the correct alternative:
Which one is the contrapositive of the statement (p v q) → r?
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:
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:
The proposition p∧(¬p∨q)] is
