Advertisements
Advertisements
Question
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p → q) ↔ (∼ p ∨ q)
Solution
| p | q | ∼ p | p → q | ∼ p ∨ q | (p → q) ↔ (∼ p ∨ q) |
| T | T | F | T | T | T |
| T | F | F | F | F | T |
| F | T | T | T | T | T |
| F | F | T | T | T | T |
All the entries in the last column of the above truth table are T.
∴ (p → q) ↔ (∼ p ∨ q) is a tautology.
APPEARS IN
RELATED QUESTIONS
Write the converse and contrapositive of the statement -
“If two triangles are congruent, then their areas are equal.”
Express the following statement in symbolic form and write its truth value.
"If 4 is an odd number, then 6 is divisible by 3 "
Prove that the following statement pattern is equivalent :
(p ∨ q) → r and (p → r) ∧ (q → r)
Write the dual of the following statements: (p ∨ q) ∧ T
Write converse and inverse of the following statement:
“If a man is a bachelor then he is unhappy.”
If p and q are true statements and r and s are false statements, find the truth value of the following :
( p ∧ ∼ r ) ∧ ( ∼ q ∧ s )
If p : It is raining
q : It is humid
Write the following statements in symbolic form:
(a) It is raining or humid.
(b) If it is raining then it is humid.
(c) It is raining but not humid.
Show that the following statement pattern in contingency :
(~p v q) → [p ∧ (q v ~ q)]
Write the negation of the Following Statement :
∀ y ∈ N, y2 + 3 ≤ 7
Write the negation of the following statement :
If the lines are parallel then their slopes are equal.
Write converse and inverse of the following statement :
"If Ravi is good in logic then Ravi is good in Mathematics."
By constructing the truth table, determine whether the following statement pattern ls a tautology , contradiction or . contingency. (p → q) ∧ (p ∧ ~ q ).
Using the truth table prove the following logical equivalence.
∼ (p ∨ q) ∨ (∼ p ∧ q) ≡ ∼ p
Using the truth table prove the following logical equivalence.
p ↔ q ≡ ∼ [(p ∨ q) ∧ ∼ (p ∧ q)]
Using the truth table prove the following logical equivalence.
p → (q → p) ≡ ∼ p → (p → q)
Using the truth table prove the following logical equivalence.
p → (q ∧ r) ≡ (p → q) ∧ (p → r)
Using the truth table prove the following logical equivalence.
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Using the truth table prove the following logical equivalence.
p → (q ∧ r) ≡ (p ∧ q) (p → r)
Using the truth table prove the following logical equivalence.
[∼ (p ∨ q) ∨ (p ∨ q)] ∧ r ≡ r
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
∼ (∼ q ∧ p) ∧ q
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(∼ p → q) ∧ (p ∧ r)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
[p → (∼ q ∨ r)] ↔ ∼ [p → (q → r)]
Inverse of statement pattern (p ∨ q) → (p ∧ q) is ________ .
Determine whether the following statement pattern is a tautology, contradiction, or contingency:
[(p ∨ q) ∧ ∼p] ∧ ∼q
Determine whether the following statement pattern is a tautology, contradiction, or contingency:
(p → q) ∧ (p ∧ ∼q)
Determine whether the following statement pattern is a tautology, contradiction or contingency:
(p ∧ q) ∨ (∼p ∧ q) ∨ (p ∨ ∼q) ∨ (∼p ∧ ∼q)
Prepare truth tables for the following statement pattern.
(~ p ∨ q) ∧ (~ p ∨ ~ q)
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
q ∨ [~ (p ∧ q)]
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
(p ∧ ~ q) → (~ p ∧ ~ q)
Prove that the following statement pattern is a tautology.
(p ∧ q) → q
Prove that the following statement pattern is a tautology.
(p → q) ↔ (~ q → ~ p)
Prove that the following statement pattern is a tautology.
(~p ∧ ~q ) → (p → q)
Prove that the following statement pattern is a tautology.
(~ p ∨ ~ q) ↔ ~ (p ∧ q)
Prove that the following statement pattern is a contradiction.
(p ∧ q) ∧ ~p
If p is any statement then (p ∨ ∼p) is a ______.
Fill in the blanks :
Inverse of statement pattern p ↔ q is given by –––––––––.
Show that the following statement pattern is contingency.
(p → q) ↔ (~ p ∨ q)
Using the truth table, verify.
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
Using the truth table, verify
p → (p → q) ≡ ~ q → (p → q)
Using the truth table, verify
~(p ∨ q) ∨ (~ p ∧ q) ≡ ~ p
Prove that the following pair of statement pattern is equivalent.
p → q and ~ q → ~ p and ~ p ∨ q
Prove that the following pair of statement pattern is equivalent.
~(p ∧ q) and ~p ∨ ~q
Write the dual of the following:
(p ∨ q) ∨ r
Write the dual of the following:
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
Write the dual statement of the following compound statement.
13 is prime number and India is a democratic country.
Write the dual statement of the following compound statement.
Karina is very good or everybody likes her.
Write the dual statement of the following compound statement.
Radha and Sushmita cannot read Urdu.
Write the negation of the following statement.
∀ n ∈ N, n + 1 > 0
Using the rules of negation, write the negation of the following:
~(p ∨ q) → r
Write the converse, inverse, and contrapositive of the following statement.
If he studies, then he will go to college.
With proper justification, state the negation of the following.
(p → q) ∨ (p → r)
With proper justification, state the negation of the following.
(p ↔ q) v (~ q → ~ r)
Construct the truth table for the following statement pattern.
(p ∧ ~ q) ↔ (q → p)
Construct the truth table for the following statement pattern.
(p ∨ r) → ~(q ∧ r)
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[~(p ∨ q) → p] ↔ [(~p) ∧ (~q)]
Using the truth table, prove the following logical equivalence.
~p ∧ q ≡ [(p ∨ q)] ∧ ~p
State the dual of the following statement by applying the principle of duality.
(p ∧ ~q) ∨ (~ p ∧ q) ≡ (p ∨ q) ∧ ~(p ∧ q)
Write the dual of the following.
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
The false statement in the following is ______.
If p → (∼p v q) is false, then the truth values of p and q are respectively
The statement pattern (p ∧ q) ∧ [~ r v (p ∧ q)] v (~ p ∧ q) is equivalent to ______.
Which of the following is not equivalent to p → q.
Using truth table verify that:
(p ∧ q)∨ ∼ q ≡ p∨ ∼ q
Write the negation of the following statement:
(p `rightarrow` q) ∨ (p `rightarrow` r)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency:
(∼p ∧ ∼q) → (p → q)
