Advertisements
Advertisements
Question
Verify whether the following compound propositions are tautologies or contradictions or contingency.
(p → q) ↔ (¬p → q)
Advertisements
Solution
| p | q | ¬p | p → q | ¬p → q | (p → q) ↔ (¬p → q) |
| T | T | F | T | T | T |
| T | F | F | F | T | F |
| F | T | T | T | T | T |
| F | F | T | T | F | F |
The entries in the last column are a combination of T and F.
∴ The given statement is a contingency.
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 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
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 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 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 ∧ ¬q)
Verify whether the following compound propositions are tautologies or contradictions or contingency.
((p v q) ∧¬p) → q
Show that (p ∧ q) ≡ ¬p v ¬q
Prove that q → p ≡ ¬p → ¬q
Show that p → q and q → p are not equivalent
Prove that p → (¬q v r) ≡ ¬p v (¬q v r) using truth table
Choose the correct alternative:
Which one of the following statements has the truth value T?
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 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:
The proposition p∧(¬p∨q)] is
Choose the correct alternative:
Which one of the following is not true?
