Advertisements
Advertisements
प्रश्न
Prove that the following statement pattern is a tautology.
(p ∧ q) → q
Advertisements
उत्तर
| p | q | p ∧ q | (p∧q)→q |
| T | T | T | T |
| T | F | F | T |
| F | T | F | T |
| F | F | F | T |
All the truth values in the last column are T. Hence, it is tautology.
APPEARS IN
संबंधित प्रश्न
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)
Show that the following statement pattern in contingency :
(~p v q) → [p ∧ (q v ~ q)]
State if the following sentence is a statement. In case of a statement, write down the truth value :
√-4 is a rational number.
Examine whether the following statement (p ∧ q) ∨ (∼p ∨ ∼q) is a tautology or contradiction or neither of them.
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.
[(p → q) ∧ ∼ q] → ∼ p
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)]
Determine whether the following statement pattern is a tautology, contradiction or contingency:
[p → (q → r)] ↔ [(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 contradiction.
(p → q) ∧ (p ∧ ~ q)
Prove that the following pair of statement pattern is equivalent.
p ↔ q and (p → q) ∧ (q → p)
Write the negation of the following statement.
∀ n ∈ N, n + 1 > 0
Write the negation of the following statement.
Some continuous functions are differentiable.
Construct the truth table for the following statement pattern.
(p ∧ r) → (p ∨ ~q)
Construct the truth table for the following statement pattern.
(p ∨ ~q) → (r ∧ p)
Using the truth table, prove the following logical equivalence.
[~(p ∨ q) ∨ (p ∨ q)] ∧ r ≡ r
Using the truth table, prove the following logical equivalence.
p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p)
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 ______
Which of the following is not true for any two statements p and q?
Write the negation of the following statement:
(p `rightarrow` q) ∨ (p `rightarrow` r)
The converse of contrapositive of ∼p → q is ______.
