Advertisements
Advertisements
Question
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
~ p → (p → ~ q)
Solution
| p | q | ~p | ~q | p→~q | ~p→(p→~q) |
| T | T | F | F | F | T |
| T | F | F | T | T | T |
| F | T | T | F | T | T |
| F | F | T | T | T | T |
All the truth values in the last column are T. Hence, it is tautology.
RELATED QUESTIONS
Using truth table examine whether the following statement pattern is tautology, contradiction or contingency `(p^^~q) harr (p->q)`
Write the dual of the following statements: (p ∨ q) ∧ T
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.
Express the following statement in symbolic form and write its truth value.
"If 4 is an odd number, then 6 is divisible by 3."
State if the following sentence is a statement. In case of a statement, write down the truth value :
√-4 is a rational number.
Write converse and inverse of the following statement :
"If Ravi is good in logic then Ravi is good in Mathematics."
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 ∧ r) ≡ (p → q) ∧ (p → r)
Using the truth table prove the following logical equivalence.
p → (q ∧ r) ≡ (p ∧ q) (p → 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 → q)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
[p → (∼ q ∨ r)] ↔ ∼ [p → (q → r)]
(p ∧ q) → r is logically equivalent to ________.
Determine whether the following statement pattern is a tautology, contradiction or contingency:
[p → (q → r)] ↔ [(p ∧ q) → r]
Determine whether the following statement pattern is a tautology, contradiction or contingency:
[(p ∨ ∼q) ∨ (∼p ∧ q)] ∧ r
Prepare truth tables for the following statement pattern.
p → (~ p ∨ q)
Prepare truth table for (p ˄ q) ˅ ~ r
(p ∧ q) ∨ ~ r
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)
Show that the following statement pattern is contingency.
(p → q) ∧ (p → r)
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 ∧ 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.
Radha and Sushmita cannot read Urdu.
Write the dual statement of the following compound statement.
A number is a real number and the square of the number is non-negative.
Write the negation of the following statement.
All the stars are shining if it is night.
Write the negation of the following statement.
Some continuous functions are differentiable.
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)
With proper justification, state the negation of the following.
(p → q) ∧ r
What is tautology? What is contradiction?
Show that the negation of a tautology is a contradiction and the negation of a contradiction is a tautology.
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[~(p ∧ q) → p] ↔ [(~p) ∧ (~q)]
Write the converse, inverse, contrapositive of the following statement.
If 2 + 5 = 10, then 4 + 10 = 20.
Write the converse, inverse, contrapositive of the following statement.
If a man is bachelor, then he is happy.
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) ∨ (p ∧ ~q) ∨ (~p ∧ ~q)
Write the dual of the following.
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
Write the dual of the following.
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (q ∨ r)
Write the converse and contrapositive of the following statements.
“If a function is differentiable then it is continuous”
Choose the correct alternative:
If p → q is an implication, then the implication ~q → ~p is called its
The contrapositive of p → ~ q is ______
The equivalent form of the statement ~(p → ~ q) is ______.
Using truth table verify that:
(p ∧ q)∨ ∼ q ≡ p∨ ∼ q
The statement pattern (∼ p ∧ q) is logically equivalent to ______.
Write the negation of the following statement:
(p `rightarrow` q) ∨ (p `rightarrow` r)
The converse of contrapositive of ∼p → q is ______.
Prepare truth table for the statement pattern `(p -> q) ∨ (q -> p)` and show that it is a tautology.
